Mercurial > urweb

comparison src/elab.sml @ 460:d34834af4512

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Cookies through explify
author Adam Chlipala <adamc@hcoop.net>
date Thu, 06 Nov 2008 10:43:48 -0500
parents f542bc3133dc
children ae03d09043c1
comparison
equal deleted inserted replaced
459:f542bc3133dc 460:d34834af4512
133 | SgiDatatypeImp of string * int * int * string list * string * string list * (string * int * con option) list 133 | SgiDatatypeImp of string * int * int * string list * string * string list * (string * int * con option) list
134 | SgiVal of string * int * con 134 | SgiVal of string * int * con
135 | SgiStr of string * int * sgn 135 | SgiStr of string * int * sgn
136 | SgiSgn of string * int * sgn 136 | SgiSgn of string * int * sgn
137 | SgiConstraint of con * con 137 | SgiConstraint of con * con
138 | SgiTable of int * string * int * con
139 | SgiSequence of int * string * int
140 | SgiClassAbs of string * int 138 | SgiClassAbs of string * int
141 | SgiClass of string * int * con 139 | SgiClass of string * int * con
142 | SgiCookie of int * string * int * con
143 140
144 and sgn' = 141 and sgn' =
145 SgnConst of sgn_item list 142 SgnConst of sgn_item list
146 | SgnVar of int 143 | SgnVar of int
147 | SgnFun of string * int * sgn * sgn 144 | SgnFun of string * int * sgn * sgn