suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Attempt better error message for bad method type case

Browse Source 
original commit: 30e3c498867dcd6b188157321b4ae7c5491329f2
This commit is contained in:
Asumu Takikawa 2013-05-23 11:10:27 -04:00
parent d113733ab8
commit d04f0b6727
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/check-class-unit.rkt
View File

@ -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