Mercurial > urweb
comparison src/cjrize.sml @ 1065:217eb87dde31
Basis.url and redirects
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 10 Dec 2009 13:32:09 -0500 |
parents | 7a4a55e05081 |
children | b2311dfb3158 |
comparison
equal
deleted
inserted
replaced
1064:b89e3d8731ed | 1065:217eb87dde31 |
---|---|
365 val (mimeType, sm) = cifyExp (mimeType, sm) | 365 val (mimeType, sm) = cifyExp (mimeType, sm) |
366 val (t, sm) = cifyTyp (t, sm) | 366 val (t, sm) = cifyTyp (t, sm) |
367 in | 367 in |
368 ((L'.EReturnBlob {blob = blob, mimeType = mimeType, t = t}, loc), sm) | 368 ((L'.EReturnBlob {blob = blob, mimeType = mimeType, t = t}, loc), sm) |
369 end | 369 end |
370 | L.ERedirect (e, t) => | |
371 let | |
372 val (e, sm) = cifyExp (e, sm) | |
373 val (t, sm) = cifyTyp (t, sm) | |
374 in | |
375 ((L'.ERedirect (e, t), loc), sm) | |
376 end | |
370 | 377 |
371 | L.EStrcat (e1, e2) => | 378 | L.EStrcat (e1, e2) => |
372 let | 379 let |
373 val (e1, sm) = cifyExp (e1, sm) | 380 val (e1, sm) = cifyExp (e1, sm) |
374 val (e2, sm) = cifyExp (e2, sm) | 381 val (e2, sm) = cifyExp (e2, sm) |