suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
e33c902842
typed-racket/typed-racket-test/unit-tests
History
Asumu Takikawa 9ec358b665 Update type-table after tc-funapp processing 
This makes the tooltip show the more refined function
type after application typechecking. For example, case->
types will be narrowed to the particular case that fits.

Polymorphic function types will be instantiated at the
appropriate type.

Fixes issue #325
2016-03-28 17:53:34 -04:00
..
all-tests.rkt Remove tests made obsolete by safety improvements. 2015-11-03 18:04:44 -06:00
check-below-tests.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
class-tests.rkt Fix part of GH issue #208 2015-10-20 14:06:32 -04:00
class-util-tests.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
contract-tests.rkt Add the simple-result-> combinator to Typed Racket. 2016-01-16 22:27:18 -05:00
evaluator.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
filter-tests.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
generalize-tests.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
infer-tests.rkt Make infer unfold Mu before spliting on Unions. 2015-05-19 20:44:15 -07:00
init-env-tests.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
interactive-tests.rkt Add test for top-level mutated var fix. 2015-11-18 14:31:48 -05:00
keyword-expansion-test.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
metafunction-tests.rkt Make tc-subst restrict returned types based on argument types. 2015-04-07 09:50:32 -07:00
parse-type-tests.rkt Escape "~" in tc-error/fields arguments 2016-03-02 04:43:34 -05:00
prefab-tests.rkt Add typechecking for prefab structs 2015-03-10 15:14:51 -04:00
prims-tests.rkt unstable/macro-testing -> syntax/macro-testing 2015-08-05 13:13:50 -05:00
remove-intersect-tests.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
special-env-typecheck-tests.rkt add ids from in-hash- expansion to special-env 2016-02-05 18:26:03 -05:00
static-contract-conversion-tests.rkt Initial support for typed units in typed racket. 2015-09-10 16:32:11 -05:00
static-contract-optimizer-tests.rkt Add the simple-result-> combinator to Typed Racket. 2016-01-16 22:27:18 -05:00
subst-tests.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
subtype-tests.rkt Make subtype work with restricted filters. 2015-04-05 19:07:12 -07:00
test-utils.rkt Add support for running raco test on TR unit tests. 2015-05-14 12:13:14 -04:00
tooltip-tests.rkt Update type-table after tc-funapp processing 2016-03-28 17:53:34 -04:00
type-alias-helper.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
type-equal-tests.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
type-printer-tests.rkt Fix contract build. 2015-09-11 13:12:49 -05:00
typecheck-tests.rkt Add types for box-cas!, unsafe-box*-cas! 2016-03-23 16:02:22 -04:00
typed-units-tests.rkt Initial support for typed units in typed racket. 2015-09-10 16:32:11 -05:00