Mercurial > urweb

comparison src/source_print.sml @ 223:bbe5899a9585

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Queries back to working as well as before, after start of refactoring to support grouping
author Adam Chlipala <adamc@hcoop.net>
date Thu, 21 Aug 2008 12:49:29 -0400
parents 5292c0113024
children 71bafe66dbe1
comparison
equal deleted inserted replaced
222:36fef91a6bbf 223:bbe5899a9585
154 154
155 | CWild k => box [string "(_", 155 | CWild k => box [string "(_",
156 space, 156 space,
157 string "::", 157 string "::",
158 space, 158 space,
159 p_kind k] 159 p_kind k,
160 string ")"]
160 161
161 | CTuple cs => box [string "(", 162 | CTuple cs => box [string "(",
162 p_list p_con cs, 163 p_list p_con cs,
163 string ")"] 164 string ")"]
164 | CProj (c, n) => box [p_con c, 165 | CProj (c, n) => box [p_con c,