Make type parsing error more informative

original commit: 1dede055492351e2d1d96b95dd5267741d359a03
2013-06-17 17:08:12 -04:00 · 2013-06-17 17:08:12 -04:00 · e0da126e85
commit e0da126e85
parent 3d741fced7
1 changed files with 2 additions and 1 deletions
--- 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))