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

I don't think you would be interested as it is entirely internal to TR.

We have a bunch of functions, (infer, subtype, var-promote,
var-demote, substitute, etc) that need to traverse the type and do
things on it. Currently many of them are hardcoded match loops, and
this is work to make them less repetative, and easier to add new cases
to all of them.

Examples of code that I want to eventually replace:
https://github.com/plt/racket/blob/master/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/subtype.rkt#L481



On Mon, May 26, 2014 at 4:11 PM, Neil Toronto <neil.toronto at gmail.com> wrote:
> On 05/26/2014 09:21 AM, endobson at racket-lang.org wrote:
>>
>>
>> 9efa4af Eric Dobson <endobson at racket-lang.org> 2014-05-16 08:13
>> :
>> | Make initial version of structural type recursion, and use it.
>> :
>>    A
>> pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/structural.rkt
>>    M .../typed-racket/infer/promote-demote.rkt         | 66
>> +++++++++++---------
>>    M .../typed-racket/rep/type-rep.rkt                 |  8 ++-
>
>
> I'm trying to figure out how excited I should be about this. Can you explain
> it a little?
>
> Neil ⊥
>
>