Mercurial > urweb

comparison src/elab.sml @ 14:f1c36df29ed7

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Primitive type constants
author Adam Chlipala <adamc@hcoop.net>
date Sun, 08 Jun 2008 12:27:08 -0400
parents d89477f07c1e
children 4ab19c19665f
comparison
equal deleted inserted replaced
13:6049e2193bf2 14:f1c36df29ed7
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' = 67 datatype exp' =
68 ERel of int 68 EPrim of Prim.t
69 | ERel of int
69 | ENamed of int 70 | ENamed of int
70 | EApp of exp * exp 71 | EApp of exp * exp
71 | EAbs of string * con * exp 72 | EAbs of string * con * exp
72 | ECApp of exp * con 73 | ECApp of exp * con
73 | ECAbs of explicitness * string * kind * exp 74 | ECAbs of explicitness * string * kind * exp