Mercurial > urweb

comparison src/source.sml @ 446:86c063fedc4d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Parsing 'let'
author Adam Chlipala <adamc@hcoop.net>
date Sat, 01 Nov 2008 10:47:10 -0400
parents dfc8c991abd0
children f542bc3133dc
comparison
equal deleted inserted replaced
445:dfc8c991abd0 446:86c063fedc4d
129 129
130 | EWild 130 | EWild
131 131
132 | ECase of exp * (pat * exp) list 132 | ECase of exp * (pat * exp) list
133 133
134 | ELet of edecl list * exp
135
136 and edecl' =
137 EDVal of string * con option * exp
138 | EDValRec of (string * con option * exp) list
139
134 withtype exp = exp' located 140 withtype exp = exp' located
141 and edecl = edecl' located
135 142
136 datatype decl' = 143 datatype decl' =
137 DCon of string * kind option * con 144 DCon of string * kind option * con
138 | DDatatype of string * string list * (string * con option) list 145 | DDatatype of string * string list * (string * con option) list
139 | DDatatypeImp of string * string list * string 146 | DDatatypeImp of string * string list * string