Mercurial > urweb

comparison src/source_print.sml @ 825:7f871c03e3a1

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Destructing local let, to the point where demo compiles
author Adam Chlipala <adamc@hcoop.net>
date Thu, 28 May 2009 12:07:05 -0400
parents d4e811beb8eb
children b2311dfb3158
comparison
equal deleted inserted replaced
824:be0988e46336 825:7f871c03e3a1
336 336
337 and p_exp e = p_exp' false e 337 and p_exp e = p_exp' false e
338 338
339 and p_edecl (d, _) = 339 and p_edecl (d, _) =
340 case d of 340 case d of
341 EDVal vi => box [string "val", 341 EDVal (p, e) => box [string "val",
342 space, 342 space,
343 p_vali vi] 343 p_pat p,
344 space,
345 string "=",
346 space,
347 p_exp e]
344 | EDValRec vis => box [string "val", 348 | EDValRec vis => box [string "val",
345 space, 349 space,
346 string "rec", 350 string "rec",
347 space, 351 space,
348 p_list_sep (box [newline, string "and", space]) p_vali vis] 352 p_list_sep (box [newline, string "and", space]) p_vali vis]