Mercurial > urweb

diff src/core_print.sml @ 110:3739af9e727a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Starting with closure links
author Adam Chlipala <adamc@hcoop.net>
date Sun, 13 Jul 2008 11:43:57 -0400
parents 813e5a52063d
children fd98dd10dce7
line wrap: on
line diff
--- a/src/core_print.sml	Sun Jul 13 10:17:06 2008 -0400
+++ b/src/core_print.sml	Sun Jul 13 11:43:57 2008 -0400
@@ -232,6 +232,12 @@
                          p_exp env e,
                          string ")"]
 
+      | EClosure (n, es) => box [string "CLOSURE(",
+                                 p_enamed env n,
+                                 p_list_sep (string "") (fn e => box [string ", ",
+                                                                      p_exp env e]) es,
+                                 string ")"]
+
 and p_exp env = p_exp' false env
 
 fun p_decl env ((d, _) : decl) =