Add a unit test for ill-typed private methods

2013-07-01 18:28:06 -04:00 · 2013-07-01 18:28:06 -04:00 · 7ba8dd57cb
commit 7ba8dd57cb
parent eb95264e3f
1 changed files with 6 additions and 0 deletions
--- 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])))