Mercurial > urweb

comparison src/elab.sml @ 12:d89477f07c1e

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fun with records
author Adam Chlipala <adamc@hcoop.net>
date Fri, 28 Mar 2008 17:34:57 -0400
parents 14b533dbe6cc
children f1c36df29ed7
comparison
equal deleted inserted replaced
11:e97c6d335869 12:d89477f07c1e
70 | EApp of exp * exp 70 | EApp of exp * exp
71 | EAbs of string * con * exp 71 | EAbs of string * con * exp
72 | ECApp of exp * con 72 | ECApp of exp * con
73 | ECAbs of explicitness * string * kind * exp 73 | ECAbs of explicitness * string * kind * exp
74 74
75 | ERecord of (con * exp) list
76 | EField of exp * con * { field : con, rest : con }
77
75 | EError 78 | EError
76 79
77 withtype exp = exp' located 80 withtype exp = exp' located
78 81
79 datatype decl' = 82 datatype decl' =