comparison 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
comparison
equal deleted inserted replaced
1931:1a04b1edded2 1932:98895243b5b6
91 | ECase of exp * (pat * exp) list * { disc : typ, result : typ } 91 | ECase of exp * (pat * exp) list * { disc : typ, result : typ }
92 92
93 | EStrcat of exp * exp 93 | EStrcat of exp * exp
94 94
95 | EError of exp * typ 95 | EError of exp * typ
96 | EReturnBlob of {blob : exp, mimeType : exp, t : typ} 96 | EReturnBlob of {blob : exp option, mimeType : exp, t : typ}
97 | ERedirect of exp * typ 97 | ERedirect of exp * typ
98 98
99 | EWrite of exp 99 | EWrite of exp
100 | ESeq of exp * exp 100 | ESeq of exp * exp
101 | ELet of string * typ * exp * exp 101 | ELet of string * typ * exp * exp