comparison src/prepare.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 0577be31a435
children 4d64af730e35
comparison
equal deleted inserted replaced
1931:1a04b1edded2 1932:98895243b5b6
199 ((EError (e, t), loc), st) 199 ((EError (e, t), loc), st)
200 end 200 end
201 201
202 | EReturnBlob {blob, mimeType, t} => 202 | EReturnBlob {blob, mimeType, t} =>
203 let 203 let
204 val (blob, st) = prepExp (blob, st) 204 val (blob, st) = case blob of
205 NONE => (blob, st)
206 | SOME blob =>
207 let
208 val (b, st) = prepExp (blob, st)
209 in
210 (SOME b, st)
211 end
205 val (mimeType, st) = prepExp (mimeType, st) 212 val (mimeType, st) = prepExp (mimeType, st)
206 in 213 in
207 ((EReturnBlob {blob = blob, mimeType = mimeType, t = t}, loc), st) 214 ((EReturnBlob {blob = blob, mimeType = mimeType, t = t}, loc), st)
208 end 215 end
209 216