From a735f6ea0ef8ec5895dfe7f895f89ee8c126de14 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 28 May 2009 12:07:05 -0400
Subject: Destructing local let, to the point where demo compiles

---
 src/elab.sml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/elab.sml')

diff --git a/src/elab.sml b/src/elab.sml
index de2db500..76ea6725 100644
--- a/src/elab.sml
+++ b/src/elab.sml
@@ -120,10 +120,10 @@ datatype exp' =
        | EError
        | EUnif of exp option ref
 
-       | ELet of edecl list * exp
+       | ELet of edecl list * exp * con
 
 and edecl' =
-    EDVal of string * con * exp
+    EDVal of pat * con * exp
   | EDValRec of (string * con * exp) list
 
 withtype exp = exp' located
-- 
cgit v1.2.3