Mercurial > urweb

comparison src/source.sml @ 629:e68de2a5506b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Top.Fold.concat elaborates
author Adam Chlipala <adamc@hcoop.net>
date Tue, 24 Feb 2009 13:46:08 -0500
parents 12b73f3c108e
children 70cbdcf5989b
comparison
equal deleted inserted replaced
628:12b73f3c108e 629:e68de2a5506b
122 | EApp of exp * exp 122 | EApp of exp * exp
123 | EAbs of string * con option * exp 123 | EAbs of string * con option * exp
124 | ECApp of exp * con 124 | ECApp of exp * con
125 | ECAbs of explicitness * string * kind * exp 125 | ECAbs of explicitness * string * kind * exp
126 | EDisjoint of con * con * exp 126 | EDisjoint of con * con * exp
127 | EDisjointApp of exp
127 128
128 | EKAbs of string * exp 129 | EKAbs of string * exp
129 130
130 | ERecord of (con * exp) list 131 | ERecord of (con * exp) list
131 | EField of exp * con 132 | EField of exp * con