Mercurial > urweb

comparison src/monoize.sml @ 297:59dc042629b9

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
pquery working with all four types of columns
author Adam Chlipala <adamc@hcoop.net>
date Sun, 07 Sep 2008 13:29:01 -0400
parents 6e665c7c96f6
children 52d4c60518d4
comparison
equal deleted inserted replaced
296:5dc11235129d 297:59dc042629b9
475 in 475 in
476 (SOME e, fm) 476 (SOME e, fm)
477 end 477 end
478 in 478 in
479 ((L'.ECon (dk, monoPatCon env pc, eo), loc), fm) 479 ((L'.ECon (dk, monoPatCon env pc, eo), loc), fm)
480 end
481 | L.ECon (L.Option, _, [t], NONE) =>
482 ((L'.ENone (monoType env t), loc), fm)
483 | L.ECon (L.Option, _, [t], SOME e) =>
484 let
485 val (e, fm) = monoExp (env, st, fm) e
486 in
487 ((L'.ESome (monoType env t, e), loc), fm)
480 end 488 end
481 | L.ECon _ => poly () 489 | L.ECon _ => poly ()
482 490
483 | L.ECApp ((L.EFfi ("Basis", "show"), _), t) => 491 | L.ECApp ((L.EFfi ("Basis", "show"), _), t) =>
484 let 492 let