diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-07-13 15:47:18 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-07-13 15:47:18 -0400 |
| commit | f0b8905c1239b9b801c01cff28302cbd8d362f6e (patch) | |
| tree | fbedd92085eb5d9a9283e3d20a9dbbcfd4c61595 | |
| parent | c54e3eca0a8d7e72f12801bc5ec993dddfa7958b (diff) | |
Serving pages with links
| -rw-r--r-- | src/monoize.sml | 8 |
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 |