Mercurial > urweb
diff src/explify.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 | e3041657d653 |
line wrap: on
line diff
--- a/src/explify.sml Thu Jul 10 16:05:14 2008 -0400 +++ b/src/explify.sml Sun Jul 13 10:17:06 2008 -0400 @@ -116,7 +116,7 @@ | L.DStr (x, n, sgn, str) => SOME (L'.DStr (x, n, explifySgn sgn, explifyStr str), loc) | L.DFfiStr (x, n, sgn) => SOME (L'.DFfiStr (x, n, explifySgn sgn), loc) | L.DConstraint (c1, c2) => NONE - | L.DPage (c, e) => SOME (L'.DPage (explifyCon c, explifyExp e), loc) + | L.DExport (en, sgn, str) => SOME (L'.DExport (en, explifySgn sgn, explifyStr str), loc) and explifyStr (str, loc) = case str of