suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
67bf3db5b8
typed-racket/typed-racket-test/unit-tests
History
Andrew Kent f9385af461 clean up tc-let-unit 
This commit cleans up some helper functions that have been
pretty awful for a while. The code is (hopefully) more readable
and it does less work (i.e. unneeded substitutions are no longer
performed).
2016-11-21 19:49:33 -05:00
..
all-tests.rkt filter -> prop 2016-04-25 18:36:12 -04:00
check-below-tests.rkt new representation scheme for typed racket internals 2016-10-21 14:24:27 -04:00
class-tests.rkt new representation scheme for typed racket internals 2016-10-21 14:24:27 -04:00
class-util-tests.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
contract-tests.rkt new representation scheme for typed racket internals 2016-10-21 14:24:27 -04:00
evaluator.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
generalize-tests.rkt new representation scheme for typed racket internals 2016-10-21 14:24:27 -04:00
infer-tests.rkt Make infer unfold Mu before spliting on Unions. 2015-05-19 20:44:15 -07:00
init-env-tests.rkt Fix bug in init-envs (need to generate Rows too) 2016-06-22 17:47:46 -04: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 new representation scheme for typed racket internals 2016-10-21 14:24:27 -04:00
parse-type-tests.rkt new representation scheme for typed racket internals 2016-10-21 14:24:27 -04: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
prop-tests.rkt new representation scheme for typed racket internals 2016-10-21 14:24:27 -04:00
remove-intersect-tests.rkt new representation scheme for typed racket internals 2016-10-21 14:24:27 -04:00
special-env-typecheck-tests.rkt new representation scheme for typed racket internals 2016-10-21 14:24:27 -04:00
static-contract-conversion-tests.rkt Initial support for typed units in typed racket. 2015-09-10 16:32:11 -05:00
static-contract-equality-tests.rkt Fix contracts for structs with the same name (PR 15330) (#410) 2016-07-21 11:14:05 -04: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 new representation scheme for typed racket internals 2016-10-21 14:24:27 -04: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 new representation scheme for typed racket internals 2016-10-21 14:24:27 -04:00
typecheck-tests.rkt clean up tc-let-unit 2016-11-21 19:49:33 -05:00
typed-units-tests.rkt filter -> prop 2016-04-25 18:36:12 -04:00