From d24d8991f38e24c2f65c3bb0fb589778a5abfaf1 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 14 Sep 2008 19:22:04 -0400
Subject: Fix inexhaustive match

---
 src/monoize.sml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/monoize.sml')

diff --git a/src/monoize.sml b/src/monoize.sml
index 13feae36..5642693b 100644
--- a/src/monoize.sml
+++ b/src/monoize.sml
@@ -1524,6 +1524,7 @@ fun monoExp (env, st, fm) (all as (e, loc)) =
             in
                 ((L'.EField (e, monoName env x), loc), fm)
             end
+          | L.EWith _ => poly ()
           | L.ECut _ => poly ()
           | L.EFold _ => poly ()
 
-- 
cgit v1.2.3