lambda.h

   1 #ifndef LAMBDA_H
   2 #define LAMBDA_H
   3
   4 #include <stdio.h>
   5 #include <string.h>
   6 #include <stdlib.h>
   7
   8 enum lambda_which {lambda_ident, lambda_abs, lambda_app};
   9 struct lambda {
  10         enum lambda_which which;
  11         union {
  12                 char *identifier;
  13                 struct {
  14                         char *ident;
  15                         struct lambda *expr;
  16                 } abstraction;
  17                 struct {
  18                         struct lambda *expr1;
  19                         struct lambda *expr2;
  20                 } application;
  21         } data;
  22 };
  23
  24 struct lambda *make_ident(char *);
  25 struct lambda *make_abstraction(char *, struct lambda *);
  26 struct lambda *make_application(struct lambda *, struct lambda *);
  27 #define YYSTYPE struct lambda *
  28 #endif