Mercurial > urweb

comparison src/elab.sml @ 109:813e5a52063d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Remove closure conversion in favor of zany fun with modules, which also replaces 'page'
author Adam Chlipala <adamc@hcoop.net>
date Sun, 13 Jul 2008 10:17:06 -0400
parents f0f59e918cac
children e3041657d653
comparison
equal deleted inserted replaced
108:f59553dc1b6a 109:813e5a52063d
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 | DExport of int * sgn * str
119 119
120 and str' = 120 and str' =
121 StrConst of decl list 121 StrConst of decl list
122 | StrVar of int 122 | StrVar of int
123 | StrProj of str * string 123 | StrProj of str * string