Mercurial > urweb

comparison src/source.sml @ 156:34ccd7d2bea8

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Start of datatype support
author Adam Chlipala <adamc@hcoop.net>
date Thu, 24 Jul 2008 15:02:03 -0400
parents 7420fa18d657
children a158f8c5aa55
comparison
equal deleted inserted replaced
155:4334bb734187 156:34ccd7d2bea8
69 withtype con = con' located 69 withtype con = con' located
70 70
71 datatype sgn_item' = 71 datatype sgn_item' =
72 SgiConAbs of string * kind 72 SgiConAbs of string * kind
73 | SgiCon of string * kind option * con 73 | SgiCon of string * kind option * con
74 | SgiDatatype of string * (string * con option) list
75 | SgiDatatypeImp of string * string list * string
74 | SgiVal of string * con 76 | SgiVal of string * con
75 | SgiStr of string * sgn 77 | SgiStr of string * sgn
76 | SgiSgn of string * sgn 78 | SgiSgn of string * sgn
77 | SgiInclude of sgn 79 | SgiInclude of sgn
78 | SgiConstraint of con * con 80 | SgiConstraint of con * con
105 107
106 withtype exp = exp' located 108 withtype exp = exp' located
107 109
108 datatype decl' = 110 datatype decl' =
109 DCon of string * kind option * con 111 DCon of string * kind option * con
112 | DDatatype of string * (string * con option) list
113 | DDatatypeImp of string * string list * string
110 | DVal of string * con option * exp 114 | DVal of string * con option * exp
111 | DValRec of (string * con option * exp) list 115 | DValRec of (string * con option * exp) list
112 | DSgn of string * sgn 116 | DSgn of string * sgn
113 | DStr of string * sgn option * str 117 | DStr of string * sgn option * str
114 | DFfiStr of string * sgn 118 | DFfiStr of string * sgn