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

Re-enable and fix a TR class test

Browse Source 
It turns out the test was wrong instead of the implementation.
In particular, it reversed the internal/external name and thus
the error it failed with was correct (though not the intention of
the test).
This commit is contained in:
Asumu Takikawa 2014-04-23 12:03:34 -04:00
parent 92bdd84b07
commit e230456fd7
1 changed files with 1 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1105,18 +1105,15 @@
#:ret (ret -Void) #:ret (ret -Void)
#:msg #rx"superclass is missing a required augmentable method"] #:msg #rx"superclass is missing a required augmentable method"]
;; Pubment with separate internal/external names ;; Pubment with separate internal/external names
;; FIXME: broken right now due to : macro changes
#|
[tc-e (let () [tc-e (let ()
(define c% (define c%
(class object% (class object%
(super-new) (super-new)
(: m (Symbol -> Symbol)) (: n (Symbol -> Symbol))
(pubment [n m]) (pubment [n m])
(define n (λ (x) 'a)))) (define n (λ (x) 'a))))
(send (new c%) m 'b)) (send (new c%) m 'b))
-Symbol] -Symbol]
|#
;; Pubment with expected class type ;; Pubment with expected class type
[tc-e (let () [tc-e (let ()
(: c% (Class [m (String -> String)] (: c% (Class [m (String -> String)]