[racket-dev] [plt] Push #28706: master branch updated

(We have maybe/c somewhere, and I think we should use it.) 


On May 8, 2014, at 4:19 PM, samth at racket-lang.org wrote:

> samth has updated `master' from 98ae3d8b2d to e1ab2ffcf4.
>  http://git.racket-lang.org/plt/98ae3d8b2d..e1ab2ffcf4
> 
> =====[ One Commit ]=====================================================
> Directory summary:
> 100.0% pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/infer/
> 
> ~~~~~~~~~~
> 
> e1ab2ff Sam Tobin-Hochstadt <samth at cs.indiana.edu> 2014-05-08 16:18
> :
> | Fix contract.
> |
> | First bug caught with new test.  Thanks Robby!
> :
>  M .../typed-racket-lib/typed-racket/infer/infer-unit.rkt       | 2 +-
> 
> =====[ Overall Diff ]===================================================
> 
> pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/infer/infer-unit.rkt
> ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
> --- OLD/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/infer/infer-unit.rkt
> +++ NEW/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))