From 700a48cc6e78f75166b6e322207a29981782c4e3 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 7 Sep 2008 10:02:27 -0400
Subject: 'error' function

---
 src/prepare.sml | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'src/prepare.sml')

diff --git a/src/prepare.sml b/src/prepare.sml
index 67f6e0b6..64ccb465 100644
--- a/src/prepare.sml
+++ b/src/prepare.sml
@@ -106,6 +106,13 @@ fun prepExp (e as (_, loc), sns) =
             ((ECase (e, pes, ts), loc), sns)
         end
 
+      | EError (e, t) =>
+        let
+            val (e, sns) = prepExp (e, sns)
+        in
+            ((EError (e, t), loc), sns)
+        end
+
       | EWrite e =>
         let
             val (e, sns) = prepExp (e, sns)
-- 
cgit v1.2.3