add strictness

[lambda.git] / lambda.h

diff --git a/lambda.h b/lambda.h
index 8256f04..ab28375 100644 (file)
--- a/lambda.h
+++ b/lambda.h
@@ -17,6 +17,7 @@ struct lambda {
                struct {
                        char *ident;
                        unsigned int revision;
+                       bool strict;
                        struct lambda *expr;
                } abstraction;
                struct {
@@ -33,7 +34,7 @@ struct decllist {
 };
 
 struct lambda *make_ident(char *);
-struct lambda *make_abstraction(char *, struct lambda *);
+struct lambda *make_abstraction(char *, bool, struct lambda *);
 struct lambda *make_application(struct lambda *, struct lambda *);
 struct lambda *make_numeral(unsigned int i);
 struct lambda *make_bool(bool b);