suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Typed Racket
3,764 Commits 13 Branches 1 Tag 9.2 MiB
Racket 99.6%
Scheme 0.4%
29995ca01c
Go to file
Asumu Takikawa 29995ca01c Put Instance types in the seen list for subtyping 
Since we resolve under Instance types for subtyping we
need to put them in the current-seen list too. Fixes
an infinite loop bug in subtyping.

original commit: 826a08d80c65d00dc0b77c89e4a6c2967bfef74c
2014-11-20 20:42:08 -05:00
pkgs/typed-racket-pkgs Put Instance types in the seen list for subtyping 2014-11-20 20:42:08 -05:00