Mercurial > urweb

comparison src/explify.sml @ 100:f0f59e918cac

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
page declaration, up through monoize
author Adam Chlipala <adamc@hcoop.net>
date Thu, 10 Jul 2008 10:11:35 -0400
parents 7bab29834cd6
children 813e5a52063d
comparison
equal deleted inserted replaced
99:5182f0c80d2e 100:f0f59e918cac
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 120
120 and explifyStr (str, loc) = 121 and explifyStr (str, loc) =
121 case str of 122 case str of
122 L.StrConst ds => (L'.StrConst (List.mapPartial explifyDecl ds), loc) 123 L.StrConst ds => (L'.StrConst (List.mapPartial explifyDecl ds), loc)
123 | L.StrVar n => (L'.StrVar n, loc) 124 | L.StrVar n => (L'.StrVar n, loc)