comparison 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
comparison
equal deleted inserted replaced
1931:1a04b1edded2 1932:98895243b5b6
76 | EField of exp * string 76 | EField of exp * string
77 77
78 | ECase of exp * (pat * exp) list * { disc : typ, result : typ } 78 | ECase of exp * (pat * exp) list * { disc : typ, result : typ }
79 79
80 | EError of exp * typ 80 | EError of exp * typ
81 | EReturnBlob of {blob : exp, mimeType : exp, t : typ} 81 | EReturnBlob of {blob : exp option, mimeType : exp, t : typ}
82 | ERedirect of exp * typ 82 | ERedirect of exp * typ
83 83
84 | EWrite of exp 84 | EWrite of exp
85 | ESeq of exp * exp 85 | ESeq of exp * exp
86 | ELet of string * typ * exp * exp 86 | ELet of string * typ * exp * exp