Print functions as "function:f" instead of "function"

... in BSL, BSL+, ISL.
racket · Apr 16, 2023 · 8a6d349 · 8a6d349 · mfelleisen · Apr 16, 2023
1 parent 06e10ea
commit 8a6d349
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 2 deletions.
diff --git a/htdp-lib/htdp/bsl/runtime.rkt b/htdp-lib/htdp/bsl/runtime.rkt
@@ -67,7 +67,12 @@
      (lambda (val basic sub)
        (cond
          [(and (sl-runtime-settings-output-function-instead-of-lambda? settings)
-               (procedure? val)) 'function]
+               (procedure? val))
+          (cond
+            ((object-name val)
+             => (lambda (name)
+                  (string->symbol (format "function:~a" name))))
+            (else 'function))]
          [(and (not (sl-runtime-settings-true/false/empty-as-ids? settings)) (equal? val '())) ''()]
          [(equal? val set!-result) '(void)]
          [(signature? val)

diff --git a/htdp-lib/lang/private/signature-syntax.rkt b/htdp-lib/lang/private/signature-syntax.rkt
@@ -185,7 +185,10 @@
     (syntax-case stx ()
       ((_ ?name ?cnt ?expr)
        (with-syntax ((?enforced
-		       (stepper-syntax-property #'(attach-name '?name (apply-signature/blame ?cnt ?expr))
+                      (stepper-syntax-property #'(attach-name '?name
+                                                              (apply-signature/blame ?cnt
+                                                                                     ;; for reporting in signature violations
+                                                                                     (attach-name '?name ?expr)))
 						'stepper-skipto/discard
 						;; apply-signature/blame takes care of itself
 						;; remember there's an implicit #%app