comparison 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
comparison
equal deleted inserted replaced
1978:c5143edaf3c7 1979:81bc76aa4acd
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 ":",