Added simple expression constructors to Elab

1 files changed, 13 insertions, 0 deletions

diff --git a/src/elab.sml b/src/elab.sml
index 5e1a3a9b..a289d633 100644
--- a/src/elab.sml
+++ b/src/elab.sml
@@ -64,8 +64,21 @@ datatype con' =
 
 withtype con = con' located
 
+datatype exp' =
+         ERel of int
+       | ENamed of int
+       | EApp of exp * exp
+       | EAbs of string * con * exp
+       | ECApp of exp * con
+       | ECAbs of explicitness * string * kind * exp
+
+       | EError
+
+withtype exp = exp' located
+
 datatype decl' =
          DCon of string * int * kind * con
+       | DVal of string * int * con * exp
 
 withtype decl = decl' located