print more Error types as Error types

2015-08-17 13:38:50 -04:00 · 2015-08-17 13:38:50 -04:00 · 30cdfd16cc
commit 30cdfd16cc
parent d4a9052f52
1 changed files with 4 additions and 1 deletions
--- a/typed-racket-lib/typed-racket/types/printer.rkt
+++ b/typed-racket-lib/typed-racket/types/printer.rkt
@ -378,7 +378,10 @@
      [(Value: '()) null]))
  (match type
    ;; if we know how it was written, print that
-    [(? Rep-stx a) (syntax->datum (Rep-stx a))]
+    [(? Rep-stx a)
+     (if (Error? a)
+         `(Error ,(syntax->datum (Rep-stx a)))
+         (syntax->datum (Rep-stx a)))]
    [(Univ:) 'Any]
    ;; struct names are just printed as the original syntax
    [(Name/struct: id) (syntax-e id)]