Mercurial > urweb

comparison src/monoize.sml @ 148:15e8b9775539

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
gform in proper order
author Adam Chlipala <adamc@hcoop.net>
date Tue, 22 Jul 2008 19:12:25 -0400
parents f0d3402184d1
children 7420fa18d657
comparison
equal deleted inserted replaced
147:eb16f2aadbe9 148:15e8b9775539
349 (L'.EPrim (Prim.String "\">"), loc)), loc)), loc), 349 (L'.EPrim (Prim.String "\">"), loc)), loc)), loc),
350 (L'.EStrcat (monoExp env xml, 350 (L'.EStrcat (monoExp env xml,
351 (L'.EPrim (Prim.String "</form>"), loc)), loc)), loc) 351 (L'.EPrim (Prim.String "</form>"), loc)), loc)), loc)
352 end 352 end
353 353
354 | L.EApp ((L.ECApp (
355 (L.ECApp (
356 (L.ECApp (
357 (L.ECApp (
358 (L.EFfi ("Basis", "useMore"), _), _), _),
359 _), _),
360 _), _),
361 _), _),
362 xml) => monoExp env xml
363
364
354 | L.EApp (e1, e2) => (L'.EApp (monoExp env e1, monoExp env e2), loc) 365 | L.EApp (e1, e2) => (L'.EApp (monoExp env e1, monoExp env e2), loc)
355 | L.EAbs (x, dom, ran, e) => 366 | L.EAbs (x, dom, ran, e) =>
356 (L'.EAbs (x, monoType env dom, monoType env ran, monoExp (Env.pushERel env x dom) e), loc) 367 (L'.EAbs (x, monoType env dom, monoType env ran, monoExp (Env.pushERel env x dom) e), loc)
357 | L.ECApp _ => poly () 368 | L.ECApp _ => poly ()
358 | L.ECAbs _ => poly () 369 | L.ECAbs _ => poly ()