Mercurial > urweb

comparison src/elab.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
81 | ECApp of exp * con 81 | ECApp of exp * con
82 | ECAbs of explicitness * string * kind * exp 82 | ECAbs of explicitness * string * kind * exp
83 83
84 | ERecord of (con * exp * con) list 84 | ERecord of (con * exp * con) list
85 | EField of exp * con * { field : con, rest : con } 85 | EField of exp * con * { field : con, rest : con }
86 | ECut of exp * con * { field : con, rest : con }
86 | EFold of kind 87 | EFold of kind
87 88
88 | EError 89 | EError
89 90
90 withtype exp = exp' located 91 withtype exp = exp' located