Mercurial > urweb

comparison src/monoize.sml @ 343:ca98644af384

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fix inexhaustive match
author Adam Chlipala <adamc@hcoop.net>
date Sun, 14 Sep 2008 19:22:04 -0400
parents e976b187d73a
children 58eeeb3cbf40
comparison
equal deleted inserted replaced
342:f55034419a07 343:ca98644af384
1522 let 1522 let
1523 val (e, fm) = monoExp (env, st, fm) e 1523 val (e, fm) = monoExp (env, st, fm) e
1524 in 1524 in
1525 ((L'.EField (e, monoName env x), loc), fm) 1525 ((L'.EField (e, monoName env x), loc), fm)
1526 end 1526 end
1527 | L.EWith _ => poly ()
1527 | L.ECut _ => poly () 1528 | L.ECut _ => poly ()
1528 | L.EFold _ => poly () 1529 | L.EFold _ => poly ()
1529 1530
1530 | L.ECase (e, pes, {disc, result}) => 1531 | L.ECase (e, pes, {disc, result}) =>
1531 let 1532 let