Mercurial > urweb

comparison src/core_print.sml @ 102:5f04adf47f48

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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) =>