suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Typed Racket
3,107 Commits 13 Branches 1 Tag 9.2 MiB
Racket 99.6%
Scheme 0.4%
8e7bfb9ad8
Go to file
Asumu Takikawa 8e7bfb9ad8 For classes, always check expected type against synthesized 
This also enables depth subtyping for class types, which
was needed to get the tests to pass

original commit: 008e18a6b44e2a363c706bb1994ccee6c56dec98
2014-02-20 16:50:25 -05:00
pkgs/typed-racket-pkgs For classes, always check expected type against synthesized 2014-02-20 16:50:25 -05:00