From 7ba8dd57cbffe66bb76cab053fed6e80cc193693 Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Mon, 1 Jul 2013 18:28:06 -0400 Subject: [PATCH] Add a unit test for ill-typed private methods --- .../tests/typed-racket/unit-tests/class-tests.rkt | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/class-tests.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/class-tests.rkt index 610704cd90..6f4a0c3846 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/class-tests.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/class-tests.rkt @@ -443,6 +443,12 @@ (: m (-> Integer)) (define/public (m) (x)))) + ;; fails, ill-typed private method implementation + (check-err + (class: object% (super-new) + (: x (-> Integer)) + (define/private (x) "bad result"))) + ;; test optional init arg (check-ok (: c% (Class (init [x Integer #:optional])))