From e30cd94960a563dd668507779de3bd23c01249eb Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Tue, 4 May 2010 17:56:46 -0400 Subject: [PATCH] checks can sometimes return #t original commit: d7d157b441457e4bbcb07c328c9b8e350f3c92ce --- collects/typed/racunit/main.rkt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/collects/typed/racunit/main.rkt b/collects/typed/racunit/main.rkt index 6232b889..2c4f7a76 100644 --- a/collects/typed/racunit/main.rkt +++ b/collects/typed/racunit/main.rkt @@ -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))