Mercurial > urweb
diff src/expl.sml @ 109:813e5a52063d
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 | 541282b81454 |
line wrap: on
line diff
--- a/src/expl.sml Thu Jul 10 16:05:14 2008 -0400 +++ b/src/expl.sml Sun Jul 13 10:17:06 2008 -0400 @@ -73,6 +73,8 @@ | EField of exp * con * { field : con, rest : con } | EFold of kind + | EWrite of exp + withtype exp = exp' located datatype sgn_item' = @@ -98,7 +100,7 @@ | DSgn of string * int * sgn | DStr of string * int * sgn * str | DFfiStr of string * int * sgn - | DPage of con * exp + | DExport of int * sgn * str and str' = StrConst of decl list