Mercurial > urweb

comparison src/monoize.sml @ 102:5f04adf47f48

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Writing HTML
author Adam Chlipala <adamc@hcoop.net>
date Thu, 10 Jul 2008 14:02:54 -0400
parents f0f59e918cac
children b1e5398a7f30
comparison
equal deleted inserted replaced
101:717b6f8d8505 102:5f04adf47f48
149 | L.ECAbs _ => poly () 149 | L.ECAbs _ => poly ()
150 150
151 | L.ERecord xes => (L'.ERecord (map (fn (x, e, t) => (monoName env x, monoExp env e, monoType env t)) xes), loc) 151 | L.ERecord xes => (L'.ERecord (map (fn (x, e, t) => (monoName env x, monoExp env e, monoType env t)) xes), loc)
152 | L.EField (e, x, _) => (L'.EField (monoExp env e, monoName env x), loc) 152 | L.EField (e, x, _) => (L'.EField (monoExp env e, monoName env x), loc)
153 | L.EFold _ => poly () 153 | L.EFold _ => poly ()
154 | L.EWrite e => (L'.EWrite (monoExp env e), loc)
154 end 155 end
155 156
156 fun monoDecl env (all as (d, loc)) = 157 fun monoDecl env (all as (d, loc)) =
157 let 158 let
158 fun poly () = 159 fun poly () =