Mercurial > urweb

comparison src/core_print.sml @ 1272:56bd4a4f6e66

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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, _) =