Mercurial > urweb

comparison src/expl_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 3aa010e97db9
children 4260ad920c36
comparison
equal deleted inserted replaced
270:b9b02613c0c2 271:42dfb0d61cf0
570 p_named x n, 570 p_named x n,
571 space, 571 space,
572 string ":", 572 string ":",
573 space, 573 space,
574 p_con env c] 574 p_con env c]
575 | DDatabase s => box [string "database",
576 space,
577 string s]
575 578
576 and p_str env (str, _) = 579 and p_str env (str, _) =
577 case str of 580 case str of
578 StrConst ds => box [string "struct", 581 StrConst ds => box [string "struct",
579 newline, 582 newline,