Mercurial > urweb

comparison src/expl.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 541282b81454
children 06a98129b23f
comparison
equal deleted inserted replaced
148:15e8b9775539 149:7420fa18d657
69 | ECApp of exp * con 69 | ECApp of exp * con
70 | ECAbs of string * kind * exp 70 | ECAbs of string * kind * exp
71 71
72 | ERecord of (con * exp * con) list 72 | ERecord of (con * exp * con) list
73 | EField of exp * con * { field : con, rest : con } 73 | EField of exp * con * { field : con, rest : con }
74 | ECut of exp * con * { field : con, rest : con }
74 | EFold of kind 75 | EFold of kind
75 76
76 | EWrite of exp 77 | EWrite of exp
77 78
78 withtype exp = exp' located 79 withtype exp = exp' located