Mercurial > urweb

comparison src/explify.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
114 114
115 | L.DSgn (x, n, sgn) => SOME (L'.DSgn (x, n, explifySgn sgn), loc) 115 | L.DSgn (x, n, sgn) => SOME (L'.DSgn (x, n, explifySgn sgn), loc)
116 | L.DStr (x, n, sgn, str) => SOME (L'.DStr (x, n, explifySgn sgn, explifyStr str), loc) 116 | L.DStr (x, n, sgn, str) => SOME (L'.DStr (x, n, explifySgn sgn, explifyStr str), loc)
117 | L.DFfiStr (x, n, sgn) => SOME (L'.DFfiStr (x, n, explifySgn sgn), loc) 117 | L.DFfiStr (x, n, sgn) => SOME (L'.DFfiStr (x, n, explifySgn sgn), loc)
118 | L.DConstraint (c1, c2) => NONE 118 | L.DConstraint (c1, c2) => NONE
119 | L.DPage (c, e) => SOME (L'.DPage (explifyCon c, explifyExp e), loc) 119 | L.DExport (en, sgn, str) => SOME (L'.DExport (en, explifySgn sgn, explifyStr str), loc)
120 120
121 and explifyStr (str, loc) = 121 and explifyStr (str, loc) =
122 case str of 122 case str of
123 L.StrConst ds => (L'.StrConst (List.mapPartial explifyDecl ds), loc) 123 L.StrConst ds => (L'.StrConst (List.mapPartial explifyDecl ds), loc)
124 | L.StrVar n => (L'.StrVar n, loc) 124 | L.StrVar n => (L'.StrVar n, loc)