diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-04-26 09:02:17 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-04-26 09:02:17 -0400 |
| commit | bc7a09d702e53faaa882bb7b2591abe68ff5648e (patch) | |
| tree | 0405c498a9fae8ff066ca8fdeafa8f85b0615dbe /src/monoize.sml | |
| parent | 609db88f316604bf1084dbb0defe5e6c0eaf07ae (diff) | |
Returning a blob as page result
Diffstat (limited to 'src/monoize.sml')
| -rw-r--r-- | src/monoize.sml | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/src/monoize.sml b/src/monoize.sml index 8ccb84fc..90440807 100644 --- a/src/monoize.sml +++ b/src/monoize.sml @@ -128,6 +128,7 @@ fun monoType env = readType (mt env dtmap t, loc) | L.CFfi ("Basis", "url") => (L'.TFfi ("Basis", "string"), loc) + | L.CFfi ("Basis", "mimeType") => (L'.TFfi ("Basis", "string"), loc) | L.CApp ((L.CApp ((L.CApp ((L.CFfi ("Basis", "xml"), _), _), _), _), _), _) => (L'.TFfi ("Basis", "string"), loc) | L.CApp ((L.CApp ((L.CFfi ("Basis", "xhtml"), _), _), _), _) => @@ -2560,6 +2561,20 @@ fun monoExp (env, st, fm) (all as (e, loc)) = (L'.EError ((L'.ERel 0, loc), t), loc)), loc), fm) end + | L.ECApp ((L.EFfi ("Basis", "returnBlob"), _), t) => + let + val t = monoType env t + val un = (L'.TRecord [], loc) + in + ((L'.EAbs ("b", (L'.TFfi ("Basis", "blob"), loc), + (L'.TFun ((L'.TFfi ("Basis", "string"), loc), (L'.TFun (un, t), loc)), loc), + (L'.EAbs ("mt", (L'.TFfi ("Basis", "string"), loc), (L'.TFun (un, t), loc), + (L'.EAbs ("_", un, t, + (L'.EReturnBlob {blob = (L'.ERel 2, loc), + mimeType = (L'.ERel 1, loc), + t = t}, loc)), loc)), loc)), loc), + fm) + end | L.EApp (e1, e2) => let |