diff src/cjr.sml @ 1932:98895243b5b6

Change handling of returned text blobs, to activate the normal EWrite optimizations
author Adam Chlipala <adam@chlipala.net>
date Wed, 11 Dec 2013 18:22:10 -0500
parents c1e3805e604e
children a9159911c3ba
line wrap: on
line diff
--- a/src/cjr.sml	Wed Dec 11 14:57:54 2013 -0500
+++ b/src/cjr.sml	Wed Dec 11 18:22:10 2013 -0500
@@ -78,7 +78,7 @@
        | ECase of exp * (pat * exp) list * { disc : typ, result : typ }
 
        | EError of exp * typ
-       | EReturnBlob of {blob : exp, mimeType : exp, t : typ}
+       | EReturnBlob of {blob : exp option, mimeType : exp, t : typ}
        | ERedirect of exp * typ
 
        | EWrite of exp