Mercurial > urweb

comparison src/elab.sml @ 9:14b533dbe6cc

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Added simple expression constructors to Elab
author Adam Chlipala <adamc@hcoop.net>
date Sat, 26 Jan 2008 17:26:14 -0500
parents a455a9f85cc3
children d89477f07c1e
comparison
equal deleted inserted replaced
8:a455a9f85cc3 9:14b533dbe6cc
62 | CError 62 | CError
63 | CUnif of kind * string * con option ref 63 | CUnif of kind * string * con option ref
64 64
65 withtype con = con' located 65 withtype con = con' located
66 66
67 datatype exp' =
68 ERel of int
69 | ENamed of int
70 | EApp of exp * exp
71 | EAbs of string * con * exp
72 | ECApp of exp * con
73 | ECAbs of explicitness * string * kind * exp
74
75 | EError
76
77 withtype exp = exp' located
78
67 datatype decl' = 79 datatype decl' =
68 DCon of string * int * kind * con 80 DCon of string * int * kind * con
81 | DVal of string * int * con * exp
69 82
70 withtype decl = decl' located 83 withtype decl = decl' located
71 84
72 type file = decl list 85 type file = decl list
73 86