suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
5234bd3d94
typed-racket/collects
History
Eric Dobson 5234bd3d94 Reduce usage of check-below. 
This pushes almost all uses of check below into tc-expr and
tc-expr/check. This means that the optimizer sees more precise types
and can make more optimizations.

original commit: 1334e8dcc77854ac826306d3f6a36150cb0bf0c1
2013-03-08 09:00:58 -08:00
..
tests/typed-racket Reduce usage of check-below. 2013-03-08 09:00:58 -08:00
typed Move Optimization Coach to PLaneT 2. 2013-01-11 18:40:23 -05:00
typed-racket Reduce usage of check-below. 2013-03-08 09:00:58 -08:00
typed-scheme Move Optimization Coach to PLaneT 2. 2013-01-11 18:40:23 -05:00
unstable logging: allow name in `log-message', report it in a log-receiver evt 2012-12-27 14:12:40 -06:00