Mercurial > urweb

comparison src/expl_print.sml @ 796:6271f0e3c272

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fix a nasty binding bug in CoreUtil
author Adam Chlipala <adamc@hcoop.net>
date Thu, 14 May 2009 09:11:58 -0400
parents 8688e01ae469
children 0e554bfd6d6a
comparison
equal deleted inserted replaced
795:b87e71e45536 796:6271f0e3c272
217 case p of 217 case p of
218 PWild => string "_" 218 PWild => string "_"
219 | PVar (s, _) => string s 219 | PVar (s, _) => string s
220 | PPrim p => Prim.p_t p 220 | PPrim p => Prim.p_t p
221 | PCon (_, pc, _, NONE) => p_patCon env pc 221 | PCon (_, pc, _, NONE) => p_patCon env pc
222 | PCon (_, pc, _, SOME p) => parenIf par (box [p_patCon env pc, 222 | PCon (_, pc, cs, SOME p) =>
223 space, 223 if !debug then
224 p_pat' true env p]) 224 parenIf par (box [p_patCon env pc,
225 string "[",
226 p_list (p_con env) cs,
227 string "]",
228 space,
229 p_pat' true env p])
230 else
231 parenIf par (box [p_patCon env pc,
232 space,
233 p_pat' true env p])
234
225 | PRecord xps => 235 | PRecord xps =>
226 box [string "{", 236 box [string "{",
227 p_list_sep (box [string ",", space]) (fn (x, p, _) => 237 p_list_sep (box [string ",", space]) (fn (x, p, _) =>
228 box [string x, 238 box [string x,
229 space, 239 space,