From f2829abe30366bc78ce8e5bd6272fac06a7f5b84 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 7 Sep 2008 11:56:53 -0400
Subject: 'read' for strings

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

(limited to 'src/prepare.sml')

diff --git a/src/prepare.sml b/src/prepare.sml
index 64ccb465..f74b8747 100644
--- a/src/prepare.sml
+++ b/src/prepare.sml
@@ -60,6 +60,12 @@ fun prepExp (e as (_, loc), sns) =
         in
             ((ECon (dk, pc, SOME e), loc), sns)
         end
+      | ESome (t, e) =>
+        let
+            val (e, sns) = prepExp (e, sns)
+        in
+            ((ESome (t, e), loc), sns)
+        end
       | EFfi _ => (e, sns)
       | EFfiApp (m, x, es) =>
         let
-- 
cgit v1.2.3