Mercurial > urweb

comparison src/elab.sml @ 100:f0f59e918cac

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
page declaration, up through monoize
author Adam Chlipala <adamc@hcoop.net>
date Thu, 10 Jul 2008 10:11:35 -0400
parents 7bab29834cd6
children 813e5a52063d
comparison
equal deleted inserted replaced
99:5182f0c80d2e 100:f0f59e918cac
113 | DVal of string * int * con * exp 113 | DVal of string * int * con * exp
114 | DSgn of string * int * sgn 114 | DSgn of string * int * sgn
115 | DStr of string * int * sgn * str 115 | DStr of string * int * sgn * str
116 | DFfiStr of string * int * sgn 116 | DFfiStr of string * int * sgn
117 | DConstraint of con * con 117 | DConstraint of con * con
118 | DPage of con * exp
118 119
119 and str' = 120 and str' =
120 StrConst of decl list 121 StrConst of decl list
121 | StrVar of int 122 | StrVar of int
122 | StrProj of str * string 123 | StrProj of str * string