Mercurial > urweb

comparison src/source.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 aa54250f58ac
children cc68da3801bc
comparison
equal deleted inserted replaced
202:af5bd54cbbd7 203:dd82457fda82
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
80 | SgiConstraint of con * con 80 | SgiConstraint of con * con
81 | SgiTable of string * con
81 82
82 and sgn' = 83 and sgn' =
83 SgnConst of sgn_item list 84 SgnConst of sgn_item list
84 | SgnVar of string 85 | SgnVar of string
85 | SgnFun of string * sgn * sgn 86 | SgnFun of string * sgn * sgn
129 | DFfiStr of string * sgn 130 | DFfiStr of string * sgn
130 | DOpen of string * string list 131 | DOpen of string * string list
131 | DConstraint of con * con 132 | DConstraint of con * con
132 | DOpenConstraints of string * string list 133 | DOpenConstraints of string * string list
133 | DExport of str 134 | DExport of str
135 | DTable of string * con
134 136
135 and str' = 137 and str' =
136 StrConst of decl list 138 StrConst of decl list
137 | StrVar of string 139 | StrVar of string
138 | StrProj of str * string 140 | StrProj of str * string