Mercurial > urweb

comparison src/source.sml @ 191:aa54250f58ac

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Parametrized datatypes through explify
author Adam Chlipala <adamc@hcoop.net>
date Fri, 08 Aug 2008 10:28:32 -0400
parents 7ee424760d2f
children dd82457fda82
comparison
equal deleted inserted replaced
190:3eb53c957d10 191:aa54250f58ac
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 74 | SgiDatatype of string * string list * (string * con option) list
75 | SgiDatatypeImp of string * string list * string 75 | SgiDatatypeImp of string * string list * string
76 | SgiVal of string * con 76 | SgiVal of string * con
77 | SgiStr of string * sgn 77 | SgiStr of string * sgn
78 | SgiSgn of string * sgn 78 | SgiSgn of string * sgn
79 | SgiInclude of sgn 79 | SgiInclude of sgn
118 118
119 withtype exp = exp' located 119 withtype exp = exp' located
120 120
121 datatype decl' = 121 datatype decl' =
122 DCon of string * kind option * con 122 DCon of string * kind option * con
123 | DDatatype of string * (string * con option) list 123 | DDatatype of string * string list * (string * con option) list
124 | DDatatypeImp of string * string list * string 124 | DDatatypeImp of string * string list * string
125 | DVal of string * con option * exp 125 | DVal of string * con option * exp
126 | DValRec of (string * con option * exp) list 126 | DValRec of (string * con option * exp) list
127 | DSgn of string * sgn 127 | DSgn of string * sgn
128 | DStr of string * sgn option * str 128 | DStr of string * sgn option * str