Mercurial > urweb

comparison src/core_print.sml @ 802:ef6de4075dc1

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fix a Core_untangle bug that missed closure variable references; XHTMLize
author Adam Chlipala <adamc@hcoop.net>
date Sat, 16 May 2009 12:41:33 -0400
parents 6271f0e3c272
children 61a1f5c5ae2c
comparison
equal deleted inserted replaced
801:5f49a6b759cb 802:ef6de4075dc1
574 space, 574 space,
575 p_exp env pe, 575 p_exp env pe,
576 space, 576 space,
577 string "constraints", 577 string "constraints",
578 space, 578 space,
579 p_exp env ce] 579 p_exp (E.declBinds env dAll) ce]
580 | DSequence (x, n, s) => box [string "sequence", 580 | DSequence (x, n, s) => box [string "sequence",
581 space, 581 space,
582 p_named x n, 582 p_named x n,
583 space, 583 space,
584 string "as", 584 string "as",