Mercurial > urweb

comparison src/cjr_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 fac9fae654e2
children 4d80d6122df1
comparison
equal deleted inserted replaced
270:b9b02613c0c2 271:42dfb0d61cf0
707 string ");"]) vis, 707 string ");"]) vis,
708 newline, 708 newline,
709 p_list_sep newline (p_fun env) vis, 709 p_list_sep newline (p_fun env) vis,
710 newline] 710 newline]
711 end 711 end
712 | DDatabase s => box [string "database",
713 space,
714 string s]
712 715
713 datatype 'a search = 716 datatype 'a search =
714 Found of 'a 717 Found of 'a
715 | NotFound 718 | NotFound
716 | Error 719 | Error