Mercurial > urweb
comparison src/elab.sml @ 12:d89477f07c1e
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' = |