From 3f497272d327fea2638006c751d812dbbc449c78 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sat, 1 Nov 2008 11:17:29 -0400
Subject: Elaborating 'let'

---
 src/elab.sml | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'src/elab.sml')

diff --git a/src/elab.sml b/src/elab.sml
index 4202d367..b5350c2a 100644
--- a/src/elab.sml
+++ b/src/elab.sml
@@ -117,7 +117,14 @@ datatype exp' =
        | EError
        | EUnif of exp option ref
 
+       | ELet of edecl list * exp
+
+and edecl' =
+    EDVal of string * con * exp
+  | EDValRec of (string * con * exp) list
+
 withtype exp = exp' located
+     and edecl = edecl' located
 
 datatype sgn_item' =
          SgiConAbs of string * int * kind
-- 
cgit v1.2.3