Mercurial > urweb

comparison src/source.sml @ 149:7420fa18d657

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Record cut
author Adam Chlipala <adamc@hcoop.net>
date Thu, 24 Jul 2008 10:09:21 -0400
parents e3041657d653
children 34ccd7d2bea8
comparison
equal deleted inserted replaced
148:15e8b9775539 149:7420fa18d657
98 | ECAbs of explicitness * string * kind * exp 98 | ECAbs of explicitness * string * kind * exp
99 | EDisjoint of con * con * exp 99 | EDisjoint of con * con * exp
100 100
101 | ERecord of (con * exp) list 101 | ERecord of (con * exp) list
102 | EField of exp * con 102 | EField of exp * con
103 | ECut of exp * con
103 | EFold 104 | EFold
104 105
105 withtype exp = exp' located 106 withtype exp = exp' located
106 107
107 datatype decl' = 108 datatype decl' =