Mercurial > urweb

comparison src/source.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 d4e811beb8eb
children b2311dfb3158
comparison
equal deleted inserted replaced
824:be0988e46336 825:7f871c03e3a1
136 | ECase of exp * (pat * exp) list 136 | ECase of exp * (pat * exp) list
137 137
138 | ELet of edecl list * exp 138 | ELet of edecl list * exp
139 139
140 and edecl' = 140 and edecl' =
141 EDVal of string * con option * exp 141 EDVal of pat * exp
142 | EDValRec of (string * con option * exp) list 142 | EDValRec of (string * con option * exp) list
143 143
144 withtype sgn_item = sgn_item' located 144 withtype sgn_item = sgn_item' located
145 and sgn = sgn' located 145 and sgn = sgn' located
146 and pat = pat' located 146 and pat = pat' located