Mercurial > urweb

comparison src/source.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 9a578171de9e
comparison
equal deleted inserted replaced
13:6049e2193bf2 14:f1c36df29ed7
60 withtype con = con' located 60 withtype con = con' located
61 61
62 datatype exp' = 62 datatype exp' =
63 EAnnot of exp * con 63 EAnnot of exp * con
64 64
65 | EPrim of Prim.t
65 | EVar of string 66 | EVar of string
66 | EApp of exp * exp 67 | EApp of exp * exp
67 | EAbs of string * con option * exp 68 | EAbs of string * con option * exp
68 | ECApp of exp * con 69 | ECApp of exp * con
69 | ECAbs of explicitness * string * kind * exp 70 | ECAbs of explicitness * string * kind * exp