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

From: Sam Tobin-Hochstadt (samth at ccs.neu.edu)
Date: Mon Jul 16 11:24:08 EDT 2012

On Mon, Jul 16, 2012 at 11:05 AM, Neil Toronto <neil.toronto at gmail.com> 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.
>
> Is this a step toward defining values that have both types and contracts?

No, this isn't related to that (important) goal at all.  This is just
about TR internal invariants.
-- 
sam th
samth at ccs.neu.edu

Posted on the dev mailing list.