Mercurial > urweb
comparison src/core_print.sml @ 102:5f04adf47f48
Writing HTML
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 10 Jul 2008 14:02:54 -0400 |
parents | f0f59e918cac |
children | 813e5a52063d |
comparison
equal
deleted
inserted
replaced
101:717b6f8d8505 | 102:5f04adf47f48 |
---|---|
224 box [p_exp' true env e, | 224 box [p_exp' true env e, |
225 string ".", | 225 string ".", |
226 p_con' true env c] | 226 p_con' true env c] |
227 | EFold _ => string "fold" | 227 | EFold _ => string "fold" |
228 | 228 |
229 | EWrite e => box [string "write(", | |
230 p_exp env e, | |
231 string ")"] | |
232 | |
229 and p_exp env = p_exp' false env | 233 and p_exp env = p_exp' false env |
230 | 234 |
231 fun p_decl env ((d, _) : decl) = | 235 fun p_decl env ((d, _) : decl) = |
232 case d of | 236 case d of |
233 DCon (x, n, k, c) => | 237 DCon (x, n, k, c) => |