Mercurial > urweb
diff src/elab_print.sml @ 71:6431b315a1e3
Elaborate efold
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Thu, 26 Jun 2008 11:09:30 -0400 |
| parents | 9f89f0b00b84 |
| children | 0ee10f4d73cf |
line wrap: on
line diff
--- a/src/elab_print.sml Thu Jun 26 10:02:34 2008 -0400 +++ b/src/elab_print.sml Thu Jun 26 11:09:30 2008 -0400 @@ -88,10 +88,11 @@ p_con' true env c] | CRel n => - if !debug then - string (#1 (E.lookupCRel env n) ^ "_" ^ Int.toString n) - else - string (#1 (E.lookupCRel env n)) + ((if !debug then + string (#1 (E.lookupCRel env n) ^ "_" ^ Int.toString n) + else + string (#1 (E.lookupCRel env n))) + handle E.UnboundRel _ => string ("UNBOUND_REL" ^ Int.toString n)) | CNamed n => ((if !debug then string (#1 (E.lookupCNamed env n) ^ "__" ^ Int.toString n) @@ -248,7 +249,8 @@ box [p_exp' true env e, string ".", p_con' true env c] - + | EFold _ => string "fold" + | EError => string "<ERROR>" and p_exp env = p_exp' false env