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

Redefine Boolean as (U #t #f).

Browse Source 
Closes PR 12815.
This commit is contained in:
Eric Dobson 2012-05-31 22:28:09 -07:00 committed by Sam Tobin-Hochstadt
parent 64e4a43c9c
commit 262ecc3da9
2 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/tests/typed-racket/unit-tests/typecheck-tests.rkt
View File

@ -1403,6 +1403,8 @@
(-vec -Integer)]
[tc-e/t (ann #() (Vectorof Integer))
(-vec -Integer)]
[tc-e/t (ann (lambda: ([x : Boolean]) (if x x #t)) (Boolean -> #t)) (t:-> -Boolean (-val #t))]
)
(test-suite
"check-type tests"

2
collects/typed-racket/types/abbrev.rkt
View File

@ -120,7 +120,7 @@
(define -Listof (-poly (list-elem) (make-Listof list-elem)))
(define -Boolean (make-Base 'Boolean #'boolean? boolean? #'-Boolean))
(define -Boolean (*Un (-val #t) (-val #f)))
(define -Symbol (make-Base 'Symbol #'symbol? symbol? #'-Symbol))
(define -Void (make-Base 'Void #'void? void? #'-Void))
(define -Undefined