Mercurial > urweb

comparison src/monoize.sml @ 149:7420fa18d657

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Record cut
author Adam Chlipala <adamc@hcoop.net>
date Thu, 24 Jul 2008 10:09:21 -0400
parents 15e8b9775539
children 67ab26888839
comparison
equal deleted inserted replaced
148:15e8b9775539 149:7420fa18d657
368 | L.ECApp _ => poly () 368 | L.ECApp _ => poly ()
369 | L.ECAbs _ => poly () 369 | L.ECAbs _ => poly ()
370 370
371 | L.ERecord xes => (L'.ERecord (map (fn (x, e, t) => (monoName env x, monoExp env e, monoType env t)) xes), loc) 371 | L.ERecord xes => (L'.ERecord (map (fn (x, e, t) => (monoName env x, monoExp env e, monoType env t)) xes), loc)
372 | L.EField (e, x, _) => (L'.EField (monoExp env e, monoName env x), loc) 372 | L.EField (e, x, _) => (L'.EField (monoExp env e, monoName env x), loc)
373 | L.ECut _ => poly ()
373 | L.EFold _ => poly () 374 | L.EFold _ => poly ()
374 | L.EWrite e => (L'.EWrite (monoExp env e), loc) 375 | L.EWrite e => (L'.EWrite (monoExp env e), loc)
375 376
376 | L.EClosure (n, es) => (L'.EClosure (n, map (monoExp env) es), loc) 377 | L.EClosure (n, es) => (L'.EClosure (n, map (monoExp env) es), loc)
377 end 378 end