Mercurial > urweb
comparison src/expl_print.sml @ 796:6271f0e3c272
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, |