Mercurial > urweb
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, |