Mercurial > urweb
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