From d04f0b6727edee3954dfdfaad1281b7f4c9f690f Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Thu, 23 May 2013 11:10:27 -0400 Subject: [PATCH] Attempt better error message for bad method type case original commit: 30e3c498867dcd6b188157321b4ae7c5491329f2 --- .../typed-racket/typecheck/check-class-unit.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/check-class-unit.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/check-class-unit.rkt index 6ce9e081..1abd4c02 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/check-class-unit.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/check-class-unit.rkt @@ -743,7 +743,7 @@ (match-define (arr: doms rng rest drest kws) arr) (make-arr (cdr doms) rng rest drest kws))) (make-Function fixed-arrs)] - [_ (tc-error "fixup-method-type: internal error")])) + [_ (tc-error/expr "expected a function type for method")])) ;; annotate-method : Syntax Type -> Syntax ;; Adds a self type annotation for the first argument and annotated