changeset 343:ca98644af384

Fix inexhaustive match
author Adam Chlipala <adamc@hcoop.net>
date Sun, 14 Sep 2008 19:22:04 -0400
parents f55034419a07
children 3c0feecd057d
files src/monoize.sml
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/src/monoize.sml	Sun Sep 14 19:14:40 2008 -0400
+++ b/src/monoize.sml	Sun Sep 14 19:22:04 2008 -0400
@@ -1524,6 +1524,7 @@
             in
                 ((L'.EField (e, monoName env x), loc), fm)
             end
+          | L.EWith _ => poly ()
           | L.ECut _ => poly ()
           | L.EFold _ => poly ()