Mercurial > urweb
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", |