diff options
author | Adam Chlipala <adam@chlipala.net> | 2013-12-11 18:22:10 -0500 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2013-12-11 18:22:10 -0500 |
commit | d7c4817af0c7f4ea2ed30b4a34408f2f92e9e979 (patch) | |
tree | 3e8a07b87b557e42d86d6dd5f3052a3fd1dd84ec /src/jscomp.sml | |
parent | a8459c0104ca36fd058ea527890116c7a1bca8fd (diff) |
Change handling of returned text blobs, to activate the normal EWrite optimizations
Diffstat (limited to 'src/jscomp.sml')
-rw-r--r-- | src/jscomp.sml | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/src/jscomp.sml b/src/jscomp.sml index e0d87a8e..4a2c0365 100644 --- a/src/jscomp.sml +++ b/src/jscomp.sml @@ -1118,12 +1118,18 @@ fun process (file : file) = in ((EError (e, t), loc), st) end - | EReturnBlob {blob, mimeType, t} => + | EReturnBlob {blob = NONE, mimeType, t} => + let + val (mimeType, st) = exp outer (mimeType, st) + in + ((EReturnBlob {blob = NONE, mimeType = mimeType, t = t}, loc), st) + end + | EReturnBlob {blob = SOME blob, mimeType, t} => let val (blob, st) = exp outer (blob, st) val (mimeType, st) = exp outer (mimeType, st) in - ((EReturnBlob {blob = blob, mimeType = mimeType, t = t}, loc), st) + ((EReturnBlob {blob = SOME blob, mimeType = mimeType, t = t}, loc), st) end | ERedirect (e, t) => let |