diff src/prepare.sml @ 463:bb27c7efcd90

Reading cookies works
author Adam Chlipala <adamc@hcoop.net>
date Thu, 06 Nov 2008 12:08:41 -0500
parents 322c8620bbdf
children 4efab85405be
line wrap: on
line diff
--- a/src/prepare.sml	Thu Nov 06 11:29:16 2008 -0500
+++ b/src/prepare.sml	Thu Nov 06 12:08:41 2008 -0500
@@ -191,6 +191,13 @@
                  ((String.concat (rev ss), n) :: #1 sns, #2 sns + 1))
         end
 
+      | EUnurlify (e, t) =>
+        let
+            val (e, sns) = prepExp (e, sns)
+        in
+            ((EUnurlify (e, t), loc), sns)
+        end
+
 fun prepDecl (d as (_, loc), sns) =
     case #1 d of
         DStruct _ => (d, sns)