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

Work around type alias printing limitations

Browse Source 
Type aliases in internal definition contexts can affect
type printing outside of the context, which can cause
interference in unit tests.

This only seems to happen when running with the TR test
driver.
This commit is contained in:
Asumu Takikawa 2015-02-12 15:36:04 -05:00
parent 31d6c04608
commit 888893d81b
1 changed files with 12 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1965,39 +1965,42 @@
;; let-aliasing + occ. typing on fields
(let ([y x]) (if (string? y) (string-append x) "")))
(-class)]
;; Failure tests for occurrence typing on private fields. The types
;; are obfuscated a bit to prevent interference from type aliases in
;; another test.
[tc-err (let ()
(define c%
(class object%
(super-new)
(: x (U String #f))
(: x (U String 'obfuscate))
(define x "foo")
(set! x #f) ; prevents occ. typing
(set! x 'obfuscate) ; prevents occ. typing
(: m (-> String))
(define/public (m)
(if (string? x) (string-append x "bar") "baz"))))
(error "foo"))
#:msg #rx"expected: String.*given: \\(U False String\\)"]
#:msg #rx"expected: String.*given: \\(U String 'obfuscate\\)"]
[tc-err (let ()
(define c%
(class object%
(super-new)
(: x (U String #f))
(: x (U String 'obfuscate))
(define x "foo")
(field [f (begin (set! x #f) "hello")])
(field [f (begin (set! x 'obfuscate) "hello")])
(: m (-> String))
(define/public (m)
(if (string? x) (string-append x "bar") "baz"))))
(error "foo"))
#:msg #rx"expected: String.*given: \\(U False String\\)"]
#:msg #rx"expected: String.*given: \\(U String 'obfuscate\\)"]
[tc-err (let ()
(define c%
(class object%
(super-new)
(: x (U String #f))
(: x (U String 'obfuscate))
(define x "foo")
(define/public (n) (set! x #f))
(define/public (n) (set! x 'obfuscate))
(: m (-> String))
(define/public (m)
(if (string? x) (string-append x "bar") "baz"))))
(error "foo"))
#:msg #rx"expected: String.*given: \\(U False String\\)"]))
#:msg #rx"expected: String.*given: \\(U String 'obfuscate\\)"]))