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

Support rest args for TR class methods

Browse Source 
original commit: 4439c9df0d5a367399bb92107954c9b47338c8af
This commit is contained in:
Asumu Takikawa 2013-12-03 17:32:13 -05:00
parent f46e98bce9
commit b80597a56d
2 changed files with 11 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1361,7 +1361,7 @@
(syntax-parse stx
#:literals (let-values #%plain-lambda case-lambda)
[(let-values ([(meth-name:id)
(#%plain-lambda (self-param:id id:id ...)
(#%plain-lambda (self-param:id . params)
body ...)])
m)
(define annotated-self-param
@ -1370,12 +1370,12 @@
;; attach source location to the lambda in order to
;; obtain better error messages for arity errors
#,(quasisyntax/loc stx
(#%plain-lambda (#,annotated-self-param id ...)
(#%plain-lambda (#,annotated-self-param . params)
body ...))])
m)]
[(let-values ([(meth-name:id)
(let-values (((core:id)
(#%plain-lambda (param:id ...)
(#%plain-lambda params
core-body ...)))
method-body ...)])
m)
@ -1384,7 +1384,7 @@
#`(let-values (((core)
;; see comment above
#,(quasisyntax/loc stx
(#%plain-lambda (param ...)
(#%plain-lambda params
core-body ...))))
method-body ...)
#t)])

7
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/class-tests.rkt
View File

@ -1271,4 +1271,11 @@
(public m)
(define m (case-lambda [(x) "bad"])))
#:msg #rx"expected: Integer.*given: String"]
;; test that rest args work
[tc-e (let ()
(class object% (super-new)
(: m (-> Integer * Integer))
(define/public (m . xs) (apply + xs)))
(void))
-Void]
))