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
On 05/26/2014 09:21 AM, endob...@racket-lang.org wrote:
9efa4af Eric Dobson 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
2 matches
Mail list logo
