Mercurial > urweb

comparison src/source.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 a455a9f85cc3
children f1c36df29ed7
comparison
equal deleted inserted replaced
11:e97c6d335869 12:d89477f07c1e
66 | EApp of exp * exp 66 | EApp of exp * exp
67 | EAbs of string * con option * exp 67 | EAbs of string * con option * exp
68 | ECApp of exp * con 68 | ECApp of exp * con
69 | ECAbs of explicitness * string * kind * exp 69 | ECAbs of explicitness * string * kind * exp
70 70
71 | ERecord of (con * exp) list
72 | EField of exp * con
73
71 withtype exp = exp' located 74 withtype exp = exp' located
72 75
73 datatype decl' = 76 datatype decl' =
74 DCon of string * kind option * con 77 DCon of string * kind option * con
75 | DVal of string * con option * exp 78 | DVal of string * con option * exp