On Mon, Jul 16, 2012 at 11:05 AM, Neil Toronto <neil.toro...@gmail.com> 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. > > 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 sa...@ccs.neu.edu _________________________ Racket Developers list: http://lists.racket-lang.org/dev