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

checks can sometimes return #t

Browse Source 
original commit: d7d157b441457e4bbcb07c328c9b8e350f3c92ce
This commit is contained in:
Sam Tobin-Hochstadt 2010-05-04 17:56:46 -04:00
parent 9781bbfbf4
commit e30cd94960
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
collects/typed/racunit/main.rkt
View File

@ -5,8 +5,8 @@
(define-type check-ish-ty
(case-lambda
(Any Any -> Void)
(Any Any String -> Void)))
(Any Any -> (U #t Void))
(Any Any String -> (U #t Void))))
(define-type (Predicate A) (A -> Boolean))
(define-type (Thunk A) (-> A))