Mercurial > urweb

comparison src/laconic.sml @ 1:4202f6eda946

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Initial parsing and pretty-printing
author Adam Chlipala <adamc@hcoop.net>
date Sat, 26 Jan 2008 12:35:32 -0500
parents 502c6d622477
children
comparison
equal deleted inserted replaced
0:502c6d622477 1:4202f6eda946
35 | KName 35 | KName
36 | KRecord of kind 36 | KRecord of kind
37 37
38 withtype kind = kind' located 38 withtype kind = kind' located
39 39
40 datatype explicitness =
41 Explicit
42 | Implicit
43
40 datatype con' = 44 datatype con' =
41 CAnnot of con * kind 45 CAnnot of con * kind
42 46
43 | TFun of con * con 47 | TFun of con * con
44 | TCFun of bool * string option * kind * con 48 | TCFun of explicitness * string * kind * con
45 | TRecord of con 49 | TRecord of con
46 50
47 | CFvar of string 51 | CVar of string
48 | CBvar of int
49 | CApp of con * con 52 | CApp of con * con
50 | CAbs of string * kind * con 53 | CAbs of explicitness * string * kind * con
51 54
52 | CName of string 55 | CName of string
53 56
54 | CRecord of (string * con) list 57 | CRecord of (con * con) list
55 | CConcat of con * con 58 | CConcat of con * con
56 59
57 withtype con = con' located 60 withtype con = con' located
58 61
62 datatype decl' =
63 DCon of string * kind option * con
64
65 withtype decl = decl' located
66
67 type file = decl list
68
59 end 69 end