suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
8e7f39025a
typed-racket/typed-racket-test/fail
History
Andrew Kent 8e7f39025a remove interning for most Reps in TR 
Prior to this change (which was Typed Racket PR 469) all internal TR
objects (Reps) were interned and kept around for the entire duration
of type checking.  Because of this, frequent operations that rebuilt
types were particularly costly (e.g. various forms of
substitution). To recoup some of this cost, caching was being used in
a lot of places. This PR sought to remove interning as the default
behavior for Reps and allow for more flexibility in how we approach
time/space performance needs going forward.

The following changes were included in this overhaul:

Interning: All Reps are no longer interned. Right now we only intern
unions and some propositions.

Rep generic operations: we now use racket/generic so we're not
reinventing this wheel.

Singletons: Reps (e.g. TrueProp, Univ, etc) can be declared singleton,
which creates a single instance of the rep that all visible operations
(even within the declaring module) are defined in terms of
(e.g. predicates are defined as (λ (x) (eq? x singleton-instance)),
etc).

Custom constructors: Custom constructors can be specified for Reps,
which allows for simple normalization, interning, or other invariants
to be enfored whenever a Rep is created.

Union: Unions used to try to ensure no obviously overlaping types
would inhabit the same Union (e.g. (U String (Pairof Any Any) (Pairof
Int Int)) would be simplified to (U String (Pairof Any Any))). This,
however, required frequent calls to subtyping every time a Union was
modified and working with Unions thus had a high cost (another thing
that caching was used to reduce). Instead of this, Unions now enforce
a much simpler set of invariants on their members: (1) No duplicates
(by virtue of using a hash-based set), (2) Any and Nothing do not
appear in unions, and (3) Nested unions are flattened. Also, using a
hashset as the internal data structure meant that we could easily
intern unions w.r.t. equal? equality. NOTE: we do reduce unions to not
contain obviously overlapping terms when printing to users and when
generating contracts (so obviously and avoidable inneficient contracts
are not generated – See union.rkt for 'normalize-type').

Subtyping changes: Subtyping has been designed to reduce dispatch time
w/ a switch since we no longer cache _all_ subtyping calls (we only
cache subtyping results for unions since they have some costly
subtyping).

prop-ops changes: AndProps now are careful to sort OrProps by length
before building the resulting proposition. This is done because
OrProp implication only checks if one Or is a subset of another Or.
By ordering Or props by size, we only ever check if an OrProp implies
another if its size is <= the other OrProp. This also makes the
smart constructor '-and' more robust, since the order the props
appear does not affect if some Ors are kept or not.

Testing: More subtype tests have been added (we are still probably
relying too much on typecheck-tests.rkt and not the more granular unit
tests in general).  Also, typecheck-tests.rkt has been changed to
check for type-equivalence (i.e. subtyping in both directions)
instead of equal? equivalence.
2016-12-16 15:18:50 -05:00
..
all-bad-syntax.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
ann-map-funcs.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
apply-dots.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
assoc-with-is-equal-argument.rkt Fixes type of member and assoc, plus some tests for them. See github bug #223: “(member) has wrong type, exploiting the hole causes segfault”. 2015-11-09 19:04:02 -05:00
async-channel-contract.rkt Fix TR's async-channel-contract test 2015-01-20 14:23:38 -05:00
back-and-forth.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
bad-ann-from-macro-in-unit.rkt Initial support for typed units in typed racket. 2015-09-10 16:32:11 -05:00
bad-ann.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
bad-any.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
bad-first.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
bad-hash-ref.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
bad-map-poly.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
bad-struct-top.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
bad-type-app.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
bind-anyvalues.rkt Fix missing match cases when trying to bind AnyValues typed "results" 2015-07-29 11:44:29 -04:00
box-fail.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
case-lambda1.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
case-lambda2.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
case-lambda3.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
case-lambda4.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
case-union-subtype.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
cast-mod1.rkt Add srcloc instead of a quoted syntax for casts 2015-03-06 16:09:31 -05:00
cast-mod2.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
cast-mod3.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
cast-top-level1.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
cast-top-level2.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
cast-tyvar.rkt check for free-vars in types of casted-exprs (#384) 2016-07-07 14:45:07 -04:00
channel-contract.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
check-expect-fail.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
cl-bug.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
class-contract-1.rkt Fix augment/inner contract generation 2015-02-28 14:02:57 -05:00
cnt-err1.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
cnt-struct-err.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
contract-conversion-error.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
control-test-1.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
control-test-2.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
control-test-3.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
control-test-4.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
control-test-5.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
control-test-6.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
dead-substruct.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
def-val-inv-unit-sig-mismatch.rkt Fix Unit integration tests to match AnyValues in error messages 2015-09-11 15:43:51 -05:00
define-new-subtype.rkt Add error message specifications 2015-08-14 21:42:21 -05:00
define-values-bottom.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
define-zero-values.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
div-0-complex.rkt Avoid suppressing divide-by-0 errors. 2015-11-09 17:16:09 -06:00
div-0-complex2.rkt Actual fix for not suppressing divide-by-0 errors. 2015-11-09 17:16:10 -06:00
dup-ann.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
duplicate-ann.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
dviu-has-imports.rkt Fix Unit integration tests to match AnyValues in error messages 2015-09-11 15:43:51 -05:00
dviu-infer-deps-bad.rkt Initial support for typed units in typed racket. 2015-09-10 16:32:11 -05:00
dviu-infer-fact-no-link.rkt Initial support for typed units in typed racket. 2015-09-10 16:32:11 -05:00
dviu-not-a-unit.rkt Initial support for typed units in typed racket. 2015-09-10 16:32:11 -05:00
dviu-not-subtype.rkt Initial support for typed units in typed racket. 2015-09-10 16:32:11 -05:00
error-pruning1.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
error-pruning2.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
error-pruning3.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
even-odd-recursive-contract.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
explicit-fail.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
extend-untyped-signature.rkt Initial support for typed units in typed racket. 2015-09-10 16:32:11 -05:00
flat-contract-name.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
for-multiple-annotations.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
formal-len-mismatches.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
gadt.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
gh-issue-165.rkt Fix handling of let rhs that don't return 2015-08-11 12:07:27 -04:00
gh-issue-271.rkt Fix GH issue #271 2015-12-18 18:10:48 -05:00
gh-issue-293.rkt Ensure define-typed-struct/exec has a Procedure 2016-01-22 13:43:03 -05:00
gh-issue-342.rkt Avoid internal error on mismatched values 2016-05-09 18:03:17 -04:00
heterogeneous-vector-bad-ann.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
ht-infer.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
inexact-complex.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
infer-dots.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
internal-ann.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
internal-vector-error.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
issue-169-1.rkt remove interning for most Reps in TR 2016-12-16 15:18:50 -05:00
issue-169-2.rkt remove interning for most Reps in TR 2016-12-16 15:18:50 -05:00
issue-215-2.rkt Fix equality handling on literals. 2015-10-20 15:56:07 -04:00
issue-215.rkt Fix equality handling on literals. 2015-10-20 15:56:07 -04:00
let-internal-nameleak.rkt Prevent -let-internal name from leaking to users 2015-07-29 11:07:54 -04:00
log-not-complex.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
make-predicate-mod1.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
make-predicate-mod2.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
make-predicate-top-level1.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
make-predicate-top-level2.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
mandatory-kw.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
member-with-is-equal-argument.rkt Fixes type of member and assoc, plus some tests for them. See github bug #223: “(member) has wrong type, exploiting the hole causes segfault”. 2015-11-09 19:04:02 -05:00
missing-rest-arguments.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
multiple-annotations-define.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
nested-tvars.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
no-setters-for-built-in-structs.rkt Don't assume built-in structs are mutable 2016-05-20 16:55:23 -04:00
non-portable-fixnum-singleton.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
non-productive-rec.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
non-productive-rec2.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
nonnegative-float.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
opaque-object-contract-2.rkt Add a custom object contract for use in TR 2015-03-04 16:26:35 -05:00
opaque-object-contract.rkt Add a custom object contract for use in TR 2015-03-04 16:26:35 -05:00
opaque-overlap.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
other-module-mutation.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
plambda-dup-tvar.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
poly-dup-name.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
poly-expect-error.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
poly-struct-mutable-parent.rkt Restrict struct predicate when parent is mutable 2016-05-20 16:56:49 -04:00
poly-struct-parent.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
poly-struct-parent2.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
poly-struct-parent3.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
polydots-dup-name.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
polymorphic-recursion-2.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
polymorphic-recursion-3.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
polymorphic-recursion-4.rkt Fix polymorphic recursion check for type aliases 2015-08-07 19:05:13 -04:00
polymorphic-recursion.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
port-to-list.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
pr10350.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
pr10594.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
pr10936.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
pr11560.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
pr11686.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
pr11772.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
pr11998.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
pr12706.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
pr12985.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
pr13123.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
pr13209.rkt new representation scheme for typed racket internals 2016-10-21 14:24:27 -04:00
pr13218.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
pr13233-2.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
pr13233-3.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
pr13233-4.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
pr13233.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
pr13274.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
pr13289.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
pr13365-variation-1.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
pr13365-variation-2.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
pr13365-variation-3.rkt Remove redundant values checks 2016-05-09 18:03:17 -04:00
pr13365.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
pr13446.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
pr13448.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
pr13526.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
pr13562.rkt Adjust error message for test 2016-04-07 00:58:09 -04:00
pr13577.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
pr13581.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
pr13588.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
pr13662.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
pr13663.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
pr13664.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
pr13665.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
pr13746.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
pr13815.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
pr13893.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
pr13962.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
pr14121.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
pr14144.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
pr14173.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
pr14246-2.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
pr14246.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
pr14389.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
pr14508.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
pr14544.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
pr14568.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
pr14615.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
pr14973.rkt Handles expansion of internal forms inside splicing-syntax-parameterize 2015-02-21 15:40:23 -05:00
predicate-box.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
procedure-top.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
promise-any.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
promise-delay-name.rkt Don't allow promises created with delay/name as (Promise T). 2015-07-22 14:22:34 -04:00
recursive-type-application.rkt Changed how arguments and other pieces of information are printed, to follow the error message conventions, as suggested by samth in PR #250 . 2016-03-01 15:19:09 -06:00
require-typed-missing.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
require-typed-wrong.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
require-untyped-signature.rkt Raise errors when signatures are not in the signature environment while typechecking 2016-03-12 16:39:39 -06:00
reverse-special.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
rts-prov.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
safe-letrec.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
same-name-struct-type.rkt Better error msg for structs with the same name 2015-02-13 00:10:19 -05:00
same-type-variable-error-msg.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
sandboxed-unsafe-ops.rkt Try removing more limits on this test so it succeeds on Travis. 2016-07-12 10:41:18 -04:00
sealing-contract-1.rkt Add sealing contracts for row polymorphic types 2015-05-13 20:52:32 -04:00
sealing-contract-2.rkt Add sealing contracts for row polymorphic types 2015-05-13 20:52:32 -04:00
sealing-contract-3.rkt Add sealing contracts for row polymorphic types 2015-05-13 20:52:32 -04:00
sealing-contract-4.rkt Add sealing contracts for row polymorphic types 2015-05-13 20:52:32 -04:00
set-struct.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
set-tests.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
signature-escape.rkt Initial support for typed units in typed racket. 2015-09-10 16:32:11 -05:00
single-letrec.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
struct-extra-constructor.rkt Update docs & tests for struct constructor options 2015-12-08 00:33:45 -05:00
struct-provide.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
submod-req-cnt.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
subtype-int-err.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
tc-error-format.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
too-many-errors.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
top-level-srcloc.rkt Fix source location tracking for top-level forms 2015-09-30 17:03:22 -04:00
top-level-unit-and-class.rkt Avoid ignoring class/unit forms at the top-level 2015-10-21 13:33:30 -04:00
type-variable-scope-1.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
type-variable-scope-2.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
type-variable-scope-3.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
unbound-non-reg.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
unbound-type.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
undefined.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
union-or-exclusive.rkt Add test for or/c problem. 2015-11-06 14:35:46 -05:00
unit-contract-missing-init-depends.rkt Initial support for typed units in typed racket. 2015-09-10 16:32:11 -05:00
unit-ctc-init-depends.rkt Initial support for typed units in typed racket. 2015-09-10 16:32:11 -05:00
unit-import-wrong-type.rkt Initial support for typed units in typed racket. 2015-09-10 16:32:11 -05:00
unit-typed-untyped-1.rkt Initial support for typed units in typed racket. 2015-09-10 16:32:11 -05:00
unit-typed-untyped-2.rkt Initial support for typed units in typed racket. 2015-09-10 16:32:11 -05:00
unsafe-struct-parent.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
unsafe-struct.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
untyped-srfi1.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
user-filter-with-bad-index-object.rkt filter -> prop 2016-04-25 18:36:12 -04:00
values-dots.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
values-int-err.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
vector-set-immutable.rkt Avoid misoptimizing vector-set! of immutable vectors. 2016-06-21 18:05:38 -04:00
with-asserts.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
with-asserts2.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
with-asserts3.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
with-type-bug.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
with-type-unregister.rkt unstable/macro-testing -> syntax/macro-testing 2015-08-05 13:13:50 -05:00
with-type1.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
with-type2.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
with-type3.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
wrong-arity.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00