From 425bb7f90ffc8a6f8a1590ed76f305f3029a0beb Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 10 Jul 2008 14:02:54 -0400
Subject: Writing HTML

---
 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 29e94b3f..51044783 100644
--- a/src/monoize.sml
+++ b/src/monoize.sml
@@ -151,6 +151,7 @@ fun monoExp env (all as (e, loc)) =
           | L.ERecord xes => (L'.ERecord (map (fn (x, e, t) => (monoName env x, monoExp env e, monoType env t)) xes), loc)
           | L.EField (e, x, _) => (L'.EField (monoExp env e, monoName env x), loc)
           | L.EFold _ => poly ()
+          | L.EWrite e => (L'.EWrite (monoExp env e), loc)
     end
 
 fun monoDecl env (all as (d, loc)) =
-- 
cgit v1.2.3