lambda.h

   1 #ifndef LAMBDA_H
   2 #define LAMBDA_H
   3
   4 #include <stdio.h>
   5 #include <string.h>
   6 #include <stdlib.h>
   7 #include <stdbool.h>
   8
   9 enum lambda_which {lambda_ident, lambda_abs, lambda_app};
  10 struct lambda {
  11         enum lambda_which which;
  12         union {
  13                 struct {
  14                         char *ident;
  15                         unsigned int revision;
  16                 } identifier;
  17                 struct {
  18                         char *ident;
  19                         unsigned int revision;
  20                         bool strict;
  21                         struct lambda *expr;
  22                 } abstraction;
  23                 struct {
  24                         struct lambda *expr1;
  25                         struct lambda *expr2;
  26                 } application;
  27         } data;
  28 };
  29
  30 struct decllist {
  31         struct decllist *next;
  32         char *ident;
  33         struct lambda *value;
  34 };
  35
  36 struct lambda *make_ident(char *);
  37 struct lambda *make_abstraction(char *, bool, struct lambda *);
  38 struct lambda *make_application(struct lambda *, struct lambda *);
  39 struct lambda *make_numeral(unsigned int i);
  40 struct lambda *make_bool(bool b);
  41 #define YYSTYPE struct lambda *
  42 #endif