Mercurial > urweb

comparison src/expl_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 cd8d2c73ccf4
comparison
equal deleted inserted replaced
1271:503d4ec93494 1272:56bd4a4f6e66
232 space, 232 space,
233 p_pat' true env p]) 233 p_pat' true env p])
234 234
235 | PRecord xps => 235 | PRecord xps =>
236 box [string "{", 236 box [string "{",
237 p_list_sep (box [string ",", space]) (fn (x, p, _) => 237 p_list_sep (box [string ",", space]) (fn (x, p, t) =>
238 box [string x, 238 box [string x,
239 space, 239 space,
240 string "=", 240 string "=",
241 space, 241 space,
242 p_pat env p]) xps, 242 p_pat env p,
243 if !debug then
244 box [space,
245 string ":",
246 space,
247 p_con env t]
248 else
249 box []]) xps,
243 string "}"] 250 string "}"]
244 251
245 and p_pat x = p_pat' false x 252 and p_pat x = p_pat' false x
246 253
247 fun p_exp' par env (e, loc) = 254 fun p_exp' par env (e, loc) =