comparison src/core_print.sml @ 1104:72670131dace

Basis.serialize; separate file for mhash; run transactional finishers in reverse order; set needs_sig properly
author Adam Chlipala <adamc@hcoop.net>
date Thu, 31 Dec 2009 11:41:57 -0500
parents 0657e5adc938
children c316ca3c9ec6
comparison
equal deleted inserted replaced
1103:2f42c61b8d0a 1104:72670131dace
545 space, 545 space,
546 string "rec", 546 string "rec",
547 space, 547 space,
548 p_list_sep (box [newline, string "and", space]) (p_vali env) vis] 548 p_list_sep (box [newline, string "and", space]) (p_vali env) vis]
549 end 549 end
550 | DExport (ek, n) => box [string "export", 550 | DExport (ek, n, _) => box [string "export",
551 space, 551 space,
552 Export.p_export_kind ek, 552 Export.p_export_kind ek,
553 space, 553 space,
554 p_enamed env n, 554 p_enamed env n,
555 space, 555 space,
556 string "as", 556 string "as",
557 space, 557 space,
558 (p_con env (#2 (E.lookupENamed env n)) 558 (p_con env (#2 (E.lookupENamed env n))
559 handle E.UnboundNamed _ => string "UNBOUND")] 559 handle E.UnboundNamed _ => string "UNBOUND")]
560 | DTable (x, n, c, s, pe, _, ce, _) => box [string "table", 560 | DTable (x, n, c, s, pe, _, ce, _) => box [string "table",
561 space, 561 space,
562 p_named x n, 562 p_named x n,
563 space, 563 space,
564 string "as", 564 string "as",