Mercurial > urweb

comparison src/core_print.sml @ 807:61a1f5c5ae2c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Mutual datatypes through Effectize
author Adam Chlipala <adamc@hcoop.net>
date Sat, 16 May 2009 15:45:12 -0400
parents ef6de4075dc1
children ed06e25c70ef
comparison
equal deleted inserted replaced
806:0e554bfd6d6a 807:61a1f5c5ae2c
494 val xp = if !debug then 494 val xp = if !debug then
495 string (x ^ "__" ^ Int.toString n) 495 string (x ^ "__" ^ Int.toString n)
496 else 496 else
497 string x 497 string x
498 in 498 in
499 box [string "datatype", 499 box [xp,
500 space,
501 xp,
502 p_list_sep (box []) (fn x => box [space, string x]) xs, 500 p_list_sep (box []) (fn x => box [space, string x]) xs,
503 space, 501 space,
504 string "=", 502 string "=",
505 space, 503 space,
506 p_list_sep (box [space, string "|", space]) 504 p_list_sep (box [space, string "|", space])
532 space, 530 space,
533 string "=", 531 string "=",
534 space, 532 space,
535 p_con env c] 533 p_con env c]
536 end 534 end
537 | DDatatype x => p_datatype env x 535 | DDatatype x => box [string "datatype",
536 space,
537 p_list_sep (box [space, string "and", space]) (p_datatype (E.declBinds env dAll)) x]
538 | DVal vi => box [string "val", 538 | DVal vi => box [string "val",
539 space, 539 space,
540 p_vali env vi] 540 p_vali env vi]
541 | DValRec vis => 541 | DValRec vis =>
542 let 542 let