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

+1000


On Jul 16, 2012, at 11:05 AM, Neil Toronto wrote:

> On 07/16/2012 07:45 AM, samth at racket-lang.org wrote:
>> samth has updated `master' from 55a8445b0b to 9dac995e36.
>> ~~~~~~~~~~
>> 
>> 030e563 Eric Dobson <eric.n.dobson at 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