Mercurial > urweb

comparison src/source.sml @ 8:a455a9f85cc3

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Parsing basic expressions
author Adam Chlipala <adamc@hcoop.net>
date Sat, 26 Jan 2008 17:10:26 -0500
parents 5c3cc348e9e6
children d89477f07c1e
comparison
equal deleted inserted replaced
7:2ce5bf227d01 8:a455a9f85cc3
48 | TCFun of explicitness * string * kind * con 48 | TCFun of explicitness * string * kind * con
49 | TRecord of con 49 | TRecord of con
50 50
51 | CVar of string 51 | CVar of string
52 | CApp of con * con 52 | CApp of con * con
53 | CAbs of explicitness * string * kind * con 53 | CAbs of string * kind * con
54 54
55 | CName of string 55 | CName of string
56 56
57 | CRecord of (con * con) list 57 | CRecord of (con * con) list
58 | CConcat of con * con 58 | CConcat of con * con
59 59
60 withtype con = con' located 60 withtype con = con' located
61 61
62 datatype exp' =
63 EAnnot of exp * con
64
65 | EVar of string
66 | EApp of exp * exp
67 | EAbs of string * con option * exp
68 | ECApp of exp * con
69 | ECAbs of explicitness * string * kind * exp
70
71 withtype exp = exp' located
72
62 datatype decl' = 73 datatype decl' =
63 DCon of string * kind option * con 74 DCon of string * kind option * con
75 | DVal of string * con option * exp
64 76
65 withtype decl = decl' located 77 withtype decl = decl' located
66 78
67 type file = decl list 79 type file = decl list
68 80