Make type parsing error more informative

2013-06-17 17:08:12 -04:00 · 2013-06-17 17:08:12 -04:00 · 1dede05549
commit 1dede05549
parent 92e34ebab9
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))