From 30cdfd16cceef679174d3b532c7c34cc9000d37b Mon Sep 17 00:00:00 2001 From: AlexKnauth Date: Mon, 17 Aug 2015 13:38:50 -0400 Subject: [PATCH] print more Error types as Error types --- typed-racket-lib/typed-racket/types/printer.rkt | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/typed-racket-lib/typed-racket/types/printer.rkt b/typed-racket-lib/typed-racket/types/printer.rkt index 6e9f5892..92a81d67 100644 --- 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)]