comparison src/mono_print.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
237 space, 237 space,
238 string ":", 238 string ":",
239 space, 239 space,
240 p_typ env t, 240 p_typ env t,
241 string ")"] 241 string ")"]
242 | ERedirect (e, t) => box [string "(redirect",
243 space,
244 p_exp env e,
245 space,
246 string ":",
247 space,
248 p_typ env t,
249 string ")"]
242 250
243 | EStrcat (e1, e2) => parenIf par (box [p_exp' true env e1, 251 | EStrcat (e1, e2) => parenIf par (box [p_exp' true env e1,
244 space, 252 space,
245 string "^", 253 string "^",
246 space, 254 space,