From 880ba74bc7f2dc7e3feb2093227834e1ce1c4ed9 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Thu, 8 May 2014 16:18:08 -0400 Subject: [PATCH] Fix contract. First bug caught with new test. Thanks Robby! original commit: e1ab2ffcf4f22327345b90c4d3a633bcb815e74b --- .../typed-racket-lib/typed-racket/infer/infer-unit.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/infer/infer-unit.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/infer/infer-unit.rkt index 446a41b8..3a9694f0 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/infer/infer-unit.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/infer/infer-unit.rkt @@ -360,7 +360,7 @@ (Type/c Type/c . -> . (or/c #f cset?)) (cgen V X Y S T)) (define/cond-contract (cg/inv S T) - (Type/c Type/c . -> . cset?) + (Type/c Type/c . -> . (or/c #f cset?)) (cgen/inv V X Y S T)) ;; this places no constraints on any variables in X (define empty (empty-cset X Y))