diff src/mono.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 e15234fbb163
children a9159911c3ba
line wrap: on
line diff
--- a/src/mono.sml	Wed Dec 11 14:57:54 2013 -0500
+++ b/src/mono.sml	Wed Dec 11 18:22:10 2013 -0500
@@ -93,7 +93,7 @@
        | EStrcat of exp * exp
 
        | 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