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

checks can sometimes return #t

Browse Source
This commit is contained in:
Sam Tobin-Hochstadt 2010-05-04 17:56:46 -04:00
parent 27a8ac62f6
commit d7d157b441
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))