aboutsummaryrefslogtreecommitdiff
path: root/Sjit/Syntax.dcl
diff options
context:
space:
mode:
Diffstat (limited to 'Sjit/Syntax.dcl')
-rw-r--r--Sjit/Syntax.dcl12
1 files changed, 12 insertions, 0 deletions
diff --git a/Sjit/Syntax.dcl b/Sjit/Syntax.dcl
new file mode 100644
index 0000000..a289b5a
--- /dev/null
+++ b/Sjit/Syntax.dcl
@@ -0,0 +1,12 @@
+definition module Sjit.Syntax
+
+:: Expr
+ = Int !Int
+ | Var !String
+ | App !String ![Expr]
+
+:: Function =
+ { fun_name :: !String
+ , fun_args :: ![String]
+ , fun_expr :: !Expr
+ }