diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-06-26 11:09:30 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-06-26 11:09:30 -0400 |
| commit | 77790187bb1c1e0de956d4bbc7795678fb0c6544 (patch) | |
| tree | d748a92db1c3c4b8466e6cd0728b7cf93832a84c /src/elab_print.sml | |
| parent | 1d4b2683a02155a474d79436247d8a1d293237ae (diff) | |
Elaborate efold
Diffstat (limited to 'src/elab_print.sml')
| -rw-r--r-- | src/elab_print.sml | 12 |
1 files changed, 7 insertions, 5 deletions
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 "<ERROR>" and p_exp env = p_exp' false env |