suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
bc34a73cd6
racket/collects/typed-racket/typecheck
History
Asumu Takikawa 07fca0974d Fix printing of tc-any-results in type errors. 
In the long run, these error messages should get
simplified so that this printing is not necessary.

Closes PR 13577 and PR 13526
(cherry picked from commit e53b0858c3)
2013-07-08 10:34:08 -04:00
..
tc-app Fix expected type when typechecking map 2013-07-08 10:34:07 -04:00
check-below.rkt Don't let map introduce type variables. 2013-07-08 10:34:07 -04:00
check-subforms-unit.rkt Add more hacky things to make with-handlers typecheck. 2013-03-13 22:29:41 -07: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 Switch out? to from-typed? as it has the same meaning. 2013-07-08 10:34:07 -04:00
renamer.rkt Minor refactorings. 2012-06-25 18:07:45 -04:00
signatures.rkt Fix contracts in TR. 2013-04-04 07:43:08 -07:00
tc-app-combined.rkt Refactoring of new tc-app. 2012-08-27 14:46:30 -04:00
tc-app-helper.rkt Fix printing of tc-any-results in type errors. 2013-07-08 10:34:08 -04:00
tc-apply.rkt Fix tc-apply to correctly generate expected ValueDots filters. 2013-04-04 07:45:15 -07: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 Fix parsing of dotted rest when there is an expected type. 2013-04-01 22:17:32 -07: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 structs initialize to constant instead of covariant. 2013-07-08 10:34:08 -04:00
tc-subst.rkt Add tc-any-results as new result-type. 2013-01-23 16:41:09 -05:00
tc-toplevel.rkt Make structs initialize to constant instead of covariant. 2013-07-08 10:34:08 -04:00
typechecker.rkt Refactoring of new tc-app. 2012-08-27 14:46:30 -04:00