+1000
On Jul 16, 2012, at 11:05 AM, Neil Toronto wrote: > On 07/16/2012 07:45 AM, sa...@racket-lang.org wrote: >> samth has updated `master' from 55a8445b0b to 9dac995e36. >> ~~~~~~~~~~ >> >> 030e563 Eric Dobson <eric.n.dob...@gmail.com> 2012-06-17 22:14 >> : >> | Make TR compile cleanly with contracts enabled. >> | >> | Added a couple of contracts and fixed some others up as well. >> | The two bugs were that with-contract was not imported, and that >> | subtype could be called with Values and Results. >> : >> M collects/typed-racket/infer/infer-unit.rkt | 86 >> ++++++++++++++------------- >> M collects/typed-racket/infer/signatures.rkt | 10 ++-- >> M collects/typed-racket/types/abbrev.rkt | 5 +- >> M collects/typed-racket/types/subtype.rkt | 13 ++-- >> M collects/typed-racket/utils/utils.rkt | 4 +- > > Is this a step toward defining values that have both types and contracts? > > Neil ⊥ > _________________________ > Racket Developers list: > http://lists.racket-lang.org/dev _________________________ Racket Developers list: http://lists.racket-lang.org/dev
