(We have maybe/c somewhere, and I think we should use it.)
On May 8, 2014, at 4:19 PM, sa...@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 <sa...@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)) _________________________ Racket Developers list: http://lists.racket-lang.org/dev
