summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-07-13 15:47:18 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-07-13 15:47:18 -0400
commitf0b8905c1239b9b801c01cff28302cbd8d362f6e (patch)
treefbedd92085eb5d9a9283e3d20a9dbbcfd4c61595
parentc54e3eca0a8d7e72f12801bc5ec993dddfa7958b (diff)
Serving pages with links
-rw-r--r--src/monoize.sml8
1 files changed, 7 insertions, 1 deletions
diff --git a/src/monoize.sml b/src/monoize.sml
index f58e56ea..a330a8bd 100644
--- a/src/monoize.sml
+++ b/src/monoize.sml
@@ -81,7 +81,13 @@ val dummyExp = (L'.EPrim (Prim.Int 0), E.dummySpan)
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