Mercurial > urweb
comparison src/mono_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 | 52571ca9b777 |
comparison
equal
deleted
inserted
replaced
1103:2f42c61b8d0a | 1104:72670131dace |
---|---|
421 string "rec", | 421 string "rec", |
422 space, | 422 space, |
423 p_list_sep (box [newline, string "and", space]) (p_vali env) vis] | 423 p_list_sep (box [newline, string "and", space]) (p_vali env) vis] |
424 end | 424 end |
425 | 425 |
426 | DExport (ek, s, n, ts, t) => box [string "export", | 426 | DExport (ek, s, n, ts, t, _) => box [string "export", |
427 space, | 427 space, |
428 Export.p_export_kind ek, | 428 Export.p_export_kind ek, |
429 space, | 429 space, |
430 p_enamed env n, | 430 p_enamed env n, |
431 space, | 431 space, |
432 string "as", | 432 string "as", |
433 space, | 433 space, |
434 string s, | 434 string s, |
435 p_list_sep (string "") (fn t => box [space, | 435 p_list_sep (string "") (fn t => box [space, |
436 string "(", | 436 string "(", |
437 p_typ env t, | 437 p_typ env t, |
438 string ")"]) ts, | 438 string ")"]) ts, |
439 space, | 439 space, |
440 string "->", | 440 string "->", |
441 space, | 441 space, |
442 p_typ env t] | 442 p_typ env t] |
443 | 443 |
444 | DTable (s, xts, pe, ce) => box [string "(* SQL table ", | 444 | DTable (s, xts, pe, ce) => box [string "(* SQL table ", |
445 string s, | 445 string s, |
446 space, | 446 space, |
447 string ":", | 447 string ":", |