suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
a1437e71f7
racket/collects/typed-racket/typecheck
History
Eric Dobson 1334e8dcc7 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.
2013-03-08 09:00:58 -08:00
..
tc-app Reduce usage of check-below. 2013-03-08 09:00:58 -08:00
check-below.rkt Remove tc-results? and other minor improvements. 2013-01-23 18:15:21 -05:00
check-subforms-unit.rkt Make TR's ignore-some property work even if there isn't an internal form. 2012-08-20 12:39:40 -04:00
def-binding.rkt scheme -> racket 2012-06-25 13:39:07 -04:00
def-export.rkt Revise type environment propagation to use submodules. 2012-07-10 12:49:27 -04:00
find-annotation.rkt Minor refactorings. 2012-06-25 18:07:45 -04:00
internal-forms.rkt scheme -> racket 2012-06-25 13:39:07 -04:00
parse-cl.rkt Big newline at EOF scan. 2012-02-29 00:28:11 -05:00
provide-handling.rkt Revise type environment propagation to use submodules. 2012-07-10 12:49:27 -04:00
renamer.rkt Minor refactorings. 2012-06-25 18:07:45 -04:00
signatures.rkt Add tc-any-results as new result-type. 2013-01-23 16:41:09 -05:00
tc-app-combined.rkt Refactoring of new tc-app. 2012-08-27 14:46:30 -04:00
tc-app-helper.rkt Add a simple-Union and Bottom, and have code use them. 2013-02-14 18:24:52 -05:00
tc-apply.rkt Removed convenience.rkt from typed racket. 2012-08-07 15:50:50 -04:00
tc-envops.rkt Support path/object reasoning for promises 2012-12-04 18:03:11 -05:00
tc-expr-unit.rkt Reduce usage of check-below. 2013-03-08 09:00:58 -08:00
tc-funapp.rkt Fix contracts and expected computation for tc-any-results. 2013-01-24 23:15:06 -05:00
tc-if.rkt Reduce usage of check-below. 2013-03-08 09:00:58 -08:00
tc-lambda-unit.rkt Reduce usage of check-below. 2013-03-08 09:00:58 -08:00
tc-let-unit.rkt Reduce usage of check-below. 2013-03-08 09:00:58 -08:00
tc-metafunctions.rkt Remove tc-results? and other minor improvements. 2013-01-23 18:15:21 -05:00
tc-structs.rkt Make TR compile with contracts enabled again. 2013-01-15 12:36:42 -05:00
tc-subst.rkt Add tc-any-results as new result-type. 2013-01-23 16:41:09 -05:00
tc-toplevel.rkt Made tc/exprs check its non final terms with the correct type. 2013-01-23 16:41:09 -05:00
typechecker.rkt Refactoring of new tc-app. 2012-08-27 14:46:30 -04:00