From 77790187bb1c1e0de956d4bbc7795678fb0c6544 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 26 Jun 2008 11:09:30 -0400 Subject: Elaborate efold --- src/elab_print.sml | 12 +++++++----- 1 file changed, 7 insertions(+), 5 deletions(-) (limited to 'src/elab_print.sml') diff --git a/src/elab_print.sml b/src/elab_print.sml index 2b515a03..085caac7 100644 --- a/src/elab_print.sml +++ b/src/elab_print.sml @@ -88,10 +88,11 @@ fun p_con' par env (c, _) = 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 @@ fun p_exp' par env (e, _) = box [p_exp' true env e, string ".", p_con' true env c] - + | EFold _ => string "fold" + | EError => string "" and p_exp env = p_exp' false env -- cgit v1.2.3