From e0da126e8564af6cb636ba1e8b3b60cb4c989f00 Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Mon, 17 Jun 2013 17:08:12 -0400 Subject: [PATCH] Make type parsing error more informative original commit: 1dede055492351e2d1d96b95dd5267741d359a03 --- .../typed-racket-lib/typed-racket/private/parse-type.rkt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/private/parse-type.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/private/parse-type.rkt index 1a0b3d7a..8120ef6f 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/private/parse-type.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/private/parse-type.rkt @@ -588,7 +588,8 @@ (values row-var fields methods)] [(? Mu?) (match-parent-type (unfold parent-type))] - [_ (tc-error "expected a class type for #:implements clause")])) + [_ (tc-error "expected a class type for #:implements clause, got ~a" + parent-type)])) (define-values (super-row-var super-fields super-methods) (match-parent-type parent-type))