suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
422a24db81
racket/collects/typed-racket
History
Sam Tobin-Hochstadt 422a24db81 Improve contract generation in Typed Racket. 
This fixes several issues:
 - `Parameter` generates impersonator contracts correctly
 - `Any` handling now copies immutable data when possible
 - `Any` now recognizes more atomic base types

Merge to 5.3.1.
(cherry picked from commit c6dc1e6ece)
2012-10-29 13:49:24 -04:00
..
base-env Allow #:opaque and #:struct in require/typed. 2012-10-11 18:56:07 -04:00
env Replace uses of Type? in contracts with Type/c. 2012-09-27 18:10:38 -04:00
infer Replace uses of Type? in contracts with Type/c. 2012-09-27 18:10:38 -04:00
minimal/lang Move typed-scheme to typed-racket collection. 2011-09-03 20:49:39 -04:00
optimizer Only recommend dropping exactness in truly inexact contexts. 2012-10-15 17:44:44 -04:00
private Improve contract generation in Typed Racket. 2012-10-29 13:49:24 -04:00
rep Replace uses of Type? in contracts with Type/c. 2012-09-27 18:10:38 -04:00
scribblings Allow #:opaque and #:struct in require/typed. 2012-10-11 18:56:07 -04:00
typecheck Simplify fast path for typechecking simple function applications. 2012-10-05 12:12:39 -04:00
types Revamp handling of Any as a contract. 2012-10-05 12:39:11 -04:00
utils Improve contract generation in Typed Racket. 2012-10-29 13:49:24 -04:00
core.rkt Add tests for make-predicate and cast, also add support for the top-level. 2012-08-20 12:39:41 -04:00
info.rkt Rename Performance Report to Optimization Coach. 2012-07-11 10:59:35 -04:00
language-info.rkt Move typed-scheme to typed-racket collection. 2011-09-03 20:49:39 -04:00
minimal.rkt Minor refactorings. 2012-06-25 18:07:45 -04:00
tc-setup.rkt Track mutable variables across modules. 2012-08-31 17:45:11 -04:00
typed-racket.rkt Fix parametric require/typed in typed/racket/base. 2012-07-29 09:02:58 -04:00
typed-reader.rkt scheme -> racket 2012-06-25 13:39:07 -04:00