suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Typed Racket
3,767 Commits 13 Branches 1 Tag 9.2 MiB
Racket 99.6%
Scheme 0.4%
088a59038a
Go to file
Asumu Takikawa 088a59038a Fix infer-self-type for depth overriden methods 
When an overriden method implements a subtype of the superclass
type, sometimes the typechecker gets confused what the type should
be in the resulting class type.

original commit: 85b70aef7f66f0e0c8716fca716d1e38478bf763
2014-11-21 14:17:16 -05:00
pkgs/typed-racket-pkgs Fix infer-self-type for depth overriden methods 2014-11-21 14:17:16 -05:00