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

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 ⊥