Mercurial > urweb

comparison src/elab.sml @ 203:dd82457fda82

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Parsing and elaborating 'table'
author Adam Chlipala <adamc@hcoop.net>
date Thu, 14 Aug 2008 13:20:29 -0400
parents ab86aa858e6c
children cb8f69556975
comparison
equal deleted inserted replaced
202:af5bd54cbbd7 203:dd82457fda82
117 | SgiDatatypeImp of string * int * int * string list * string * string list * (string * int * con option) list 117 | SgiDatatypeImp of string * int * int * string list * string * string list * (string * int * con option) list
118 | SgiVal of string * int * con 118 | SgiVal of string * int * con
119 | SgiStr of string * int * sgn 119 | SgiStr of string * int * sgn
120 | SgiSgn of string * int * sgn 120 | SgiSgn of string * int * sgn
121 | SgiConstraint of con * con 121 | SgiConstraint of con * con
122 | SgiTable of string * int * con
122 123
123 and sgn' = 124 and sgn' =
124 SgnConst of sgn_item list 125 SgnConst of sgn_item list
125 | SgnVar of int 126 | SgnVar of int
126 | SgnFun of string * int * sgn * sgn 127 | SgnFun of string * int * sgn * sgn
140 | DSgn of string * int * sgn 141 | DSgn of string * int * sgn
141 | DStr of string * int * sgn * str 142 | DStr of string * int * sgn * str
142 | DFfiStr of string * int * sgn 143 | DFfiStr of string * int * sgn
143 | DConstraint of con * con 144 | DConstraint of con * con
144 | DExport of int * sgn * str 145 | DExport of int * sgn * str
146 | DTable of string * int * con
145 147
146 and str' = 148 and str' =
147 StrConst of decl list 149 StrConst of decl list
148 | StrVar of int 150 | StrVar of int
149 | StrProj of str * string 151 | StrProj of str * string