Mercurial > urweb

comparison src/elab_print.sml @ 271:42dfb0d61cf0

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
'database' declaration threaded through compiler
author Adam Chlipala <adamc@hcoop.net>
date Tue, 02 Sep 2008 10:51:41 -0400
parents 71bafe66dbe1
children 9601c717d2f3
comparison
equal deleted inserted replaced
270:b9b02613c0c2 271:42dfb0d61cf0
630 p_named x n, 630 p_named x n,
631 space, 631 space,
632 string ":", 632 string ":",
633 space, 633 space,
634 p_con env c] 634 p_con env c]
635 | DClass ( x, n, c) => box [string "class", 635 | DClass (x, n, c) => box [string "class",
636 space, 636 space,
637 p_named x n, 637 p_named x n,
638 space, 638 space,
639 string "=", 639 string "=",
640 space, 640 space,
641 p_con env c] 641 p_con env c]
642 | DDatabase s => box [string "database",
643 space,
644 string s]
642 645
643 and p_str env (str, _) = 646 and p_str env (str, _) =
644 case str of 647 case str of
645 StrConst ds => box [string "struct", 648 StrConst ds => box [string "struct",
646 newline, 649 newline,