Mercurial > urweb

comparison src/mono_print.sml @ 1932:98895243b5b6

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Change handling of returned text blobs, to activate the normal EWrite optimizations
author Adam Chlipala <adam@chlipala.net>
date Wed, 11 Dec 2013 18:22:10 -0500
parents e15234fbb163
children 278e10629ba1
comparison
equal deleted inserted replaced
1931:1a04b1edded2 1932:98895243b5b6
233 space, 233 space,
234 string ":", 234 string ":",
235 space, 235 space,
236 p_typ env t, 236 p_typ env t,
237 string ")"] 237 string ")"]
238 | EReturnBlob {blob, mimeType, t} => box [string "(blob", 238 | EReturnBlob {blob = SOME blob, mimeType, t} => box [string "(blob",
239 space, 239 space,
240 p_exp env blob, 240 p_exp env blob,
241 space, 241 space,
242 string "in", 242 string "in",
243 space, 243 space,
244 p_exp env mimeType, 244 p_exp env mimeType,
245 space, 245 space,
246 string ":", 246 string ":",
247 space, 247 space,
248 p_typ env t, 248 p_typ env t,
249 string ")"] 249 string ")"]
250 | EReturnBlob {blob = NONE, mimeType, t} => box [string "(blob",
251 space,
252 string "<page>",
253 space,
254 string "in",
255 space,
256 p_exp env mimeType,
257 space,
258 string ":",
259 space,
260 p_typ env t,
261 string ")"]
250 | ERedirect (e, t) => box [string "(redirect", 262 | ERedirect (e, t) => box [string "(redirect",
251 space, 263 space,
252 p_exp env e, 264 p_exp env e,
253 space, 265 space,
254 string ":", 266 string ":",