Mercurial > urweb

comparison src/elab_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
250 | PCon (_, pc, _, SOME p) => parenIf par (box [p_patCon env pc, 250 | PCon (_, pc, _, SOME p) => parenIf par (box [p_patCon env pc,
251 space, 251 space,
252 p_pat' true env p]) 252 p_pat' true env p])
253 | PRecord xps => 253 | PRecord xps =>
254 box [string "{", 254 box [string "{",
255 p_list_sep (box [string ",", space]) (fn (x, p, _) => 255 p_list_sep (box [string ",", space]) (fn (x, p, t) =>
256 box [string x, 256 box [string x,
257 space, 257 space,
258 string "=", 258 string "=",
259 space, 259 space,
260 p_pat env p]) xps, 260 p_pat env p,
261 if !debug then
262 box [space,
263 string ":",
264 space,
265 p_con env t]
266 else
267 box []]) xps,
261 string "}"] 268 string "}"]
262 269
263 and p_pat x = p_pat' false x 270 and p_pat x = p_pat' false x
264 271
265 fun p_exp' par env (e, _) = 272 fun p_exp' par env (e, _) =