diff src/core_print.sml @ 482:9117a7bf229c

Especialize working reasonably well; need to add new closure representation pass
author Adam Chlipala <adamc@hcoop.net>
date Sun, 09 Nov 2008 11:53:52 -0500
parents 40c737913075
children 33d5bd69da00
line wrap: on
line diff
--- a/src/core_print.sml	Sat Nov 08 16:47:04 2008 -0500
+++ b/src/core_print.sml	Sun Nov 09 11:53:52 2008 -0500
@@ -482,7 +482,8 @@
                                 space,
                                 string "as",
                                 space,
-                                p_con env (#2 (E.lookupENamed env n))]
+                                (p_con env (#2 (E.lookupENamed env n))
+                                 handle E.UnboundNamed _ => string "UNBOUND")]
       | DTable (x, n, c, s) => box [string "table",
                                     space,
                                     p_named x n,