Mercurial > urweb

comparison src/expl_print.sml @ 87:275aaeb73f1f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Push KUnit and CUnit through the phases
author Adam Chlipala <adamc@hcoop.net>
date Tue, 01 Jul 2008 13:23:46 -0400
parents 0ee10f4d73cf
children f0f59e918cac
comparison
equal deleted inserted replaced
86:7f9bcc8bfa1e 87:275aaeb73f1f
46 string "->", 46 string "->",
47 space, 47 space,
48 p_kind k2]) 48 p_kind k2])
49 | KName => string "Name" 49 | KName => string "Name"
50 | KRecord k => box [string "{", p_kind k, string "}"] 50 | KRecord k => box [string "{", p_kind k, string "}"]
51 | KUnit => string "Unit"
51 52
52 and p_kind k = p_kind' false k 53 and p_kind k = p_kind' false k
53 54
54 fun p_con' par env (c, _) = 55 fun p_con' par env (c, _) =
55 case c of 56 case c of
142 space, 143 space,
143 string "++", 144 string "++",
144 space, 145 space,
145 p_con env c2]) 146 p_con env c2])
146 | CFold _ => string "fold" 147 | CFold _ => string "fold"
148 | CUnit => string "()"
147 149
148 and p_con env = p_con' false env 150 and p_con env = p_con' false env
149 151
150 and p_name env (all as (c, _)) = 152 and p_name env (all as (c, _)) =
151 case c of 153 case c of