Mercurial > urweb
comparison src/core_print.sml @ 1272:56bd4a4f6e66
Some serious bug-fix work to get HTML example to compile; this includes fixing a bug with 'val' patterns in Unnest and the need for more local reduction in Especialize
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 03 Jun 2010 13:04:37 -0400 |
parents | c316ca3c9ec6 |
children | b4480a56cab7 |
comparison
equal
deleted
inserted
replaced
1271:503d4ec93494 | 1272:56bd4a4f6e66 |
---|---|
231 | PCon (_, n, _, SOME p) => parenIf par (box [p_patCon env n, | 231 | PCon (_, n, _, SOME p) => parenIf par (box [p_patCon env n, |
232 space, | 232 space, |
233 p_pat' true env p]) | 233 p_pat' true env p]) |
234 | PRecord xps => | 234 | PRecord xps => |
235 box [string "{", | 235 box [string "{", |
236 p_list_sep (box [string ",", space]) (fn (x, p, _) => | 236 p_list_sep (box [string ",", space]) (fn (x, p, t) => |
237 box [string x, | 237 box [string x, |
238 space, | 238 space, |
239 string "=", | 239 string "=", |
240 space, | 240 space, |
241 p_pat env p]) xps, | 241 p_pat env p, |
242 if !debug then | |
243 box [space, | |
244 string ":", | |
245 space, | |
246 p_con env t] | |
247 else | |
248 box []]) xps, | |
242 string "}"] | 249 string "}"] |
243 | 250 |
244 and p_pat x = p_pat' false x | 251 and p_pat x = p_pat' false x |
245 | 252 |
246 fun p_exp' par env (e, _) = | 253 fun p_exp' par env (e, _) = |