Mercurial > urweb

diff src/elab.sml @ 447:b77863cd0be2

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Elaborating 'let'
author Adam Chlipala <adamc@hcoop.net>
date Sat, 01 Nov 2008 11:17:29 -0400
parents dfc8c991abd0
children f542bc3133dc
line wrap: on
line diff
--- a/src/elab.sml	Sat Nov 01 10:47:10 2008 -0400
+++ b/src/elab.sml	Sat Nov 01 11:17:29 2008 -0400
@@ -117,7 +117,14 @@
        | 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