changeset 118:7207f794b916

Serving pages with links
author Adam Chlipala <adamc@hcoop.net>
date Sun, 13 Jul 2008 15:47:18 -0400 (2008-07-13)
parents 94856a3b4752
children 7fdc146b2bc2
files src/monoize.sml
diffstat 1 files changed, 7 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/src/monoize.sml	Sun Jul 13 15:44:00 2008 -0400
+++ b/src/monoize.sml	Sun Jul 13 15:47:18 2008 -0400
@@ -81,7 +81,13 @@
 
 fun attrifyExp env (e, tAll as (t, loc)) =
         case #1 e of
-            L'.EClosure (fnam, args) =>
+            L'.EClosure (fnam, [(L'.ERecord [], _)]) =>
+            let
+                val (_, _, _, s) = Env.lookupENamed env fnam
+            in
+                (L'.EPrim (Prim.String s), loc)
+            end
+          | L'.EClosure (fnam, args) =>
             let
                 val (_, ft, _, s) = Env.lookupENamed env fnam
                 val ft = monoType env ft