suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Typed Racket
3,219 Commits 13 Branches 1 Tag 9.2 MiB
Racket 99.6%
Scheme 0.4%
8ef86fb139
Go to file
Asumu Takikawa 8ef86fb139 Fix type->contract for recursive Name types 
Certain mutually recursive Name types would generate
contracts that infinite loop when triggered.

original commit: 663e96afd6437bbb26866be1e8fbd9dfeb59582f
2014-03-15 16:35:41 -04:00
pkgs/typed-racket-pkgs Fix type->contract for recursive Name types 2014-03-15 16:35:41 -04:00