Mercurial > urweb
diff src/source_print.sml @ 109:813e5a52063d
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 | e3041657d653 |
line wrap: on
line diff
--- a/src/source_print.sml Thu Jul 10 16:05:14 2008 -0400 +++ b/src/source_print.sml Sun Jul 13 10:17:06 2008 -0400 @@ -418,9 +418,9 @@ space, p_list_sep (string ".") string (m :: ms)] - | DPage e => box [string "page", - space, - p_exp e] + | DExport str => box [string "export", + space, + p_str str] and p_str (str, _) = case str of