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

Fix contract.

Browse Source 
First bug caught with new test.  Thanks Robby!

original commit: e1ab2ffcf4f22327345b90c4d3a633bcb815e74b
This commit is contained in:
Sam Tobin-Hochstadt 2014-05-08 16:18:08 -04:00
parent 1e707d1b68
commit 880ba74bc7
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/infer/infer-unit.rkt
View File

@ -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))