Mercurial > urweb

comparison src/elab.sml @ 825:7f871c03e3a1

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Destructing local let, to the point where demo compiles
author Adam Chlipala <adamc@hcoop.net>
date Thu, 28 May 2009 12:07:05 -0400
parents e2780d2f4afc
children b2311dfb3158
comparison
equal deleted inserted replaced
824:be0988e46336 825:7f871c03e3a1
118 | ECase of exp * (pat * exp) list * { disc : con, result : con } 118 | ECase of exp * (pat * exp) list * { disc : con, result : con }
119 119
120 | EError 120 | EError
121 | EUnif of exp option ref 121 | EUnif of exp option ref
122 122
123 | ELet of edecl list * exp 123 | ELet of edecl list * exp * con
124 124
125 and edecl' = 125 and edecl' =
126 EDVal of string * con * exp 126 EDVal of pat * con * exp
127 | EDValRec of (string * con * exp) list 127 | EDValRec of (string * con * exp) list
128 128
129 withtype exp = exp' located 129 withtype exp = exp' located
130 and edecl = edecl' located 130 and edecl = edecl' located
131 131