Mercurial > urweb

comparison src/core_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 8b611ecc5f2d
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
133 space, 134 space,
134 string "++", 135 string "++",
135 space, 136 space,
136 p_con env c2]) 137 p_con env c2])
137 | CFold _ => string "fold" 138 | CFold _ => string "fold"
139 | CUnit => string "()"
138 140
139 and p_con env = p_con' false env 141 and p_con env = p_con' false env
140 142
141 and p_name env (all as (c, _)) = 143 and p_name env (all as (c, _)) =
142 case c of 144 case c of