Mercurial > urweb

comparison src/elab_print.sml @ 203:dd82457fda82

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Parsing and elaborating 'table'
author Adam Chlipala <adamc@hcoop.net>
date Thu, 14 Aug 2008 13:20:29 -0400
parents aa54250f58ac
children cb8f69556975
comparison
equal deleted inserted replaced
202:af5bd54cbbd7 203:dd82457fda82
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",
451 space,
452 p_named x n,
453 space,
454 string ":",
455 space,
456 p_con env c]
450 457
451 and p_sgn env (sgn, _) = 458 and p_sgn env (sgn, _) =
452 case sgn of 459 case sgn of
453 SgnConst sgis => box [string "sig", 460 SgnConst sgis => box [string "sig",
454 newline, 461 newline,
594 p_str env str, 601 p_str env str,
595 space, 602 space,
596 string ":", 603 string ":",
597 space, 604 space,
598 p_sgn env sgn] 605 p_sgn env sgn]
606 | DTable (x, n, c) => box [string "table",
607 space,
608 p_named x n,
609 space,
610 string ":",
611 space,
612 p_con env c]
599 613
600 and p_str env (str, _) = 614 and p_str env (str, _) =
601 case str of 615 case str of
602 StrConst ds => box [string "struct", 616 StrConst ds => box [string "struct",
603 newline, 617 newline,