Mercurial > urweb
diff src/explify.sml @ 100:f0f59e918cac
page declaration, up through monoize
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 10 Jul 2008 10:11:35 -0400 |
parents | 7bab29834cd6 |
children | 813e5a52063d |
line wrap: on
line diff
--- a/src/explify.sml Thu Jul 10 09:24:43 2008 -0400 +++ b/src/explify.sml Thu Jul 10 10:11:35 2008 -0400 @@ -116,6 +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) and explifyStr (str, loc) = case str of