Mercurial > urweb
changeset 118:7207f794b916
Serving pages with links
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Sun, 13 Jul 2008 15:47:18 -0400 |
| 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