Mercurial > urweb

comparison src/mono_print.sml @ 1104:72670131dace

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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 ":",