suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Typed Racket
3,719 Commits 13 Branches 1 Tag 9.2 MiB
Racket 99.6%
Scheme 0.4%
9e628b19f7
Go to file
Sam Tobin-Hochstadt 9e628b19f7 Add implies from typed-racket-lib to unstable-contract-lib. 
Typed Racket, as of 8ea8c54eb, can add explicit require lines
to the expanded module, which can confuse the dependency
analyzer. An explicit implies declaration avoids the problem,
although I'm not sure that this is the right solution.

original commit: 8582d94507ae6b2c3c710b6e244a037461bef0f7
2014-10-28 15:12:32 -04:00
pkgs/typed-racket-pkgs Add implies from typed-racket-lib to unstable-contract-lib. 2014-10-28 15:12:32 -04:00