Mercurial > urweb

comparison src/elab_print.sml @ 205:cb8f69556975

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Elaborating 'SELECT *' queries
author Adam Chlipala <adamc@hcoop.net>
date Thu, 14 Aug 2008 15:24:59 -0400
parents dd82457fda82
children cc68da3801bc
comparison
equal deleted inserted replaced
204:241c9a0e3397 205:cb8f69556975
445 p_con env c1, 445 p_con env c1,
446 space, 446 space,
447 string "~", 447 string "~",
448 space, 448 space,
449 p_con env c2] 449 p_con env c2]
450 | SgiTable (x, n, c) => box [string "table", 450 | SgiTable (_, x, n, c) => box [string "table",
451 space, 451 space,
452 p_named x n, 452 p_named x n,
453 space, 453 space,
454 string ":", 454 string ":",
455 space, 455 space,
456 p_con env c] 456 p_con env c]
457 457
458 and p_sgn env (sgn, _) = 458 and p_sgn env (sgn, _) =
459 case sgn of 459 case sgn of
460 SgnConst sgis => box [string "sig", 460 SgnConst sgis => box [string "sig",
461 newline, 461 newline,
601 p_str env str, 601 p_str env str,
602 space, 602 space,
603 string ":", 603 string ":",
604 space, 604 space,
605 p_sgn env sgn] 605 p_sgn env sgn]
606 | DTable (x, n, c) => box [string "table", 606 | DTable (_, x, n, c) => box [string "table",
607 space, 607 space,
608 p_named x n, 608 p_named x n,
609 space, 609 space,
610 string ":", 610 string ":",
611 space, 611 space,
612 p_con env c] 612 p_con env c]
613 613
614 and p_str env (str, _) = 614 and p_str env (str, _) =
615 case str of 615 case str of
616 StrConst ds => box [string "struct", 616 StrConst ds => box [string "struct",
617 newline, 617 newline,