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 | 4c76d279aed3f26bebe9432afe7a0da8892ffc48 (patch) | |
| tree | 3e8a07b87b557e42d86d6dd5f3052a3fd1dd84ec /src/prepare.sml | |
| parent | 001407495e8ce63fcff702515db38b882d425da8 (diff) | |
Change handling of returned text blobs, to activate the normal EWrite optimizations
Diffstat (limited to 'src/prepare.sml')
| -rw-r--r-- | src/prepare.sml | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/src/prepare.sml b/src/prepare.sml index 7f55959c..89cd1b43 100644 --- a/src/prepare.sml +++ b/src/prepare.sml @@ -201,7 +201,14 @@ fun prepExp (e as (_, loc), st) = | EReturnBlob {blob, mimeType, t} => let - val (blob, st) = prepExp (blob, st) + val (blob, st) = case blob of + NONE => (blob, st) + | SOME blob => + let + val (b, st) = prepExp (blob, st) + in + (SOME b, st) + end val (mimeType, st) = prepExp (mimeType, st) in ((EReturnBlob {blob = blob, mimeType = mimeType, t = t}, loc), st) |