comparison src/cjrize.sml @ 741:f7e2026dd5ae

Returning a blob as page result
author Adam Chlipala <adamc@hcoop.net>
date Sun, 26 Apr 2009 09:02:17 -0400
parents 4c5796512edc
children 8688e01ae469
comparison
equal deleted inserted replaced
740:b302b6e35f93 741:f7e2026dd5ae
317 val (e, sm) = cifyExp (e, sm) 317 val (e, sm) = cifyExp (e, sm)
318 val (t, sm) = cifyTyp (t, sm) 318 val (t, sm) = cifyTyp (t, sm)
319 in 319 in
320 ((L'.EError (e, t), loc), sm) 320 ((L'.EError (e, t), loc), sm)
321 end 321 end
322 | L.EReturnBlob {blob, mimeType, t} =>
323 let
324 val (blob, sm) = cifyExp (blob, sm)
325 val (mimeType, sm) = cifyExp (mimeType, sm)
326 val (t, sm) = cifyTyp (t, sm)
327 in
328 ((L'.EReturnBlob {blob = blob, mimeType = mimeType, t = t}, loc), sm)
329 end
322 330
323 | L.EStrcat (e1, e2) => 331 | L.EStrcat (e1, e2) =>
324 let 332 let
325 val (e1, sm) = cifyExp (e1, sm) 333 val (e1, sm) = cifyExp (e1, sm)
326 val (e2, sm) = cifyExp (e2, sm) 334 val (e2, sm) = cifyExp (e2, sm)