suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Typed Racket
3,603 Commits 13 Branches 1 Tag 9.2 MiB
Racket 99.6%
Scheme 0.4%
d0d9bef5a9
Go to file
Eric Dobson d0d9bef5a9 Make union simplification not happen during subtyping. 
Union simplification calls subtype, calling subtype during subtyping is
slow so we want to avoid it.

Closes PR 14582.

original commit: cfe35fa0a4c035b07343ad3318c0082e507405a3
2014-06-30 20:50:23 -07:00
pkgs/typed-racket-pkgs Make union simplification not happen during subtyping. 2014-06-30 20:50:23 -07:00