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
