Mercurial > urweb

comparison src/mono_print.sml @ 732:5819fb63c93a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Effectness analysis
author Adam Chlipala <adamc@hcoop.net>
date Thu, 16 Apr 2009 15:29:39 -0400
parents 4c5796512edc
children 796e42c93c48
comparison
equal deleted inserted replaced
731:e0dd85ea58e1 732:5819fb63c93a
385 p_list_sep (box [newline, string "and", space]) (p_vali env) vis] 385 p_list_sep (box [newline, string "and", space]) (p_vali env) vis]
386 end 386 end
387 387
388 | DExport (ek, s, n, ts, t) => box [string "export", 388 | DExport (ek, s, n, ts, t) => box [string "export",
389 space, 389 space,
390 CorePrint.p_export_kind ek, 390 Export.p_export_kind ek,
391 space, 391 space,
392 p_enamed env n, 392 p_enamed env n,
393 space, 393 space,
394 string "as", 394 string "as",
395 space, 395 space,