Mercurial > urweb
diff src/mono_print.sml @ 1979:81bc76aa4acd
Merge in upstream changes.
| author | Patrick Hurst <phurst@mit.edu> |
|---|---|
| date | Sat, 18 Jan 2014 18:26:24 -0500 |
| parents | 98895243b5b6 |
| children | 278e10629ba1 |
line wrap: on
line diff
--- a/src/mono_print.sml Mon Dec 09 20:41:24 2013 -0500 +++ b/src/mono_print.sml Sat Jan 18 18:26:24 2014 -0500 @@ -235,18 +235,30 @@ space, p_typ env t, string ")"] - | EReturnBlob {blob, mimeType, t} => box [string "(blob", - space, - p_exp env blob, - space, - string "in", - space, - p_exp env mimeType, - space, - string ":", - space, - p_typ env t, - string ")"] + | EReturnBlob {blob = SOME blob, mimeType, t} => box [string "(blob", + space, + p_exp env blob, + space, + string "in", + space, + p_exp env mimeType, + space, + string ":", + space, + p_typ env t, + string ")"] + | EReturnBlob {blob = NONE, mimeType, t} => box [string "(blob", + space, + string "<page>", + space, + string "in", + space, + p_exp env mimeType, + space, + string ":", + space, + p_typ env t, + string ")"] | ERedirect (e, t) => box [string "(redirect", space, p_exp env e,