Mercurial > urweb

comparison src/elab_print.sml @ 109:813e5a52063d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Remove closure conversion in favor of zany fun with modules, which also replaces 'page'
author Adam Chlipala <adamc@hcoop.net>
date Sun, 13 Jul 2008 10:17:06 -0400
parents f0f59e918cac
children 3739af9e727a
comparison
equal deleted inserted replaced
108:f59553dc1b6a 109:813e5a52063d
448 p_con env c1, 448 p_con env c1,
449 space, 449 space,
450 string "~", 450 string "~",
451 space, 451 space,
452 p_con env c2] 452 p_con env c2]
453 | DPage (c, e) => box [string "page", 453 | DExport (_, sgn, str) => box [string "export",
454 p_con env c, 454 p_str env str,
455 space, 455 space,
456 string "=", 456 string ":",
457 space, 457 space,
458 p_exp env e] 458 p_sgn env sgn]
459 459
460 and p_str env (str, _) = 460 and p_str env (str, _) =
461 case str of 461 case str of
462 StrConst ds => box [string "struct", 462 StrConst ds => box [string "struct",
463 newline, 463 newline,