From 38507c697c6b5f277cabc5eb61afff14ea02da07 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 26 Apr 2009 09:02:17 -0400 Subject: Returning a blob as page result --- src/cjrize.sml | 8 ++++++++ 1 file changed, 8 insertions(+) (limited to 'src/cjrize.sml') diff --git a/src/cjrize.sml b/src/cjrize.sml index 5e0f9bdb..ee2ecdb6 100644 --- a/src/cjrize.sml +++ b/src/cjrize.sml @@ -319,6 +319,14 @@ fun cifyExp (eAll as (e, loc), sm) = in ((L'.EError (e, t), loc), sm) end + | L.EReturnBlob {blob, mimeType, t} => + let + val (blob, sm) = cifyExp (blob, sm) + val (mimeType, sm) = cifyExp (mimeType, sm) + val (t, sm) = cifyTyp (t, sm) + in + ((L'.EReturnBlob {blob = blob, mimeType = mimeType, t = t}, loc), sm) + end | L.EStrcat (e1, e2) => let -- cgit v1.2.3