├── .github ├── dependabot.yml └── workflows │ ├── ci.yml │ ├── resyntax-analyze.yml │ ├── resyntax-autofixer.yml │ └── resyntax-submit-review.yml ├── .gitignore ├── LICENSE ├── README.md ├── issue_template.md ├── rfcs ├── 0000-template.md ├── README.md └── text │ ├── 0000-ignore-type-info.md │ ├── 0001-prefab-structs.md │ ├── 0002-typechecking-struct-proper-values.md │ ├── 0003-kind-system.md │ └── 0004-shallow-optional-semantics.md ├── source-syntax ├── info.rkt └── source-syntax.rkt ├── typed-racket-compatibility ├── LICENSE ├── info.rkt ├── typed-scheme │ ├── lang │ │ └── reader.rkt │ ├── main.rkt │ ├── no-check.rkt │ └── no-check │ │ └── lang │ │ └── reader.rkt └── typed │ ├── scheme.rkt │ └── scheme │ ├── base.rkt │ ├── base │ ├── lang │ │ └── reader.rkt │ ├── no-check.rkt │ └── no-check │ │ └── lang │ │ └── reader.rkt │ ├── lang │ └── reader.rkt │ ├── no-check.rkt │ ├── no-check │ └── lang │ │ └── reader.rkt │ └── system.rkt ├── typed-racket-doc ├── LICENSE ├── info.rkt ├── source-syntax │ ├── info.rkt │ └── scribblings │ │ └── source-syntax.scrbl └── typed-racket │ ├── info.rkt │ └── scribblings │ ├── guide │ ├── begin.scrbl │ ├── caveats.scrbl │ ├── more.scrbl │ ├── occurrence.scrbl │ ├── optimization.scrbl │ ├── quick.scrbl │ ├── typed-untyped-interaction.scrbl │ ├── types.scrbl │ └── varargs.scrbl │ ├── internals.txt │ ├── reference │ ├── behavior-of-types.scrbl │ ├── compatibility-languages.scrbl │ ├── experimental.scrbl │ ├── exploring-types.scrbl │ ├── legacy.scrbl │ ├── libraries.scrbl │ ├── no-check.scrbl │ ├── numeric-tower-pict.rkt │ ├── optimization.scrbl │ ├── special-forms.scrbl │ ├── typed-classes.scrbl │ ├── typed-regions.scrbl │ ├── typed-units.scrbl │ ├── types.scrbl │ ├── unsafe.scrbl │ └── utilities.scrbl │ ├── ts-guide.scrbl │ ├── ts-reference.scrbl │ └── utils.rkt ├── typed-racket-lib ├── LICENSE ├── info.rkt ├── typed-racket │ ├── HISTORY.txt │ ├── base-env │ │ ├── ann-inst.rkt │ │ ├── annotate-classes.rkt │ │ ├── base-contracted.rkt │ │ ├── base-env-indexing-abs.rkt │ │ ├── base-env-indexing.rkt │ │ ├── base-env-numeric.rkt │ │ ├── base-env-uncontracted.rkt │ │ ├── base-env.rkt │ │ ├── base-special-env.rkt │ │ ├── base-structs.rkt │ │ ├── base-types-extra.rkt │ │ ├── base-types.rkt │ │ ├── class-clauses.rkt │ │ ├── class-prims.rkt │ │ ├── colon.rkt │ │ ├── env-lang.rkt │ │ ├── extra-env-lang.rkt │ │ ├── extra-procs.rkt │ │ ├── for-clauses.rkt │ │ ├── prims-contract.rkt │ │ ├── prims-lambda.rkt │ │ ├── prims-struct.rkt │ │ ├── prims.rkt │ │ ├── signature-prims.rkt │ │ ├── top-interaction.rkt │ │ ├── type-env-lang.rkt │ │ ├── type-name-error.rkt │ │ └── unit-prims.rkt │ ├── core.rkt │ ├── env │ │ ├── env-req.rkt │ │ ├── env-utils.rkt │ │ ├── global-env.rkt │ │ ├── index-env.rkt │ │ ├── init-envs.rkt │ │ ├── lexical-env.rkt │ │ ├── mvar-env.rkt │ │ ├── row-constraint-env.rkt │ │ ├── scoped-tvar-env.rkt │ │ ├── signature-env.rkt │ │ ├── signature-helper.rkt │ │ ├── struct-name-env.rkt │ │ ├── tvar-env.rkt │ │ ├── type-alias-env.rkt │ │ ├── type-alias-helper.rkt │ │ ├── type-constr-env.rkt │ │ ├── type-env-structs.rkt │ │ └── type-name-env.rkt │ ├── infer │ │ ├── constraint-structs.rkt │ │ ├── constraints.rkt │ │ ├── dmap.rkt │ │ ├── fail.rkt │ │ ├── infer-unit.rkt │ │ ├── infer.rkt │ │ ├── intersect.rkt │ │ ├── promote-demote.rkt │ │ └── signatures.rkt │ ├── info.rkt │ ├── language-info.rkt │ ├── logic │ │ ├── ineq.rkt │ │ └── proves.rkt │ ├── minimal.rkt │ ├── minimal │ │ └── lang │ │ │ └── reader.rkt │ ├── optimizer │ │ ├── apply.rkt │ │ ├── box.rkt │ │ ├── dead-code.rkt │ │ ├── extflonum.rkt │ │ ├── fixnum.rkt │ │ ├── float-complex.rkt │ │ ├── float.rkt │ │ ├── hidden-costs.rkt │ │ ├── list.rkt │ │ ├── logging.rkt │ │ ├── number.rkt │ │ ├── numeric-utils.rkt │ │ ├── optimizer.rkt │ │ ├── pair.rkt │ │ ├── sequence.rkt │ │ ├── string.rkt │ │ ├── struct.rkt │ │ ├── unboxed-let.rkt │ │ ├── unboxed-tables.rkt │ │ ├── utils.rkt │ │ └── vector.rkt │ ├── private │ │ ├── cast-table.rkt │ │ ├── class-literals.rkt │ │ ├── parse-classes.rkt │ │ ├── parse-type.rkt │ │ ├── shallow-rewrite.rkt │ │ ├── syntax-properties.rkt │ │ ├── type-annotation.rkt │ │ ├── type-contract.rkt │ │ ├── user-defined-type-constr.rkt │ │ └── with-types.rkt │ ├── rep │ │ ├── base-type-rep.rkt │ │ ├── base-types.rkt │ │ ├── base-union.rkt │ │ ├── core-rep.rkt │ │ ├── filter-rep.rkt │ │ ├── fme-utils.rkt │ │ ├── free-ids.rkt │ │ ├── free-variance.rkt │ │ ├── numeric-base-types.rkt │ │ ├── object-rep.rkt │ │ ├── prop-rep.rkt │ │ ├── rep-switch.rkt │ │ ├── rep-utils.rkt │ │ ├── type-constr.rkt │ │ ├── type-mask.rkt │ │ ├── type-rep.rkt │ │ └── values-rep.rkt │ ├── standard-inits.rkt │ ├── static-contracts │ │ ├── README │ │ ├── combinators.rkt │ │ ├── combinators │ │ │ ├── any.rkt │ │ │ ├── case-lambda.rkt │ │ │ ├── control.rkt │ │ │ ├── dep-function.rkt │ │ │ ├── derived.rkt │ │ │ ├── exist.rkt │ │ │ ├── function.rkt │ │ │ ├── lengths.rkt │ │ │ ├── name.rkt │ │ │ ├── none.rkt │ │ │ ├── object.rkt │ │ │ ├── parametric.rkt │ │ │ ├── prefab.rkt │ │ │ ├── proposition.rkt │ │ │ ├── simple.rkt │ │ │ ├── struct.rkt │ │ │ ├── structural.rkt │ │ │ ├── symbolic-object.rkt │ │ │ └── unit.rkt │ │ ├── constraints.rkt │ │ ├── equations.rkt │ │ ├── instantiate.rkt │ │ ├── kinds.rkt │ │ ├── optimize.rkt │ │ ├── parametric-check.rkt │ │ ├── structures.rkt │ │ └── terminal.rkt │ ├── tc-setup.rkt │ ├── typecheck │ │ ├── check-below.rkt │ │ ├── check-class-unit.rkt │ │ ├── check-subforms-unit.rkt │ │ ├── check-unit-unit.rkt │ │ ├── def-binding.rkt │ │ ├── error-message.rkt │ │ ├── find-annotation.rkt │ │ ├── integer-refinements.rkt │ │ ├── internal-forms.rkt │ │ ├── possible-domains.rkt │ │ ├── provide-handling.rkt │ │ ├── renamer.rkt │ │ ├── signatures.rkt │ │ ├── tc-app-combined.rkt │ │ ├── tc-app-helper.rkt │ │ ├── tc-app │ │ │ ├── signatures.rkt │ │ │ ├── tc-app-apply.rkt │ │ │ ├── tc-app-contracts.rkt │ │ │ ├── tc-app-eq.rkt │ │ │ ├── tc-app-hetero.rkt │ │ │ ├── tc-app-keywords.rkt │ │ │ ├── tc-app-lambda.rkt │ │ │ ├── tc-app-list.rkt │ │ │ ├── tc-app-main.rkt │ │ │ ├── tc-app-objects.rkt │ │ │ ├── tc-app-special.rkt │ │ │ ├── tc-app-values.rkt │ │ │ └── utils.rkt │ │ ├── tc-apply.rkt │ │ ├── tc-envops.rkt │ │ ├── tc-expr-unit.rkt │ │ ├── tc-expression.rkt │ │ ├── tc-funapp.rkt │ │ ├── tc-if.rkt │ │ ├── tc-lambda-unit.rkt │ │ ├── tc-let-unit.rkt │ │ ├── tc-literal.rkt │ │ ├── tc-metafunctions.rkt │ │ ├── tc-send.rkt │ │ ├── tc-structs.rkt │ │ ├── tc-subst.rkt │ │ ├── tc-toplevel.rkt │ │ ├── toplevel-trampoline.rkt │ │ └── typechecker.rkt │ ├── typed-racket.rkt │ ├── typed-reader.rkt │ ├── types │ │ ├── abbrev.rkt │ │ ├── base-abbrev.rkt │ │ ├── classes.rkt │ │ ├── current-seen.rkt │ │ ├── generalize.rkt │ │ ├── kw-types.rkt │ │ ├── match-expanders.rkt │ │ ├── numeric-predicates.rkt │ │ ├── numeric-tower.rkt │ │ ├── overlap.rkt │ │ ├── path-type.rkt │ │ ├── printer.rkt │ │ ├── prop-ops.rkt │ │ ├── resolve.rkt │ │ ├── signatures.rkt │ │ ├── struct-table.rkt │ │ ├── substitute.rkt │ │ ├── subtract.rkt │ │ ├── subtype.rkt │ │ ├── tc-error.rkt │ │ ├── tc-result.rkt │ │ ├── type-table.rkt │ │ ├── union.rkt │ │ ├── update.rkt │ │ └── utils.rkt │ └── utils │ │ ├── any-wrap.rkt │ │ ├── arm.rkt │ │ ├── class-utils.rkt │ │ ├── disappeared-use.rkt │ │ ├── disarm.rkt │ │ ├── early-return.rkt │ │ ├── eq-contract.rkt │ │ ├── evt-contract.rkt │ │ ├── hash-contract.rkt │ │ ├── identifier.rkt │ │ ├── inspector.rkt │ │ ├── lift.rkt │ │ ├── literal-syntax-class.rkt │ │ ├── mutated-vars.rkt │ │ ├── opaque-object.rkt │ │ ├── plambda-utils.rkt │ │ ├── prefab-c.rkt │ │ ├── prefab.rkt │ │ ├── print-struct.rkt │ │ ├── promise-not-name-contract.rkt │ │ ├── redirect-contract.rkt │ │ ├── require-contract.rkt │ │ ├── sealing-contract.rkt │ │ ├── shallow-contract.rkt │ │ ├── shallow-utils.rkt │ │ ├── simple-result-arrow.rkt │ │ ├── struct-info.rkt │ │ ├── struct-type-c.rkt │ │ ├── stxclass-util.rkt │ │ ├── tarjan.rkt │ │ ├── tc-utils.rkt │ │ ├── timing.rkt │ │ ├── typed-method-property.rkt │ │ ├── unit-utils.rkt │ │ ├── utils.rkt │ │ └── vector-contract.rkt └── typed │ ├── file │ ├── md5.rkt │ ├── sha1.rkt │ └── tar.rkt │ ├── private │ ├── no-check-helper.rkt │ ├── rewriter.rkt │ ├── utils.rkt │ └── wrap.rkt │ ├── racket.rkt │ ├── racket │ ├── base.rkt │ ├── base │ │ ├── deep.rkt │ │ ├── deep │ │ │ └── lang │ │ │ │ └── reader.rkt │ │ ├── lang │ │ │ └── reader.rkt │ │ ├── no-check.rkt │ │ ├── no-check │ │ │ └── lang │ │ │ │ └── reader.rkt │ │ ├── optional.rkt │ │ ├── optional │ │ │ └── lang │ │ │ │ └── reader.rkt │ │ ├── shallow.rkt │ │ └── shallow │ │ │ └── lang │ │ │ └── reader.rkt │ ├── class.rkt │ ├── date.rkt │ ├── deep.rkt │ ├── deep │ │ └── lang │ │ │ └── reader.rkt │ ├── lang │ │ └── reader.rkt │ ├── no-check.rkt │ ├── no-check │ │ └── lang │ │ │ └── reader.rkt │ ├── optional.rkt │ ├── optional │ │ └── lang │ │ │ └── reader.rkt │ ├── shallow.rkt │ ├── shallow │ │ └── lang │ │ │ └── reader.rkt │ ├── system.rkt │ ├── unit.rkt │ └── unsafe.rkt │ └── untyped-utils.rkt ├── typed-racket-more ├── LICENSE ├── info.rkt └── typed │ ├── db.rkt │ ├── db │ ├── base.rkt │ └── sqlite3.rkt │ ├── file │ ├── convertible.rkt │ ├── gif.rkt │ └── glob.rkt │ ├── framework.rkt │ ├── framework │ ├── framework.rkt │ └── prefs-contract.rkt │ ├── images │ ├── compile-time.rkt │ ├── icons.rkt │ └── logos.rkt │ ├── json.rkt │ ├── mred │ └── mred.rkt │ ├── mrlib │ ├── bitmap-label.rkt │ ├── gif.rkt │ └── panel-wob.rkt │ ├── mzlib │ └── pconvert-prop.rkt │ ├── net │ ├── base64.rkt │ ├── cgi.rkt │ ├── cookie.rkt │ ├── cookies.rkt │ ├── cookies │ │ ├── common.rkt │ │ └── server.rkt │ ├── dns.rkt │ ├── ftp.rkt │ ├── gifwrite.rkt │ ├── git-checkout.rkt │ ├── head.rkt │ ├── http-client.rkt │ ├── imap.rkt │ ├── mime.rkt │ ├── nntp.rkt │ ├── pop3.rkt │ ├── qp.rkt │ ├── sendmail.rkt │ ├── sendurl.rkt │ ├── smtp.rkt │ ├── uri-codec.rkt │ ├── url-connect.rkt │ ├── url-structs.rkt │ └── url.rkt │ ├── openssl.rkt │ ├── openssl │ ├── md5.rkt │ ├── sha1.rkt │ └── types.rkt │ ├── pict.rkt │ ├── private │ ├── framework-types.rkt │ └── require-batch.rkt │ ├── racket │ ├── async-channel.rkt │ ├── draw.rkt │ ├── extflonum.rkt │ ├── fasl.rkt │ ├── flonum.rkt │ ├── gui.rkt │ ├── gui │ │ ├── base.rkt │ │ ├── no-check.rkt │ │ └── no-check │ │ │ └── lang │ │ │ └── reader.rkt │ ├── os.rkt │ ├── private │ │ └── gui-types.rkt │ ├── random.rkt │ ├── sandbox.rkt │ └── snip.rkt │ ├── setup │ └── getinfo.rkt │ ├── srfi │ ├── 14.rkt │ └── 19.rkt │ ├── syntax │ ├── modread.rkt │ ├── readerr.rkt │ ├── srcloc.rkt │ └── stx.rkt │ ├── web-server │ ├── configuration │ │ └── responders.rkt │ └── http.rkt │ ├── xml.rkt │ └── xml │ ├── path.rkt │ └── plist.rkt ├── typed-racket-test ├── LICENSE ├── external │ ├── counterexamples.rktd │ ├── fail │ │ ├── define-new-subtype.rkt │ │ └── dummy.rkt │ ├── historical-counterexamples.rkt │ ├── math-typecheck-tests.rkt │ ├── random-real.rkt │ ├── succeed │ │ ├── check-within.rkt │ │ ├── define-new-subtype.rkt │ │ ├── for-last.rkt │ │ ├── new-metrics.rkt │ │ ├── optional-math-untyped-id.rkt │ │ ├── optional-plot-pict.rkt │ │ ├── pr11425.rkt │ │ ├── shallow-for-array.rkt │ │ ├── shallow-in-array.rkt │ │ ├── shallow-math-untyped-id.rkt │ │ └── shallow-plot-pict.rkt │ └── tr-random-testing.rkt ├── fail │ ├── all-bad-syntax.rkt │ ├── ann-map-funcs.rkt │ ├── apply-dots.rkt │ ├── arity-mismatch-struct.rkt │ ├── assert-typecheck-fail.rkt │ ├── assoc-with-is-equal-argument.rkt │ ├── async-channel-contract.rkt │ ├── back-and-forth.rkt │ ├── bad-ann-from-macro-in-unit.rkt │ ├── bad-ann.rkt │ ├── bad-any.rkt │ ├── bad-first.rkt │ ├── bad-hash-ref.rkt │ ├── bad-immutable-hash-ref.rkt │ ├── bad-map-poly.rkt │ ├── bad-prop-procedure1.rkt │ ├── bad-prop-procedure2.rkt │ ├── bad-prop-procedure3.rkt │ ├── bad-prop-procedure4.rkt │ ├── bad-prop-procedure5.rkt │ ├── bad-prop-procedure6.rkt │ ├── bad-prop-procedure7.rkt │ ├── bad-prop-procedure8.rkt │ ├── bad-prop-procedure9.rkt │ ├── bad-struct-prop.rkt │ ├── bad-struct-prop1.rkt │ ├── bad-struct-prop2.rkt │ ├── bad-struct-prop3.rkt │ ├── bad-struct-prop4.rkt │ ├── bad-struct-prop5.rkt │ ├── bad-struct-top.rkt │ ├── bad-type-app.rkt │ ├── bad-variance.rkt │ ├── bind-anyvalues.rkt │ ├── box-fail.rkt │ ├── case-lambda1.rkt │ ├── case-lambda2.rkt │ ├── case-lambda3.rkt │ ├── case-lambda4.rkt │ ├── case-union-subtype.rkt │ ├── cast-mod1.rkt │ ├── cast-mod2.rkt │ ├── cast-mod3.rkt │ ├── cast-top-level1.rkt │ ├── cast-top-level2.rkt │ ├── cast-tyvar.rkt │ ├── channel-contract.rkt │ ├── check-expect-fail.rkt │ ├── cl-bug.rkt │ ├── class-contract-1.rkt │ ├── class-define-srcloc.rkt │ ├── cnt-err1.rkt │ ├── cnt-struct-err.rkt │ ├── contract-conversion-error.rkt │ ├── contract-for-self.rkt │ ├── contract-for-self2.rkt │ ├── control-test-1.rkt │ ├── control-test-2.rkt │ ├── control-test-3.rkt │ ├── control-test-4.rkt │ ├── control-test-5.rkt │ ├── control-test-6.rkt │ ├── cross-module-type-constructor.rkt │ ├── dead-substruct.rkt │ ├── def-val-inv-unit-sig-mismatch.rkt │ ├── define-values-bottom.rkt │ ├── define-zero-values.rkt │ ├── div-0-complex.rkt │ ├── div-0-complex2.rkt │ ├── dup-ann.rkt │ ├── duplicate-ann.rkt │ ├── dviu-has-imports.rkt │ ├── dviu-infer-deps-bad.rkt │ ├── dviu-infer-fact-no-link.rkt │ ├── dviu-not-a-unit.rkt │ ├── dviu-not-subtype.rkt │ ├── error-pruning1.rkt │ ├── error-pruning2.rkt │ ├── error-pruning3.rkt │ ├── even-odd-recursive-contract.rkt │ ├── explicit-fail.rkt │ ├── exported-struct-id-not-type.rkt │ ├── extend-untyped-signature.rkt │ ├── extract-sp-apply-not-self.rkt │ ├── flat-contract-name.rkt │ ├── for-multiple-annotations.rkt │ ├── for-result-bad-ann-1.rkt │ ├── for-result-bad-ann-2.rkt │ ├── for-result-bad-ann-3.rkt │ ├── for-result-bad-ann-4.rkt │ ├── for-vector-bad-ann.rkt │ ├── formal-len-mismatches.rkt │ ├── gadt.rkt │ ├── gh-issue-1007.rkt │ ├── gh-issue-1011.rkt │ ├── gh-issue-1014.rkt │ ├── gh-issue-1041.rkt │ ├── gh-issue-1050.rkt │ ├── gh-issue-165.rkt │ ├── gh-issue-271.rkt │ ├── gh-issue-293.rkt │ ├── gh-issue-342.rkt │ ├── gh-issue-601.rkt │ ├── gh-issue-862.rkt │ ├── gh-issue-944.rkt │ ├── gh-issue-965.rkt │ ├── gh112.rkt │ ├── gh56.rkt │ ├── hash-union.rkt │ ├── heterogeneous-immutable-vector-bad-ann.rkt │ ├── heterogeneous-mutable-vector-bad-ann.rkt │ ├── heterogeneous-vector-bad-ann.rkt │ ├── ht-infer.rkt │ ├── immutable-vector-bad-ann.rkt │ ├── immutable-vectorof-bad-ann.rkt │ ├── inexact-complex.rkt │ ├── infer-dots.rkt │ ├── internal-ann.rkt │ ├── internal-vector-error.rkt │ ├── issue-169-1.rkt │ ├── issue-169-2.rkt │ ├── issue-215-2.rkt │ ├── issue-215.rkt │ ├── let-internal-nameleak.rkt │ ├── log-not-complex.rkt │ ├── make-predicate-mod1.rkt │ ├── make-predicate-mod2.rkt │ ├── make-predicate-top-level1.rkt │ ├── make-predicate-top-level2.rkt │ ├── mandatory-kw.rkt │ ├── many-arity-int-comp.rkt │ ├── match-hash-pattern.rkt │ ├── member-with-is-equal-argument.rkt │ ├── missing-rest-arguments.rkt │ ├── multiple-annotations-define.rkt │ ├── mutable-vector-bad-ann.rkt │ ├── mutable-vectorof-bad-ann.rkt │ ├── nested-tvars.rkt │ ├── new-subtype-overlap.rkt │ ├── no-setters-for-built-in-structs.rkt │ ├── non-portable-fixnum-singleton.rkt │ ├── non-productive-rec.rkt │ ├── non-productive-rec2.rkt │ ├── nonnegative-float.rkt │ ├── opaque-object-contract-2.rkt │ ├── opaque-object-contract.rkt │ ├── opaque-overlap.rkt │ ├── optional │ │ ├── cast-top-level2.rkt │ │ ├── filter.rkt │ │ ├── for.rkt │ │ ├── occurrence-type.rkt │ │ ├── opaque-object-contract-2.rkt │ │ ├── opaque-object-contract.rkt │ │ ├── optional-deep-id-2.rkt │ │ ├── optional-shallow-id-0.rkt │ │ ├── optional-shallow-id-1.rkt │ │ ├── parameter-class.rkt │ │ ├── poly-bad-0.rkt │ │ ├── poly-bad-1.rkt │ │ ├── poly-bad-2.rkt │ │ ├── pr10594.rkt │ │ ├── pr11686.rkt │ │ ├── pr13274.rkt │ │ ├── predicate.rkt │ │ ├── sandboxed-unsafe-ops.rkt │ │ ├── sealing-contract-2.rkt │ │ ├── sealing-contract-3.rkt │ │ ├── values.rkt │ │ ├── with-type1.rkt │ │ └── with-type2.rkt │ ├── other-module-mutation.rkt │ ├── plambda-dup-tvar.rkt │ ├── poly-dup-name.rkt │ ├── poly-expect-error.rkt │ ├── poly-struct-mutable-parent.rkt │ ├── poly-struct-parent.rkt │ ├── poly-struct-parent2.rkt │ ├── poly-struct-parent3.rkt │ ├── polydots-dup-name.rkt │ ├── polymorphic-recursion-2.rkt │ ├── polymorphic-recursion-3.rkt │ ├── polymorphic-recursion-4.rkt │ ├── polymorphic-recursion.rkt │ ├── port-to-list.rkt │ ├── pr10350.rkt │ ├── pr10594.rkt │ ├── pr10936.rkt │ ├── pr10937.rkt │ ├── pr11560.rkt │ ├── pr11686.rkt │ ├── pr11772.rkt │ ├── pr11901.rkt │ ├── pr11998.rkt │ ├── pr12706.rkt │ ├── pr12985.rkt │ ├── pr13123.rkt │ ├── pr13209.rkt │ ├── pr13218.rkt │ ├── pr13233-2.rkt │ ├── pr13233-3.rkt │ ├── pr13233-4.rkt │ ├── pr13233.rkt │ ├── pr13274.rkt │ ├── pr13289.rkt │ ├── pr13365-variation-1.rkt │ ├── pr13365-variation-2.rkt │ ├── pr13365-variation-3.rkt │ ├── pr13365.rkt │ ├── pr13446.rkt │ ├── pr13526.rkt │ ├── pr13562.rkt │ ├── pr13577.rkt │ ├── pr13581.rkt │ ├── pr13588.rkt │ ├── pr13662.rkt │ ├── pr13663.rkt │ ├── pr13664.rkt │ ├── pr13665.rkt │ ├── pr13746.rkt │ ├── pr13815.rkt │ ├── pr13893.rkt │ ├── pr13962.rkt │ ├── pr14121.rkt │ ├── pr14144.rkt │ ├── pr14173.rkt │ ├── pr14246-2.rkt │ ├── pr14246.rkt │ ├── pr14389.rkt │ ├── pr14508.rkt │ ├── pr14544.rkt │ ├── pr14568.rkt │ ├── pr14615.rkt │ ├── pr14973.rkt │ ├── predicate-box.rkt │ ├── procedure-top.rkt │ ├── promise-any.rkt │ ├── promise-delay-name.rkt │ ├── recursive-type-application.rkt │ ├── reexported-require-typed-struct-has-contracts.rkt │ ├── regexp-match-pos-star.rkt │ ├── require-typed-missing.rkt │ ├── require-typed-struct-extra-field.rkt │ ├── require-typed-struct-missing-colon.rkt │ ├── require-typed-struct-missing-field-0.rkt │ ├── require-typed-struct-missing-field-1.rkt │ ├── require-typed-struct-renamed-field.rkt │ ├── require-typed-wrong.rkt │ ├── require-untyped-signature.rkt │ ├── reverse-special.rkt │ ├── rts-prov.rkt │ ├── safe-letrec.rkt │ ├── same-name-struct-type.rkt │ ├── same-type-variable-error-msg.rkt │ ├── sandbox.rkt │ ├── sandboxed-unsafe-ops.rkt │ ├── sealing-contract-1.rkt │ ├── sealing-contract-2.rkt │ ├── sealing-contract-3.rkt │ ├── sealing-contract-4.rkt │ ├── self-outside-sp.rkt │ ├── set-struct.rkt │ ├── set-tests.rkt │ ├── shallow │ │ ├── apply.rkt │ │ ├── cast-mod2.rkt │ │ ├── cast-top-level2.rkt │ │ ├── cast.rkt │ │ ├── class-contract-1.rkt │ │ ├── control-test-3.rkt │ │ ├── define-predicate-all.rkt │ │ ├── filter.rkt │ │ ├── find.rkt │ │ ├── fold.rkt │ │ ├── for.rkt │ │ ├── keyword-mand-opt.rkt │ │ ├── make-predicate-mod1.rkt │ │ ├── nothing.rkt │ │ ├── occurrence-type.rkt │ │ ├── opaque-object-contract-2.rkt │ │ ├── opaque-object-contract.rkt │ │ ├── parameter-class.rkt │ │ ├── poly-bad-0.rkt │ │ ├── poly-bad-1.rkt │ │ ├── poly-bad-2.rkt │ │ ├── poly-bad-3.rkt │ │ ├── pr10350.rkt │ │ ├── pr10594.rkt │ │ ├── pr11686.rkt │ │ ├── pr13274.rkt │ │ ├── pr13446.rkt │ │ ├── pr13662.rkt │ │ ├── pr13664.rkt │ │ ├── pr13665.rkt │ │ ├── pr13815.rkt │ │ ├── pr14173.rkt │ │ ├── predicate-box.rkt │ │ ├── refinements-quicksort.rkt │ │ ├── sandbox.rkt │ │ ├── sandboxed-unsafe-ops.rkt │ │ ├── sealing-contract-1.rkt │ │ ├── sealing-contract-2.rkt │ │ ├── sealing-contract-3.rkt │ │ ├── sealing-contract-4.rkt │ │ ├── shallow-deep-id-2.rkt │ │ ├── struct.rkt │ │ ├── submodule-list-0.rkt │ │ ├── submodule-list-1.rkt │ │ ├── submodule-opaque-0.rkt │ │ ├── submodule-struct-0.rkt │ │ ├── submodule-struct-1.rkt │ │ ├── values.rkt │ │ ├── with-type1.rkt │ │ └── with-type2.rkt │ ├── signature-escape.rkt │ ├── single-letrec.rkt │ ├── spt-untyped-typed-contract.rkt │ ├── spt-untyped-typed-wrong-predicate.rkt │ ├── struct-extra-constructor.rkt │ ├── struct-id-not-type.rkt │ ├── struct-provide.rkt │ ├── struct-type-name-not-constr.rkt │ ├── submod-req-cnt.rkt │ ├── subtype-int-err.rkt │ ├── support-test-submodule.rkt │ ├── tc-error-format.rkt │ ├── too-many-errors.rkt │ ├── top-level-srcloc.rkt │ ├── top-level-unit-and-class.rkt │ ├── type-environment-missing-field.rkt │ ├── type-environment-renamed-field.rkt │ ├── type-variable-scope-1.rkt │ ├── type-variable-scope-2.rkt │ ├── type-variable-scope-3.rkt │ ├── unbound-non-reg.rkt │ ├── unbound-type.rkt │ ├── undefined.rkt │ ├── union-or-exclusive.rkt │ ├── unit-contract-missing-init-depends.rkt │ ├── unit-ctc-init-depends.rkt │ ├── unit-import-wrong-type.rkt │ ├── unit-typed-untyped-1.rkt │ ├── unit-typed-untyped-2.rkt │ ├── unsafe-struct-parent.rkt │ ├── unsafe-struct.rkt │ ├── untyped-srfi1.rkt │ ├── user-filter-with-bad-index-object.rkt │ ├── values-dots.rkt │ ├── values-int-err.rkt │ ├── vector-set-immutable.rkt │ ├── with-asserts.rkt │ ├── with-asserts2.rkt │ ├── with-asserts3.rkt │ ├── with-type-bug.rkt │ ├── with-type-unregister.rkt │ ├── with-type1.rkt │ ├── with-type2.rkt │ ├── with-type3.rkt │ ├── wrong-arity.rkt │ └── wrong-arity2.rkt ├── gui │ └── succeed │ │ ├── gui-contract.rkt │ │ ├── gui-lang.rkt │ │ ├── pr15003.rkt │ │ ├── pr390.rkt │ │ ├── racket-esquire.rkt │ │ ├── require-typed-gui-class.rkt │ │ └── test-tab-augments.rkt ├── info.rkt ├── main.rkt ├── nightly-run.rkt ├── optimizer │ ├── known-bugs.rkt │ ├── missed-optimizations │ │ ├── all-real.rkt │ │ ├── fixnum-no-bound.rkt │ │ ├── fixnum.rkt │ │ ├── float-vector.rkt │ │ ├── mandelbrot.rkt │ │ ├── marketplace-struct.rkt │ │ ├── multi-file1.rkt │ │ ├── multi-file2.rkt │ │ ├── multiple-irritants.rkt │ │ ├── nested-same-kind.rkt │ │ ├── pair.rkt │ │ ├── precision-loss.rkt │ │ ├── real-in-float-expr.rkt │ │ ├── regexp.rkt │ │ ├── sequence.rkt │ │ ├── unary-float.rkt │ │ └── unexpected-complex.rkt │ ├── reset-port.rkt │ ├── run.rkt │ ├── tests │ │ ├── add1.rkt │ │ ├── annotations.rkt │ │ ├── apply-plus.rkt │ │ ├── begin-float.rkt │ │ ├── binary-fixnum.rkt │ │ ├── binary-nonzero-fixnum.rkt │ │ ├── both-if-branches-dead.rkt │ │ ├── bounds-check.rkt │ │ ├── box.rkt │ │ ├── case-arrow.rkt │ │ ├── case-lambda-dead-branch.rkt │ │ ├── complex-exp.rkt │ │ ├── cross-module-struct.rkt │ │ ├── cross-module-struct2.rkt │ │ ├── dead-case-lambda.rkt │ │ ├── dead-else.rkt │ │ ├── dead-inf-comp.rkt │ │ ├── dead-substructs.rkt │ │ ├── dead-then.rkt │ │ ├── define-begin-float.rkt │ │ ├── define-call-float.rkt │ │ ├── define-float.rkt │ │ ├── define-pair.rkt │ │ ├── derived-pair-open-terms.rkt │ │ ├── derived-pair.rkt │ │ ├── derived-pair2.rkt │ │ ├── derived-pair3.rkt │ │ ├── different-langs.rkt │ │ ├── double-float.rkt │ │ ├── drop-pure-pred.rkt │ │ ├── exact-inexact.rkt │ │ ├── expt.rkt │ │ ├── extfl-bounds-check-cs-skip-all.rkt │ │ ├── extflonums-cs-skip-all.rkt │ │ ├── false-huh-dead-code.rkt │ │ ├── fixnum-bounded-expr.rkt │ │ ├── fixnum-comparison.rkt │ │ ├── float-comp.rkt │ │ ├── float-complex-conjugate-top.rkt │ │ ├── float-complex-conjugate.rkt │ │ ├── float-complex-div.rkt │ │ ├── float-complex-fixnum.rkt │ │ ├── float-complex-float-cs-skip.rkt │ │ ├── float-complex-float-div.rkt │ │ ├── float-complex-float-mul.rkt │ │ ├── float-complex-float-small.rkt │ │ ├── float-complex-i-cs-skip.rkt │ │ ├── float-complex-integer.rkt │ │ ├── float-complex-mult.rkt │ │ ├── float-complex-number-mul.rkt │ │ ├── float-complex-parts.rkt │ │ ├── float-complex-parts2.rkt │ │ ├── float-complex-parts3.rkt │ │ ├── float-complex-sin.rkt │ │ ├── float-complex-unary.rkt │ │ ├── float-complex.rkt │ │ ├── float-fun.rkt │ │ ├── float-promotion.rkt │ │ ├── float-real.rkt │ │ ├── flrandom.rkt │ │ ├── flvector-length.rkt │ │ ├── fx-fl.rkt │ │ ├── fx2fl.rkt │ │ ├── gh60.rkt │ │ ├── in-bytes.rkt │ │ ├── in-list.rkt │ │ ├── in-range.rkt │ │ ├── in-string.rkt │ │ ├── in-vector.rkt │ │ ├── in-vector2.rkt │ │ ├── invalid-binary-nonzero-fixnum.rkt │ │ ├── invalid-derived-pair.rkt │ │ ├── invalid-exact-inexact.rkt │ │ ├── invalid-float-comp.rkt │ │ ├── invalid-float-promotion.rkt │ │ ├── invalid-fxquotient.rkt │ │ ├── invalid-inexact-complex-parts.rkt │ │ ├── invalid-log-complex.rkt │ │ ├── invalid-make-flrectangular.rkt │ │ ├── invalid-make-polar.rkt │ │ ├── invalid-mpair.rkt │ │ ├── invalid-sqrt.rkt │ │ ├── invalid-unboxed-let.rkt │ │ ├── invalid-unboxed-let2.rkt │ │ ├── invalid-vector-ref.rkt │ │ ├── invalid-vector-set.rkt │ │ ├── issue-577.rkt │ │ ├── known-length-lists.rkt │ │ ├── known-length-vector-op.rkt │ │ ├── known-vector-length.rkt │ │ ├── let-float.rkt │ │ ├── let-loop-effects.rkt │ │ ├── let-rhs.rkt │ │ ├── list.rkt │ │ ├── literal-int.rkt │ │ ├── magnitude.rkt │ │ ├── make-flrectangular.rkt │ │ ├── make-polar.rkt │ │ ├── maybe-exact-complex.rkt │ │ ├── module-path.rkt │ │ ├── mpair.rkt │ │ ├── multi-flcomp.rkt │ │ ├── n-ary-float-complex.rkt │ │ ├── n-ary-float.rkt │ │ ├── nested-float-complex.rkt │ │ ├── nested-float.rkt │ │ ├── nested-float2.rkt │ │ ├── nested-let-loop.rkt │ │ ├── nested-pair1.rkt │ │ ├── nested-pair2.rkt │ │ ├── nested-unboxed-let.rkt │ │ ├── one-arg-arith.rkt │ │ ├── opt-arg.rkt │ │ ├── pair-fun.rkt │ │ ├── pair-known-length-list.rkt │ │ ├── pr12475.rkt │ │ ├── pr13468.rkt │ │ ├── pr13788.rkt │ │ ├── pr14284.rkt │ │ ├── pr14380.rkt │ │ ├── projections.rkt │ │ ├── quote.rkt │ │ ├── rational-literal.rkt │ │ ├── real-part-loop.rkt │ │ ├── silent-dead-branch.rkt │ │ ├── simple-float.rkt │ │ ├── simple-pair.rkt │ │ ├── sqrt-segfault.rkt │ │ ├── sqrt.rkt │ │ ├── string-length.rkt │ │ ├── structs.rkt │ │ ├── ternary-equality.rkt │ │ ├── unary-fixnum-nested.rkt │ │ ├── unary-fixnum.rkt │ │ ├── unary-float.rkt │ │ ├── unary-minus-float-complex.rkt │ │ ├── unboxed-exp.rkt │ │ ├── unboxed-for.rkt │ │ ├── unboxed-let-constants-fail1.rkt │ │ ├── unboxed-let-constants.rkt │ │ ├── unboxed-let-functions1.rkt │ │ ├── unboxed-let-functions2.rkt │ │ ├── unboxed-let-functions3.rkt │ │ ├── unboxed-let-functions4.rkt │ │ ├── unboxed-let-functions5.rkt │ │ ├── unboxed-let-functions6.rkt │ │ ├── unboxed-let-functions7.rkt │ │ ├── unboxed-let-functions8.rkt │ │ ├── unboxed-let.rkt │ │ ├── unboxed-let2.rkt │ │ ├── unboxed-let3.rkt │ │ ├── unboxed-letrec-syntaxes+values.rkt │ │ ├── unboxed-letrec.rkt │ │ ├── unboxed-make-rectangular.rkt │ │ ├── vector-bounds-check.rkt │ │ ├── vector-chaperone1.rkt │ │ ├── vector-chaperone2.rkt │ │ ├── vector-length-impersonator.rkt │ │ ├── vector-length-nested.rkt │ │ ├── vector-length.rkt │ │ ├── vector-ref-set-ref.rkt │ │ ├── vector-ref.rkt │ │ ├── vector-ref2.rkt │ │ ├── vector-set-quote.rkt │ │ ├── vector-set.rkt │ │ ├── vector-set2.rkt │ │ ├── vector-sum.rkt │ │ ├── with-type.rkt │ │ └── zero.rkt │ └── transform.rkt ├── performance │ ├── function-contract.rkt │ ├── infer-timing.rkt │ ├── module-loading-memory.rkt │ └── module-loading.rkt ├── places.rkt ├── racket-eval-server.rkt ├── run.rkt ├── send-places.rkt ├── succeed │ ├── 2d-typed.rkt │ ├── aliasing-tests.rkt │ ├── andmap.rkt │ ├── annotation-syntax-override.rkt │ ├── annotation-test.rkt │ ├── any-hash.rkt │ ├── any-wrap-list.rkt │ ├── any-wrap.rkt │ ├── apply-append.rkt │ ├── apply-dots-list.rkt │ ├── apply-dots.rkt │ ├── area.rkt │ ├── arrow-star-contracts.rkt │ ├── assoc-with-is-equal-argument.rkt │ ├── at-exp.rkt │ ├── bad-map-infer.rkt │ ├── barland.rkt │ ├── basic-tests.rkt │ ├── batched-queue.scm │ ├── begin0-error.rkt │ ├── binding-alias.rkt │ ├── both-recursive-types.rkt │ ├── box-num.rkt │ ├── broken-let-syntax.rkt │ ├── builtin-type-constr-cross-module.rkt │ ├── call-comp.rkt │ ├── callcc.rkt │ ├── case-arrow-cast-contract.rkt │ ├── case-lambda-rest.rkt │ ├── case-lambda1.rkt │ ├── cast-mod.rkt │ ├── cast-no-check.rkt │ ├── cast-top-level.rkt │ ├── check-env-lang-based-env.rkt │ ├── check-expect.rkt │ ├── cl-bug.rkt │ ├── cl-tests.rkt │ ├── cl.rkt │ ├── class-contract.rkt │ ├── cmdline.rkt │ ├── command-line-ps.rkt │ ├── continuation-mark.rkt │ ├── contract-opt+kw.rkt │ ├── contract-struct-equality.rkt │ ├── cps.rkt │ ├── curry.rkt │ ├── custodian.rkt │ ├── custom-printer.rkt │ ├── cyclic-list.rkt │ ├── datum-to-syntax.rkt │ ├── def-pred.rkt │ ├── define-forward-reference.rkt │ ├── define-new-subtype-function.rkt │ ├── define-new-subtype-infer.rkt │ ├── define-new-subtype-mu-rec.rkt │ ├── define-poly-value.rkt │ ├── define-type-omit-define.rkt │ ├── define-typed-untyped-identifier-syntax-properties.rkt │ ├── define-values-invoke-unit-subtyping.rkt │ ├── dependent-function-type-thunk-prop.rkt │ ├── discrete-dist.rkt │ ├── do.rkt │ ├── dot-intro.rkt │ ├── dotted-identity.rkt │ ├── dotted-identity2.rkt │ ├── dviu-infer-deps-ok.rkt │ ├── dviu-infer-fact.rkt │ ├── dviu-unit-from-context.rkt │ ├── empty-case-arrow.rkt │ ├── empty-or.rkt │ ├── ephemerons.rkt │ ├── even-odd-recursive-type.rkt │ ├── even-odd.rkt │ ├── events-with-async-channel.rkt │ ├── events.rkt │ ├── exceptions.rkt │ ├── exn-any-mutation.rkt │ ├── extract-sp-apply-self.rkt │ ├── fix.rkt │ ├── fixnum.rkt │ ├── float-internal-err.rkt │ ├── flonum.rkt │ ├── flvector.rkt │ ├── fold-left-inst.rkt │ ├── fold-left.rkt │ ├── foldo.rkt │ ├── foo.scm │ ├── for-ann.rkt │ ├── for-hash.rkt │ ├── for-in-range.rkt │ ├── for-list-expansion.rkt │ ├── for-list.rkt │ ├── for-lists.rkt │ ├── for-no-anns.rkt │ ├── for-no-body-anns.rkt │ ├── for-over-hash.rkt │ ├── for-result.rkt │ ├── for-seq.rkt │ ├── for-set.rkt │ ├── for-vector.rkt │ ├── for.rkt │ ├── force-delay.rkt │ ├── format.rkt │ ├── function.rkt │ ├── fx-filter.rkt │ ├── generalize-vectors.rkt │ ├── gh-issue-1020.rkt │ ├── gh-issue-1039.rkt │ ├── gh-issue-1045.rkt │ ├── gh-issue-1079.rkt │ ├── gh-issue-1088.rkt │ ├── gh-issue-1196.rkt │ ├── gh-issue-1201.rkt │ ├── gh-issue-1234.rkt │ ├── gh-issue-1298.rkt │ ├── gh-issue-1320.rkt │ ├── gh-issue-144.rkt │ ├── gh-issue-157.rkt │ ├── gh-issue-163-1.rkt │ ├── gh-issue-163-2.rkt │ ├── gh-issue-164.rkt │ ├── gh-issue-181.rkt │ ├── gh-issue-205.rkt │ ├── gh-issue-214.rkt │ ├── gh-issue-26.rkt │ ├── gh-issue-291.rkt │ ├── gh-issue-304.rkt │ ├── gh-issue-336.rkt │ ├── gh-issue-343.rkt │ ├── gh-issue-366.rkt │ ├── gh-issue-38.rkt │ ├── gh-issue-426.rkt │ ├── gh-issue-43.rkt │ ├── gh-issue-506.rkt │ ├── gh-issue-542.rkt │ ├── gh-issue-691.rkt │ ├── gh-issue-764.rkt │ ├── gh-issue-782.rkt │ ├── gh-issue-829.rkt │ ├── gh-issue-837.rkt │ ├── gh-issue-906.rkt │ ├── gh-issue-930.rkt │ ├── gh-issue-940.rkt │ ├── gh-issue-957.rkt │ ├── gh-issue-973.rkt │ ├── gh-issue-974.rkt │ ├── gh-issue-987.rkt │ ├── hari-vector-bug.rkt │ ├── has-sp-cons.rkt │ ├── hash-contract.rkt │ ├── hash-literal.rkt │ ├── hash-map-try-order.rkt │ ├── hash-ref.rkt │ ├── hash-union.rkt │ ├── hashtabletop-flat-contract.rkt │ ├── het-vec.rkt │ ├── het-vec2.rkt │ ├── ho-box.rkt │ ├── hw01.scm │ ├── icfp-examples.rkt │ ├── if-splitting-test.rkt │ ├── immutable-string-safe.rkt │ ├── in-hash-in-vector-subtype.rkt │ ├── in-vector-range.rkt │ ├── index-of.rkt │ ├── inexact-complex.rkt │ ├── inf-nested-bot.rkt │ ├── infer-dots.rkt │ ├── infer-funargs.rkt │ ├── inst-dots.rkt │ ├── inst-expected.rkt │ ├── int-def-colon.rkt │ ├── integer-contracts.rkt │ ├── internal-contract-check1.rkt │ ├── internal-contract-check2.rkt │ ├── internal-scoped-tvar.rkt │ ├── intersect-no-intersections.rkt │ ├── intersection1.rkt │ ├── issue-166.rkt │ ├── issue-33.rkt │ ├── issue-447.rkt │ ├── issue-598.rkt │ ├── issue-625.rkt │ ├── issue-628.rkt │ ├── issue-807.rkt │ ├── issue-823.rkt │ ├── json-hash.rkt │ ├── keyword-function-order.rkt │ ├── kw-def.rkt │ ├── kw.rkt │ ├── leftist-heap.rkt │ ├── let-no-anns.rkt │ ├── let-partial-annotations.rkt │ ├── let-values-tests.rkt │ ├── lifting-top-level.rkt │ ├── linear-integer-simple.rkt │ ├── list-dots.rkt │ ├── list-ref-vec.rkt │ ├── list-struct-sum.rkt │ ├── literal-char-gh-issue-434.rkt │ ├── literal-regexp-gh-issue-539.rkt │ ├── little-schemer.rkt │ ├── log.rkt │ ├── logic.rkt │ ├── lots-o-bugs.rkt │ ├── macro-in-unit.rkt │ ├── make-font.rkt │ ├── make-predicate-mod.rkt │ ├── make-predicate-top-level.rkt │ ├── make-readtable.rkt │ ├── make-top-predicate.rkt │ ├── mandelbrot.rkt │ ├── manual-examples.rkt │ ├── map-nonempty.rkt │ ├── map1.rkt │ ├── map2.rkt │ ├── match-dots.rkt │ ├── match-dots2.rkt │ ├── match-expander-problem.rkt │ ├── match-hash-pattern.rkt │ ├── match-or.rkt │ ├── match-overlap-unsafe-struct-ref.rkt │ ├── match-tests.rkt │ ├── match.rkt │ ├── member-pred.rkt │ ├── member-with-is-equal-argument.rkt │ ├── memory.rkt │ ├── metrics.rkt │ ├── module-lang.rkt │ ├── module-plus.rkt │ ├── module-repl.rkt │ ├── mpair.rkt │ ├── mu-rec.rkt │ ├── multi-arr-parse.rkt │ ├── mutable-poly-struct.rkt │ ├── mutable-struct-pred.rkt │ ├── namespace-anchor.rkt │ ├── nested-poly.rkt │ ├── no-bound-fl.rkt │ ├── non-recursive-and-recursive-type-aliases.rkt │ ├── nonnegative-float.rkt │ ├── null-program.rkt │ ├── num-equal-filter.rkt │ ├── opaque-non-opaque-contracts-together.rkt │ ├── opaque-object-contract.rkt │ ├── opaque-object-name.rkt │ ├── opaque-object-stronger.rkt │ ├── opt-arg-test.rkt │ ├── opt-lambda.rkt │ ├── optimize-simple.rkt │ ├── optional │ │ ├── accessors.rkt │ │ ├── app-hetero.rkt │ │ ├── async-channel-contract.rkt │ │ ├── bad-vector-ref.rkt │ │ ├── cast-mod.rkt │ │ ├── cast-mod2.rkt │ │ ├── cast.rkt │ │ ├── check-expect.rkt │ │ ├── check-within.rkt │ │ ├── contract-conversion-error.rkt │ │ ├── control-test-3.rkt │ │ ├── control-test-6.rkt │ │ ├── deep-optional-id.rkt │ │ ├── define-syntax.rkt │ │ ├── define-typed-untyped-identifier-syntax-properties.rkt │ │ ├── dotted-identity2.rkt │ │ ├── empty-fun.rkt │ │ ├── ephemerons.rkt │ │ ├── even-odd-recursive-type.rkt │ │ ├── exn-any-mutation.rkt │ │ ├── find.rkt │ │ ├── flonum.rkt │ │ ├── fold.rkt │ │ ├── in-cycle.rkt │ │ ├── keyword-mand-opt.rkt │ │ ├── ll-lambda.rkt │ │ ├── macro.rkt │ │ ├── make-predicate-top-level.rkt │ │ ├── module-client.rkt │ │ ├── module-plus.rkt │ │ ├── module-server.rkt │ │ ├── module-star.rkt │ │ ├── no-bound-fl.rkt │ │ ├── nothing.rkt │ │ ├── object-typed.rkt │ │ ├── object-untyped.rkt │ │ ├── opaque-object.rkt │ │ ├── optional-deep-id-0.rkt │ │ ├── optional-deep-id-1.rkt │ │ ├── optional-provide.rkt │ │ ├── optional-shallow-id-0.rkt │ │ ├── optional-shallow-id-1.rkt │ │ ├── optional-shallow-id-2.rkt │ │ ├── optional-shallow-id-3.rkt │ │ ├── optional-syntax.rkt │ │ ├── poly-bad-3.rkt │ │ ├── poly-ref.rkt │ │ ├── poly-require-typed.rkt │ │ ├── pr10350.rkt │ │ ├── pr12913.rkt │ │ ├── pr13747.rkt │ │ ├── pr226-variation-2.rkt │ │ ├── pr226-variation-3.rkt │ │ ├── prefab-field-provide.rkt │ │ ├── prefab.rkt │ │ ├── procedure-top.rkt │ │ ├── promise-any.rkt │ │ ├── prompt-tag.rkt │ │ ├── provide-struct.rkt │ │ ├── sequenceof-integer.rkt │ │ ├── shallow-optional-id.rkt │ │ ├── struct-match-0.rkt │ │ ├── struct-match-1.rkt │ │ ├── submodule-list-0.rkt │ │ ├── submodule-list-1.rkt │ │ ├── submodule-opaque-0.rkt │ │ ├── submodule-optional.rkt │ │ ├── submodule-struct-0.rkt │ │ ├── submodule-struct-1.rkt │ │ ├── submodule.rkt │ │ ├── subst-poly-dots.rkt │ │ ├── toplevel-redefinition.rkt │ │ ├── typed-provide.rkt │ │ ├── typed-untyped-id.rkt │ │ ├── untyped-struct-properties-with-self.rkt │ │ ├── val-ctc-test.rkt │ │ └── with-type.rkt │ ├── or-sym.rkt │ ├── overloading.rkt │ ├── pair-test.rkt │ ├── pair-test2.rkt │ ├── pair-test3.rkt │ ├── param.rkt │ ├── parameter-c.rkt │ ├── parameter-proc.rkt │ ├── parametric-require-tr-base.rkt │ ├── parse-path.rkt │ ├── patch.rkt │ ├── path-order.rkt │ ├── paths.rkt │ ├── pathstrings.rkt │ ├── pict.rkt │ ├── places-helper.rkt │ ├── places.rkt │ ├── poly-apply.rkt │ ├── poly-dots.rkt │ ├── poly-lists.rkt │ ├── poly-ret-ann.rkt │ ├── poly-same-annotation.rkt │ ├── poly-simple-contract.rkt │ ├── poly-struct-parent.rkt │ ├── poly-struct-pred.rkt │ ├── poly-struct-union.rkt │ ├── poly-struct.rkt │ ├── poly-subtype.rkt │ ├── poly-tests.rkt │ ├── ports.rkt │ ├── pr10057.rkt │ ├── pr10318.rkt │ ├── pr10319.rkt │ ├── pr10342.rkt │ ├── pr10470.rkt │ ├── pr10552.rkt │ ├── pr10562.rkt │ ├── pr10718+10755.rkt │ ├── pr10729.rkt │ ├── pr10765.rkt │ ├── pr10939.rkt │ ├── pr11099.rkt │ ├── pr11171.rkt │ ├── pr11172.rkt │ ├── pr11193.rkt │ ├── pr11194.rkt │ ├── pr11314.rkt │ ├── pr11390.rkt │ ├── pr11392.rkt │ ├── pr11504.rkt │ ├── pr11509.rkt │ ├── pr11532.rkt │ ├── pr11545+11776.rkt │ ├── pr11560.rkt │ ├── pr11578.rkt │ ├── pr11617.rkt │ ├── pr11669.rkt │ ├── pr11686.rkt │ ├── pr11709.rkt │ ├── pr11728.rkt │ ├── pr11747.rkt │ ├── pr11756.rkt │ ├── pr11859.rkt │ ├── pr11866.rkt │ ├── pr11887.rkt │ ├── pr11897.rkt │ ├── pr11912.rkt │ ├── pr11971.rkt │ ├── pr12224.rkt │ ├── pr12644.rkt │ ├── pr12678.rkt │ ├── pr12806.rkt │ ├── pr12807.rkt │ ├── pr12905.rkt │ ├── pr12913.rkt │ ├── pr1294.rkt │ ├── pr12970.rkt │ ├── pr12974.rkt │ ├── pr13094.rkt │ ├── pr13124.rkt │ ├── pr13155.rkt │ ├── pr13160.rkt │ ├── pr13161.rkt │ ├── pr13185.rkt │ ├── pr13326.rkt │ ├── pr13339.rkt │ ├── pr13412.rkt │ ├── pr13464.rkt │ ├── pr13464.rktl │ ├── pr13490.rkt │ ├── pr13503.rkt │ ├── pr13576.rkt │ ├── pr13584.rkt │ ├── pr13646.rkt │ ├── pr13691.rkt │ ├── pr13710.rkt │ ├── pr13747.rkt │ ├── pr13821.rkt │ ├── pr13870.rkt │ ├── pr13901.rkt │ ├── pr13937.rkt │ ├── pr14138.rkt │ ├── pr14217.rkt │ ├── pr14355.rkt │ ├── pr14364.rkt │ ├── pr14374.rkt │ ├── pr14458.rkt │ ├── pr14463.rkt │ ├── pr14521.rkt │ ├── pr14567.rkt │ ├── pr14568.rkt │ ├── pr14582.rkt │ ├── pr14587.rkt │ ├── pr14702.rkt │ ├── pr14823.rkt │ ├── pr14828.rkt │ ├── pr14829.rkt │ ├── pr14896.rkt │ ├── pr14997.rkt │ ├── pr15026-a.rkt │ ├── pr15026-b.rkt │ ├── pr15144.rkt │ ├── pr15330.rkt │ ├── pr226-variation-1.rkt │ ├── pr226-variation-2.rkt │ ├── pr226-variation-3.rkt │ ├── pr241-variation-0.rkt │ ├── pr241-variation-1.rkt │ ├── pr241-variation-2.rkt │ ├── pr241-variation-3.rkt │ ├── pr241-variation-5.rkt │ ├── pr267-variation-0.rkt │ ├── pr390-variation-1.rkt │ ├── pr390-variation-2.rkt │ ├── pr390-variation-3.rkt │ ├── pr390-variation-4.rkt │ ├── pr390-variation-5.rkt │ ├── pr390-variation-6.rkt │ ├── pr390-variation-7.rkt │ ├── pr403.rkt │ ├── pr468-in-query.rkt │ ├── pr476-compile-time-images.rkt │ ├── pr575-variation-0.rkt │ ├── pr575-variation-1.rkt │ ├── pr575-variation-2.rkt │ ├── pr575-variation-3.rkt │ ├── pr575-variation-4.rkt │ ├── pr575-variation-5.rkt │ ├── pr9043.rkt │ ├── pr9046.rkt │ ├── pr9048.rkt │ ├── pr9053-2.rkt │ ├── pr9053.rkt │ ├── pr9054.rkt │ ├── pr907-non-relative.rkt │ ├── pr907.rkt │ ├── pr950-magnitude.rkt │ ├── pr953-in-xvector.rkt │ ├── prefab-field-provide.rkt │ ├── prefab.rkt │ ├── priority-queue.scm │ ├── procedure-top.rkt │ ├── promise-provide-generate-contract.rkt │ ├── promise.rkt │ ├── prompt-tag-contract.rkt │ ├── prompt-tag.rkt │ ├── prop-procedure.rkt │ ├── provide-alias-omit-define.rkt │ ├── provide-case-rest.rkt │ ├── provide-for-meta.rkt │ ├── provide-poly-struct.rkt │ ├── provide-sexp.rkt │ ├── provide-struct-untyped.rkt │ ├── provide-struct.rkt │ ├── provide-syntax.rkt │ ├── racket-struct.rkt │ ├── rackunit-suite.rkt │ ├── rackunit.rkt │ ├── random-bits.rkt │ ├── rec-het-vec-infer.rkt │ ├── rec-type-alias-variance.rkt │ ├── rec-types.rkt │ ├── recursive-type-alias-terminates.rkt │ ├── recursive-type-alias-top-level.rkt │ ├── recursive-type-constr-contract.rkt │ ├── refinement-even.rkt │ ├── refinements-and-aliases.rkt │ ├── refinements-expected-type1.rkt │ ├── refinements-quicksort.rkt │ ├── regexp-match-kw.rkt │ ├── req-type-sub.rkt │ ├── require-poly.rkt │ ├── require-procedure.rkt │ ├── require-signature-all-typed.rkt │ ├── require-struct.rkt │ ├── require-substruct.rkt │ ├── require-tests.rkt │ ├── require-typed-contravariant-filter.rkt │ ├── require-typed-no-check.rkt │ ├── require-typed-on-typed-module.rkt │ ├── require-typed-parse.rkt │ ├── require-typed-rename.rkt │ ├── require-typed-struct-contract.rkt │ ├── require-typed-struct-custom-type.rkt │ ├── require-typed-struct-info.rkt │ ├── require-typed-struct-regexp.rkt │ ├── rest-star-hash-examples.rkt │ ├── richard-bugs.rkt │ ├── runtime-path.rkt │ ├── safe-letrec.rkt │ ├── safe-vector-base.rkt │ ├── safe-vector-untyped.rkt │ ├── safe-vector.rkt │ ├── scoped-type-vars.rkt │ ├── scratch.rkt │ ├── sealing-contract-1.rkt │ ├── sealing-contract-2.rkt │ ├── sealing-contract-3.rkt │ ├── seasoned-schemer.rkt │ ├── send.rkt │ ├── sequence-cnt.rkt │ ├── sequenceof-integer.rkt │ ├── sequences.rkt │ ├── set-contract.rkt │ ├── set.rkt │ ├── shallow │ │ ├── accessors.rkt │ │ ├── alias.rkt │ │ ├── ann-inst.rkt │ │ ├── app-hetero.rkt │ │ ├── apply-append.rkt │ │ ├── apply-dots-list.rkt │ │ ├── apply.rkt │ │ ├── async-channel-contract.rkt │ │ ├── bad-typed-identifier.rkt │ │ ├── bad-vector-ref.rkt │ │ ├── caar.rkt │ │ ├── call-comp.rkt │ │ ├── case-lambda-rest.rkt │ │ ├── case-lambda.rkt │ │ ├── cast-mod.rkt │ │ ├── cast-top-level.rkt │ │ ├── channel-contract.rkt │ │ ├── check-expect.rkt │ │ ├── check-within.rkt │ │ ├── cl-bug.rkt │ │ ├── contract-conversion-error.rkt │ │ ├── control-test-3.rkt │ │ ├── control-test-6.rkt │ │ ├── dead-code-values.rkt │ │ ├── deep-shallow-id-0.rkt │ │ ├── deep-shallow-id-1.rkt │ │ ├── deep-with-type.rkt │ │ ├── define-syntax.rkt │ │ ├── define-typed-untyped-identifier-syntax-properties.rkt │ │ ├── distinguish-source.rkt │ │ ├── do.rkt │ │ ├── dotted-identity.rkt │ │ ├── dotted-identity2.rkt │ │ ├── dungeon-main.rkt │ │ ├── empty-case-arrow.rkt │ │ ├── empty-fun.rkt │ │ ├── empty-or.rkt │ │ ├── ephemerons.rkt │ │ ├── even-odd-recursive-contract.rkt │ │ ├── even-odd-recursive-type.rkt │ │ ├── exn-any-mutation.rkt │ │ ├── factorial.rkt │ │ ├── flonum.rkt │ │ ├── fold-left-inst.rkt │ │ ├── fold-left.rkt │ │ ├── gh-issue-336.rkt │ │ ├── hello.rkt │ │ ├── in-cycle.rkt │ │ ├── intersection1.rkt │ │ ├── issue-598.rkt │ │ ├── issue-625.rkt │ │ ├── keyword-opt-mand.rkt │ │ ├── lambda-allvar.rkt │ │ ├── lambda-subtype.rkt │ │ ├── lambda.rkt │ │ ├── lifting-top-level.rkt │ │ ├── list-dots.rkt │ │ ├── list-ref.rkt │ │ ├── literal-regexp-gh-issue-539.rkt │ │ ├── ll-lambda.rkt │ │ ├── lots-o-bugs.rkt │ │ ├── make-hasheq.rkt │ │ ├── make-predicate-top-level.rkt │ │ ├── mandelbrot.rkt │ │ ├── match-define.rkt │ │ ├── method-default.rkt │ │ ├── module-client.rkt │ │ ├── module-lang.rkt │ │ ├── module-plus.rkt │ │ ├── module-server.rkt │ │ ├── module-star.rkt │ │ ├── nested-poly.rkt │ │ ├── new-metrics.rkt │ │ ├── no-bound-fl.rkt │ │ ├── object-typed.rkt │ │ ├── object-untyped.rkt │ │ ├── opaque-object.rkt │ │ ├── pict.rkt │ │ ├── poly-apply.rkt │ │ ├── poly-dots.rkt │ │ ├── poly-ref.rkt │ │ ├── poly-require-typed.rkt │ │ ├── poly-union.rkt │ │ ├── pr11545+11776.rkt │ │ ├── pr11669.rkt │ │ ├── pr12913.rkt │ │ ├── pr13503.rkt │ │ ├── pr13576.rkt │ │ ├── pr13747.rkt │ │ ├── pr14138.rkt │ │ ├── pr226-variation-2.rkt │ │ ├── pr226-variation-3.rkt │ │ ├── pr241-variation-1.rkt │ │ ├── pr241-variation-5.rkt │ │ ├── pr390-variation-4.rkt │ │ ├── pr476-compile-time-images.rkt │ │ ├── prefab-field-provide.rkt │ │ ├── prefab.rkt │ │ ├── primitives.rkt │ │ ├── procedure-top.rkt │ │ ├── promise-any.rkt │ │ ├── prompt-tag.rkt │ │ ├── provide-struct.rkt │ │ ├── qmap.rkt │ │ ├── rackunit-suite.rkt │ │ ├── rec-factorial.rkt │ │ ├── recursive-type-alias-top-level.rkt │ │ ├── rest-star-hash-examples.rkt │ │ ├── scoped-type-vars.rkt │ │ ├── scribble-example.rkt │ │ ├── send-no-type.rkt │ │ ├── sequence.rkt │ │ ├── sequenceof-integer.rkt │ │ ├── sequences.rkt │ │ ├── shallow-contract.rkt │ │ ├── shallow-deep-id-0.rkt │ │ ├── shallow-deep-id-1.rkt │ │ ├── shallow-deep-id-2.rkt │ │ ├── shallow-deep-id-3.rkt │ │ ├── shallow-provide.rkt │ │ ├── shallow-syntax.rkt │ │ ├── simple-object.rkt │ │ ├── struct-match-0.rkt │ │ ├── struct-match-1.rkt │ │ ├── struct.rkt │ │ ├── stx-cdr.rkt │ │ ├── stx.rkt │ │ ├── submodule-list-0.rkt │ │ ├── submodule-list-1.rkt │ │ ├── submodule-opaque-0.rkt │ │ ├── submodule-opaque-1.rkt │ │ ├── submodule-shallow.rkt │ │ ├── submodule-struct-0.rkt │ │ ├── submodule-struct-1.rkt │ │ ├── submodule.rkt │ │ ├── subst-poly-dots.rkt │ │ ├── tc-app-list.rkt │ │ ├── tc-app-special.rkt │ │ ├── test-case.rkt │ │ ├── test2.rkt │ │ ├── top-level-begin-for-syntax.rkt │ │ ├── top-level-begin.rkt │ │ ├── top-level-make-predicate.rkt │ │ ├── toplevel-redefinition.rkt │ │ ├── type-printer-single-level.rkt │ │ ├── typed-provide.rkt │ │ ├── typed-untyped-id.rkt │ │ ├── untyped-contract-aux │ │ │ ├── lib.rkt │ │ │ └── untyped.rkt │ │ ├── untyped-contract-deep.rkt │ │ ├── untyped-contract-optional.rkt │ │ ├── untyped-contract-shallow.rkt │ │ ├── untyped-struct-properties-with-self.rkt │ │ ├── val-ctc-test.rkt │ │ ├── values-dots-result.rkt │ │ ├── values-dots.rkt │ │ ├── vector-ref.rkt │ │ ├── with-input-from-file.rkt │ │ ├── with-syntax.rkt │ │ ├── with-type-bug.rkt │ │ ├── with-type-lift.rkt │ │ ├── with-type-typed-context-flag.rkt │ │ ├── with-type.rkt │ │ ├── with-type3.rkt │ │ └── zordoz-opt.rkt │ ├── simple-fake-or.rkt │ ├── simple-implies.rkt │ ├── simple-kw-app.rkt │ ├── simple-occurr.rkt │ ├── simple-or.rkt │ ├── simple-poly.rkt │ ├── simple-unit-scope.rkt │ ├── single-flonum.rkt │ ├── slow-check.rkt │ ├── slow-parser.rkt │ ├── somesystempath.rkt │ ├── sort-infer.rkt │ ├── standard-features-base.rkt │ ├── standard-features-no-check-base.rkt │ ├── standard-features-no-check-gui.rkt │ ├── standard-features-no-check-scheme-base.rkt │ ├── standard-features-no-check-scheme.rkt │ ├── standard-features-no-check-ts.rkt │ ├── standard-features-no-check.rkt │ ├── standard-features-scheme-base.rkt │ ├── standard-features-scheme.rkt │ ├── standard-features-ts.rkt │ ├── standard-features.rkt │ ├── star-sizes.rkt │ ├── static-contract-equality-tests.rkt │ ├── stream.rkt │ ├── string-const.rkt │ ├── struct-cert.rkt │ ├── struct-constructors.rkt │ ├── struct-custom-type.rkt │ ├── struct-exec.rkt │ ├── struct-inheritance-through-exported-macro.rkt │ ├── struct-mutable-contract.rkt │ ├── struct-mutable.rkt │ ├── struct-no-colon.rkt │ ├── struct-options.rkt │ ├── struct-out-with-exported-type-name.rkt │ ├── struct-out.rkt │ ├── struct-path-update.rkt │ ├── struct-procedure-kw.rkt │ ├── struct-props.rkt │ ├── struct-struct-out.rkt │ ├── struct-top-recursive.rkt │ ├── struct-type-contract.rkt │ ├── struct-update.rkt │ ├── structs-across-modules.rkt │ ├── structs-has-subtype.rkt │ ├── structs-variance.rkt │ ├── structs-variance2.rkt │ ├── structs-variance3.rkt │ ├── stx.rkt │ ├── submod-vector.rkt │ ├── submodules.rkt │ ├── subst-poly-dots.rkt │ ├── take5-typecheck.rkt │ ├── test-child-field.rkt │ ├── test-spt-typed-untyped.rkt │ ├── test-struct-info.rkt │ ├── test.rkt │ ├── test2.rkt │ ├── threads-and-async-channels.rkt │ ├── threads-and-channels.rkt │ ├── time.rkt │ ├── top-level-begin-for-syntax.rkt │ ├── top-level-begin.rkt │ ├── top-level-make-predicate.rkt │ ├── toplevel-redefinition.rkt │ ├── tr-evt.rkt │ ├── treelist-contract.rkt │ ├── treelist.rkt │ ├── type-alias-omit-define-syntaxes.rkt │ ├── type-alias-rec-struct.rkt │ ├── type-constr-contract.rkt │ ├── type-environment.rkt │ ├── type-name-struct-c.rkt │ ├── type-printer-single-level.rkt │ ├── type-variable-scope.rkt │ ├── typeann-letrec.rkt │ ├── typed-list.rkt │ ├── typed-scheme-no-check-arrow.rkt │ ├── unicode-aliases.rkt │ ├── unit-3x-2.rkt │ ├── unit-3x.rkt │ ├── unit-non-prefix-annotation.rkt │ ├── unit-syntax-rule-with-annotation.rkt │ ├── unit-typed-untyped-compound-1.rkt │ ├── unit-typed-untyped-compound-2.rkt │ ├── unit-typed-untyped-values.rkt │ ├── units-no-sigs.rkt │ ├── unquoted-printing-string.rkt │ ├── unsafe-provide-struct.rkt │ ├── unsafe-provide.rkt │ ├── unsafe-reprovide.rkt │ ├── unsafe-require-poly-struct.rkt │ ├── unsafe-require-top-level.rkt │ ├── unsafe-require.rkt │ ├── unsafe-struct-parent.rkt │ ├── unsafe-struct.rkt │ ├── untyped-submod.rkt │ ├── user-defined-sp.rkt │ ├── values-dots-result.rkt │ ├── values-dots.rkt │ ├── values-dots2.rkt │ ├── values-object.rkt │ ├── varargs-tests.rkt │ ├── variance-test.rkt │ ├── vec-len-in-struct-fld.rkt │ ├── vec-tests.rkt │ ├── vector-chap.rkt │ ├── vector-contract.rkt │ ├── vector-sort.rkt │ ├── vector-union.rkt │ ├── vectortop-flat-contract.rkt │ ├── with-asserts.rkt │ ├── with-handlers-rest-arg.rkt │ ├── with-handlers-star.rkt │ ├── with-handlers.rkt │ ├── with-linear-integer-arith.rkt │ ├── with-linear-integer-arith2.rkt │ ├── with-syntax.rkt │ ├── with-type-lift.rkt │ ├── with-type-typed-context-flag.rkt │ ├── with-type.rkt │ └── zero-arg-poly.rkt ├── test-docs-complete.rkt ├── unit-tests │ ├── all-tests.rkt │ ├── check-below-tests.rkt │ ├── class-tests.rkt │ ├── class-util-tests.rkt │ ├── contract-tests.rkt │ ├── evaluator.rkt │ ├── generalize-tests.rkt │ ├── inequalities.rkt │ ├── infer-tests.rkt │ ├── init-env-tests.rkt │ ├── interactive-tests.rkt │ ├── json-tests.rkt │ ├── keyword-expansion-test.rkt │ ├── metafunction-tests.rkt │ ├── parse-type-tests.rkt │ ├── prefab-tests.rkt │ ├── prims-tests.rkt │ ├── prop-tests.rkt │ ├── remove-intersect-tests.rkt │ ├── shallow-rewrite-expansion │ │ ├── base-env-numeric.rkt │ │ ├── call-with-values.rkt │ │ ├── case-lambda.rkt │ │ ├── cdr.rkt │ │ ├── default-continuation-prompt-tag.rkt │ │ ├── for.rkt │ │ ├── list.rkt │ │ ├── main.rkt │ │ ├── object-private.rkt │ │ ├── parameter.rkt │ │ ├── predicate.rkt │ │ ├── struct-predicate.rkt │ │ ├── type-annotation.rkt │ │ ├── typed-framework.rkt │ │ ├── typed-gui-base.rkt │ │ ├── typed-pict.rkt │ │ └── typed-stx.rkt │ ├── special-env-typecheck-tests.rkt │ ├── static-contract-conversion-tests.rkt │ ├── static-contract-instantiate-tests.rkt │ ├── static-contract-optimizer-tests.rkt │ ├── subst-tests.rkt │ ├── subtype-tests.rkt │ ├── test-utils.rkt │ ├── tooltip-tests.rkt │ ├── type-alias-helper.rkt │ ├── type-constr-tests.rkt │ ├── type-equal-tests.rkt │ ├── type-printer-tests.rkt │ ├── typecheck-tests.rkt │ ├── typed-units-tests.rkt │ └── xml-tests.rkt ├── with-tr-contracts.rkt └── xfail │ ├── ann-map-funcs.rkt │ ├── applicative.rkt │ ├── apply-map-bug.rkt │ ├── cl-expected.rkt │ ├── exn-any.rkt │ ├── expectations.rkt │ ├── fact-unit.rkt │ ├── for-inference.rkt │ ├── inst+special-case.rkt │ ├── internal-typed-submod.rkt │ ├── opt-lambda.rkt │ ├── pr10618.rkt │ ├── pr241-variation-4.rkt │ ├── priority-queue.scm │ ├── rec-contract.rkt │ ├── typed-language-require.rkt │ ├── unholy-terror.rkt │ └── xmodule-mutation.rkt └── typed-racket ├── LICENSE └── info.rkt /.github/dependabot.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/.github/dependabot.yml -------------------------------------------------------------------------------- /.github/workflows/ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/.github/workflows/ci.yml -------------------------------------------------------------------------------- /.github/workflows/resyntax-analyze.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/.github/workflows/resyntax-analyze.yml -------------------------------------------------------------------------------- /.github/workflows/resyntax-autofixer.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/.github/workflows/resyntax-autofixer.yml -------------------------------------------------------------------------------- /.github/workflows/resyntax-submit-review.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/.github/workflows/resyntax-submit-review.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/README.md -------------------------------------------------------------------------------- /issue_template.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/issue_template.md -------------------------------------------------------------------------------- /rfcs/0000-template.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/rfcs/0000-template.md -------------------------------------------------------------------------------- /rfcs/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/rfcs/README.md -------------------------------------------------------------------------------- /rfcs/text/0000-ignore-type-info.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/rfcs/text/0000-ignore-type-info.md -------------------------------------------------------------------------------- /rfcs/text/0001-prefab-structs.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/rfcs/text/0001-prefab-structs.md -------------------------------------------------------------------------------- /rfcs/text/0003-kind-system.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/rfcs/text/0003-kind-system.md -------------------------------------------------------------------------------- /rfcs/text/0004-shallow-optional-semantics.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/rfcs/text/0004-shallow-optional-semantics.md -------------------------------------------------------------------------------- /source-syntax/info.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/source-syntax/info.rkt -------------------------------------------------------------------------------- /source-syntax/source-syntax.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/source-syntax/source-syntax.rkt -------------------------------------------------------------------------------- /typed-racket-compatibility/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-compatibility/LICENSE -------------------------------------------------------------------------------- /typed-racket-compatibility/info.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-compatibility/info.rkt -------------------------------------------------------------------------------- /typed-racket-compatibility/typed/scheme.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-compatibility/typed/scheme.rkt -------------------------------------------------------------------------------- /typed-racket-compatibility/typed/scheme/system.rkt: -------------------------------------------------------------------------------- 1 | #lang s-exp typed/private/wrap scheme/system 2 | -------------------------------------------------------------------------------- /typed-racket-doc/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-doc/LICENSE -------------------------------------------------------------------------------- /typed-racket-doc/info.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-doc/info.rkt -------------------------------------------------------------------------------- /typed-racket-doc/source-syntax/info.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-doc/source-syntax/info.rkt -------------------------------------------------------------------------------- /typed-racket-doc/typed-racket/info.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-doc/typed-racket/info.rkt -------------------------------------------------------------------------------- /typed-racket-lib/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-lib/LICENSE -------------------------------------------------------------------------------- /typed-racket-lib/info.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-lib/info.rkt -------------------------------------------------------------------------------- /typed-racket-lib/typed-racket/HISTORY.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-lib/typed-racket/HISTORY.txt -------------------------------------------------------------------------------- /typed-racket-lib/typed-racket/core.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-lib/typed-racket/core.rkt -------------------------------------------------------------------------------- /typed-racket-lib/typed-racket/env/env-req.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-lib/typed-racket/env/env-req.rkt -------------------------------------------------------------------------------- /typed-racket-lib/typed-racket/env/mvar-env.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-lib/typed-racket/env/mvar-env.rkt -------------------------------------------------------------------------------- /typed-racket-lib/typed-racket/env/tvar-env.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-lib/typed-racket/env/tvar-env.rkt -------------------------------------------------------------------------------- /typed-racket-lib/typed-racket/infer/dmap.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-lib/typed-racket/infer/dmap.rkt -------------------------------------------------------------------------------- /typed-racket-lib/typed-racket/infer/fail.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-lib/typed-racket/infer/fail.rkt -------------------------------------------------------------------------------- /typed-racket-lib/typed-racket/infer/infer.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-lib/typed-racket/infer/infer.rkt -------------------------------------------------------------------------------- /typed-racket-lib/typed-racket/info.rkt: -------------------------------------------------------------------------------- 1 | #lang info 2 | 3 | (define release-note-files '(("Typed Racket" "HISTORY.txt"))) 4 | -------------------------------------------------------------------------------- /typed-racket-lib/typed-racket/logic/ineq.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-lib/typed-racket/logic/ineq.rkt -------------------------------------------------------------------------------- /typed-racket-lib/typed-racket/logic/proves.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-lib/typed-racket/logic/proves.rkt -------------------------------------------------------------------------------- /typed-racket-lib/typed-racket/minimal.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-lib/typed-racket/minimal.rkt -------------------------------------------------------------------------------- /typed-racket-lib/typed-racket/rep/core-rep.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-lib/typed-racket/rep/core-rep.rkt -------------------------------------------------------------------------------- /typed-racket-lib/typed-racket/rep/free-ids.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-lib/typed-racket/rep/free-ids.rkt -------------------------------------------------------------------------------- /typed-racket-lib/typed-racket/rep/prop-rep.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-lib/typed-racket/rep/prop-rep.rkt -------------------------------------------------------------------------------- /typed-racket-lib/typed-racket/rep/type-rep.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-lib/typed-racket/rep/type-rep.rkt -------------------------------------------------------------------------------- /typed-racket-lib/typed-racket/tc-setup.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-lib/typed-racket/tc-setup.rkt -------------------------------------------------------------------------------- /typed-racket-lib/typed-racket/typed-racket.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-lib/typed-racket/typed-racket.rkt -------------------------------------------------------------------------------- /typed-racket-lib/typed-racket/typed-reader.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-lib/typed-racket/typed-reader.rkt -------------------------------------------------------------------------------- /typed-racket-lib/typed-racket/types/abbrev.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-lib/typed-racket/types/abbrev.rkt -------------------------------------------------------------------------------- /typed-racket-lib/typed-racket/types/union.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-lib/typed-racket/types/union.rkt -------------------------------------------------------------------------------- /typed-racket-lib/typed-racket/types/update.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-lib/typed-racket/types/update.rkt -------------------------------------------------------------------------------- /typed-racket-lib/typed-racket/types/utils.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-lib/typed-racket/types/utils.rkt -------------------------------------------------------------------------------- /typed-racket-lib/typed-racket/utils/arm.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-lib/typed-racket/utils/arm.rkt -------------------------------------------------------------------------------- /typed-racket-lib/typed-racket/utils/disarm.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-lib/typed-racket/utils/disarm.rkt -------------------------------------------------------------------------------- /typed-racket-lib/typed-racket/utils/lift.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-lib/typed-racket/utils/lift.rkt -------------------------------------------------------------------------------- /typed-racket-lib/typed-racket/utils/prefab.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-lib/typed-racket/utils/prefab.rkt -------------------------------------------------------------------------------- /typed-racket-lib/typed-racket/utils/tarjan.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-lib/typed-racket/utils/tarjan.rkt -------------------------------------------------------------------------------- /typed-racket-lib/typed-racket/utils/timing.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-lib/typed-racket/utils/timing.rkt -------------------------------------------------------------------------------- /typed-racket-lib/typed-racket/utils/utils.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-lib/typed-racket/utils/utils.rkt -------------------------------------------------------------------------------- /typed-racket-lib/typed/file/md5.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-lib/typed/file/md5.rkt -------------------------------------------------------------------------------- /typed-racket-lib/typed/file/sha1.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-lib/typed/file/sha1.rkt -------------------------------------------------------------------------------- /typed-racket-lib/typed/file/tar.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-lib/typed/file/tar.rkt -------------------------------------------------------------------------------- /typed-racket-lib/typed/private/rewriter.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-lib/typed/private/rewriter.rkt -------------------------------------------------------------------------------- /typed-racket-lib/typed/private/utils.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-lib/typed/private/utils.rkt -------------------------------------------------------------------------------- /typed-racket-lib/typed/private/wrap.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-lib/typed/private/wrap.rkt -------------------------------------------------------------------------------- /typed-racket-lib/typed/racket.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-lib/typed/racket.rkt -------------------------------------------------------------------------------- /typed-racket-lib/typed/racket/base.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-lib/typed/racket/base.rkt -------------------------------------------------------------------------------- /typed-racket-lib/typed/racket/base/deep.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-lib/typed/racket/base/deep.rkt -------------------------------------------------------------------------------- /typed-racket-lib/typed/racket/base/shallow.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-lib/typed/racket/base/shallow.rkt -------------------------------------------------------------------------------- /typed-racket-lib/typed/racket/class.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-lib/typed/racket/class.rkt -------------------------------------------------------------------------------- /typed-racket-lib/typed/racket/date.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-lib/typed/racket/date.rkt -------------------------------------------------------------------------------- /typed-racket-lib/typed/racket/deep.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-lib/typed/racket/deep.rkt -------------------------------------------------------------------------------- /typed-racket-lib/typed/racket/lang/reader.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-lib/typed/racket/lang/reader.rkt -------------------------------------------------------------------------------- /typed-racket-lib/typed/racket/no-check.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-lib/typed/racket/no-check.rkt -------------------------------------------------------------------------------- /typed-racket-lib/typed/racket/optional.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-lib/typed/racket/optional.rkt -------------------------------------------------------------------------------- /typed-racket-lib/typed/racket/shallow.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-lib/typed/racket/shallow.rkt -------------------------------------------------------------------------------- /typed-racket-lib/typed/racket/system.rkt: -------------------------------------------------------------------------------- 1 | #lang s-exp typed/private/wrap racket/system 2 | -------------------------------------------------------------------------------- /typed-racket-lib/typed/racket/unit.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-lib/typed/racket/unit.rkt -------------------------------------------------------------------------------- /typed-racket-lib/typed/racket/unsafe.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-lib/typed/racket/unsafe.rkt -------------------------------------------------------------------------------- /typed-racket-lib/typed/untyped-utils.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-lib/typed/untyped-utils.rkt -------------------------------------------------------------------------------- /typed-racket-more/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-more/LICENSE -------------------------------------------------------------------------------- /typed-racket-more/info.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-more/info.rkt -------------------------------------------------------------------------------- /typed-racket-more/typed/db.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-more/typed/db.rkt -------------------------------------------------------------------------------- /typed-racket-more/typed/db/base.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-more/typed/db/base.rkt -------------------------------------------------------------------------------- /typed-racket-more/typed/db/sqlite3.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-more/typed/db/sqlite3.rkt -------------------------------------------------------------------------------- /typed-racket-more/typed/file/convertible.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-more/typed/file/convertible.rkt -------------------------------------------------------------------------------- /typed-racket-more/typed/file/gif.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-more/typed/file/gif.rkt -------------------------------------------------------------------------------- /typed-racket-more/typed/file/glob.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-more/typed/file/glob.rkt -------------------------------------------------------------------------------- /typed-racket-more/typed/framework.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-more/typed/framework.rkt -------------------------------------------------------------------------------- /typed-racket-more/typed/images/icons.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-more/typed/images/icons.rkt -------------------------------------------------------------------------------- /typed-racket-more/typed/images/logos.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-more/typed/images/logos.rkt -------------------------------------------------------------------------------- /typed-racket-more/typed/json.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-more/typed/json.rkt -------------------------------------------------------------------------------- /typed-racket-more/typed/mred/mred.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-more/typed/mred/mred.rkt -------------------------------------------------------------------------------- /typed-racket-more/typed/mrlib/bitmap-label.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-more/typed/mrlib/bitmap-label.rkt -------------------------------------------------------------------------------- /typed-racket-more/typed/mrlib/gif.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-more/typed/mrlib/gif.rkt -------------------------------------------------------------------------------- /typed-racket-more/typed/mrlib/panel-wob.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-more/typed/mrlib/panel-wob.rkt -------------------------------------------------------------------------------- /typed-racket-more/typed/net/base64.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-more/typed/net/base64.rkt -------------------------------------------------------------------------------- /typed-racket-more/typed/net/cgi.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-more/typed/net/cgi.rkt -------------------------------------------------------------------------------- /typed-racket-more/typed/net/cookie.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-more/typed/net/cookie.rkt -------------------------------------------------------------------------------- /typed-racket-more/typed/net/cookies.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-more/typed/net/cookies.rkt -------------------------------------------------------------------------------- /typed-racket-more/typed/net/cookies/common.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-more/typed/net/cookies/common.rkt -------------------------------------------------------------------------------- /typed-racket-more/typed/net/cookies/server.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-more/typed/net/cookies/server.rkt -------------------------------------------------------------------------------- /typed-racket-more/typed/net/dns.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-more/typed/net/dns.rkt -------------------------------------------------------------------------------- /typed-racket-more/typed/net/ftp.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-more/typed/net/ftp.rkt -------------------------------------------------------------------------------- /typed-racket-more/typed/net/gifwrite.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-more/typed/net/gifwrite.rkt -------------------------------------------------------------------------------- /typed-racket-more/typed/net/git-checkout.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-more/typed/net/git-checkout.rkt -------------------------------------------------------------------------------- /typed-racket-more/typed/net/head.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-more/typed/net/head.rkt -------------------------------------------------------------------------------- /typed-racket-more/typed/net/http-client.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-more/typed/net/http-client.rkt -------------------------------------------------------------------------------- /typed-racket-more/typed/net/imap.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-more/typed/net/imap.rkt -------------------------------------------------------------------------------- /typed-racket-more/typed/net/mime.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-more/typed/net/mime.rkt -------------------------------------------------------------------------------- /typed-racket-more/typed/net/nntp.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-more/typed/net/nntp.rkt -------------------------------------------------------------------------------- /typed-racket-more/typed/net/pop3.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-more/typed/net/pop3.rkt -------------------------------------------------------------------------------- /typed-racket-more/typed/net/qp.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-more/typed/net/qp.rkt -------------------------------------------------------------------------------- /typed-racket-more/typed/net/sendmail.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-more/typed/net/sendmail.rkt -------------------------------------------------------------------------------- /typed-racket-more/typed/net/sendurl.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-more/typed/net/sendurl.rkt -------------------------------------------------------------------------------- /typed-racket-more/typed/net/smtp.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-more/typed/net/smtp.rkt -------------------------------------------------------------------------------- /typed-racket-more/typed/net/uri-codec.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-more/typed/net/uri-codec.rkt -------------------------------------------------------------------------------- /typed-racket-more/typed/net/url-connect.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-more/typed/net/url-connect.rkt -------------------------------------------------------------------------------- /typed-racket-more/typed/net/url-structs.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-more/typed/net/url-structs.rkt -------------------------------------------------------------------------------- /typed-racket-more/typed/net/url.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-more/typed/net/url.rkt -------------------------------------------------------------------------------- /typed-racket-more/typed/openssl.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-more/typed/openssl.rkt -------------------------------------------------------------------------------- /typed-racket-more/typed/openssl/md5.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-more/typed/openssl/md5.rkt -------------------------------------------------------------------------------- /typed-racket-more/typed/openssl/sha1.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-more/typed/openssl/sha1.rkt -------------------------------------------------------------------------------- /typed-racket-more/typed/openssl/types.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-more/typed/openssl/types.rkt -------------------------------------------------------------------------------- /typed-racket-more/typed/pict.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-more/typed/pict.rkt -------------------------------------------------------------------------------- /typed-racket-more/typed/racket/draw.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-more/typed/racket/draw.rkt -------------------------------------------------------------------------------- /typed-racket-more/typed/racket/extflonum.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-more/typed/racket/extflonum.rkt -------------------------------------------------------------------------------- /typed-racket-more/typed/racket/fasl.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-more/typed/racket/fasl.rkt -------------------------------------------------------------------------------- /typed-racket-more/typed/racket/flonum.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-more/typed/racket/flonum.rkt -------------------------------------------------------------------------------- /typed-racket-more/typed/racket/gui.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-more/typed/racket/gui.rkt -------------------------------------------------------------------------------- /typed-racket-more/typed/racket/gui/base.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-more/typed/racket/gui/base.rkt -------------------------------------------------------------------------------- /typed-racket-more/typed/racket/os.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-more/typed/racket/os.rkt -------------------------------------------------------------------------------- /typed-racket-more/typed/racket/random.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-more/typed/racket/random.rkt -------------------------------------------------------------------------------- /typed-racket-more/typed/racket/sandbox.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-more/typed/racket/sandbox.rkt -------------------------------------------------------------------------------- /typed-racket-more/typed/racket/snip.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-more/typed/racket/snip.rkt -------------------------------------------------------------------------------- /typed-racket-more/typed/setup/getinfo.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-more/typed/setup/getinfo.rkt -------------------------------------------------------------------------------- /typed-racket-more/typed/srfi/14.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-more/typed/srfi/14.rkt -------------------------------------------------------------------------------- /typed-racket-more/typed/srfi/19.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-more/typed/srfi/19.rkt -------------------------------------------------------------------------------- /typed-racket-more/typed/syntax/modread.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-more/typed/syntax/modread.rkt -------------------------------------------------------------------------------- /typed-racket-more/typed/syntax/readerr.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-more/typed/syntax/readerr.rkt -------------------------------------------------------------------------------- /typed-racket-more/typed/syntax/srcloc.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-more/typed/syntax/srcloc.rkt -------------------------------------------------------------------------------- /typed-racket-more/typed/syntax/stx.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-more/typed/syntax/stx.rkt -------------------------------------------------------------------------------- /typed-racket-more/typed/web-server/http.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-more/typed/web-server/http.rkt -------------------------------------------------------------------------------- /typed-racket-more/typed/xml.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-more/typed/xml.rkt -------------------------------------------------------------------------------- /typed-racket-more/typed/xml/path.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-more/typed/xml/path.rkt -------------------------------------------------------------------------------- /typed-racket-more/typed/xml/plist.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-more/typed/xml/plist.rkt -------------------------------------------------------------------------------- /typed-racket-test/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/LICENSE -------------------------------------------------------------------------------- /typed-racket-test/external/fail/dummy.rkt: -------------------------------------------------------------------------------- 1 | #lang typed/racket/base 2 | (ann 42 String) 3 | -------------------------------------------------------------------------------- /typed-racket-test/external/random-real.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/external/random-real.rkt -------------------------------------------------------------------------------- /typed-racket-test/external/succeed/pr11425.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/external/succeed/pr11425.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/all-bad-syntax.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/all-bad-syntax.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/ann-map-funcs.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/ann-map-funcs.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/apply-dots.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/apply-dots.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/back-and-forth.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/back-and-forth.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/bad-ann.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/bad-ann.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/bad-any.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/bad-any.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/bad-first.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/bad-first.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/bad-hash-ref.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/bad-hash-ref.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/bad-map-poly.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/bad-map-poly.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/bad-prop-procedure1.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/bad-prop-procedure1.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/bad-prop-procedure2.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/bad-prop-procedure2.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/bad-prop-procedure3.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/bad-prop-procedure3.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/bad-prop-procedure4.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/bad-prop-procedure4.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/bad-prop-procedure5.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/bad-prop-procedure5.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/bad-prop-procedure6.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/bad-prop-procedure6.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/bad-prop-procedure7.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/bad-prop-procedure7.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/bad-prop-procedure8.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/bad-prop-procedure8.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/bad-prop-procedure9.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/bad-prop-procedure9.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/bad-struct-prop.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/bad-struct-prop.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/bad-struct-prop1.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/bad-struct-prop1.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/bad-struct-prop2.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/bad-struct-prop2.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/bad-struct-prop3.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/bad-struct-prop3.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/bad-struct-prop4.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/bad-struct-prop4.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/bad-struct-prop5.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/bad-struct-prop5.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/bad-struct-top.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/bad-struct-top.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/bad-type-app.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/bad-type-app.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/bad-variance.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/bad-variance.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/bind-anyvalues.rkt: -------------------------------------------------------------------------------- 1 | #lang typed/racket 2 | (define a (eval 0)) 3 | -------------------------------------------------------------------------------- /typed-racket-test/fail/box-fail.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/box-fail.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/case-lambda1.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/case-lambda1.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/case-lambda2.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/case-lambda2.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/case-lambda3.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/case-lambda3.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/case-lambda4.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/case-lambda4.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/case-union-subtype.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/case-union-subtype.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/cast-mod1.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/cast-mod1.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/cast-mod2.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/cast-mod2.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/cast-mod3.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/cast-mod3.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/cast-top-level1.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/cast-top-level1.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/cast-top-level2.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/cast-top-level2.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/cast-tyvar.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/cast-tyvar.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/channel-contract.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/channel-contract.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/check-expect-fail.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/check-expect-fail.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/cl-bug.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/cl-bug.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/class-contract-1.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/class-contract-1.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/class-define-srcloc.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/class-define-srcloc.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/cnt-err1.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/cnt-err1.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/cnt-struct-err.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/cnt-struct-err.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/contract-for-self.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/contract-for-self.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/contract-for-self2.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/contract-for-self2.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/control-test-1.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/control-test-1.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/control-test-2.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/control-test-2.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/control-test-3.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/control-test-3.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/control-test-4.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/control-test-4.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/control-test-5.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/control-test-5.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/control-test-6.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/control-test-6.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/dead-substruct.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/dead-substruct.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/define-zero-values.rkt: -------------------------------------------------------------------------------- 1 | #lang typed/racket 2 | 3 | (define-values () (+ 1 "x")) 4 | -------------------------------------------------------------------------------- /typed-racket-test/fail/div-0-complex.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/div-0-complex.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/div-0-complex2.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/div-0-complex2.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/dup-ann.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/dup-ann.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/duplicate-ann.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/duplicate-ann.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/dviu-has-imports.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/dviu-has-imports.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/dviu-infer-deps-bad.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/dviu-infer-deps-bad.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/dviu-not-a-unit.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/dviu-not-a-unit.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/dviu-not-subtype.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/dviu-not-subtype.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/error-pruning1.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/error-pruning1.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/error-pruning2.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/error-pruning2.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/error-pruning3.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/error-pruning3.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/explicit-fail.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/explicit-fail.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/flat-contract-name.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/flat-contract-name.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/for-vector-bad-ann.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/for-vector-bad-ann.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/gadt.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/gadt.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/gh-issue-1007.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/gh-issue-1007.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/gh-issue-1011.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/gh-issue-1011.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/gh-issue-1014.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/gh-issue-1014.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/gh-issue-1041.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/gh-issue-1041.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/gh-issue-1050.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/gh-issue-1050.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/gh-issue-165.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/gh-issue-165.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/gh-issue-271.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/gh-issue-271.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/gh-issue-293.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/gh-issue-293.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/gh-issue-342.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/gh-issue-342.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/gh-issue-601.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/gh-issue-601.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/gh-issue-862.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/gh-issue-862.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/gh-issue-944.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/gh-issue-944.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/gh-issue-965.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/gh-issue-965.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/gh112.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/gh112.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/gh56.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/gh56.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/hash-union.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/hash-union.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/ht-infer.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/ht-infer.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/inexact-complex.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/inexact-complex.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/infer-dots.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/infer-dots.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/internal-ann.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/internal-ann.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/issue-169-1.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/issue-169-1.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/issue-169-2.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/issue-169-2.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/issue-215-2.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/issue-215-2.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/issue-215.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/issue-215.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/log-not-complex.rkt: -------------------------------------------------------------------------------- 1 | #; 2 | (exn-pred 1) 3 | #lang typed/scheme 4 | 5 | (ann (log 2.0) Inexact-Complex) 6 | -------------------------------------------------------------------------------- /typed-racket-test/fail/make-predicate-mod1.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/make-predicate-mod1.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/make-predicate-mod2.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/make-predicate-mod2.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/mandatory-kw.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/mandatory-kw.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/many-arity-int-comp.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/many-arity-int-comp.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/nested-tvars.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/nested-tvars.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/nonnegative-float.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/nonnegative-float.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/opaque-overlap.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/opaque-overlap.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/optional/filter.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/optional/filter.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/optional/for.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/optional/for.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/optional/pr10594.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/optional/pr10594.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/optional/pr11686.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/optional/pr11686.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/optional/pr13274.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/optional/pr13274.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/optional/values.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/optional/values.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/plambda-dup-tvar.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/plambda-dup-tvar.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/poly-dup-name.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/poly-dup-name.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/poly-expect-error.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/poly-expect-error.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/polydots-dup-name.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/polydots-dup-name.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/port-to-list.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/port-to-list.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/pr10350.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/pr10350.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/pr10594.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/pr10594.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/pr10936.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/pr10936.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/pr10937.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/pr10937.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/pr11560.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/pr11560.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/pr11686.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/pr11686.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/pr11772.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/pr11772.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/pr11901.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/pr11901.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/pr11998.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/pr11998.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/pr12706.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/pr12706.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/pr12985.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/pr12985.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/pr13123.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/pr13123.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/pr13209.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/pr13209.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/pr13218.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/pr13218.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/pr13233-2.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/pr13233-2.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/pr13233-3.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/pr13233-3.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/pr13233-4.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/pr13233-4.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/pr13233.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/pr13233.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/pr13274.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/pr13274.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/pr13289.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/pr13289.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/pr13365.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/pr13365.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/pr13446.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/pr13446.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/pr13526.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/pr13526.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/pr13562.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/pr13562.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/pr13577.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/pr13577.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/pr13581.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/pr13581.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/pr13588.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/pr13588.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/pr13662.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/pr13662.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/pr13663.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/pr13663.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/pr13664.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/pr13664.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/pr13665.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/pr13665.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/pr13746.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/pr13746.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/pr13815.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/pr13815.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/pr13893.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/pr13893.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/pr13962.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/pr13962.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/pr14121.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/pr14121.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/pr14144.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/pr14144.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/pr14173.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/pr14173.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/pr14246-2.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/pr14246-2.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/pr14246.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/pr14246.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/pr14389.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/pr14389.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/pr14508.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/pr14508.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/pr14544.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/pr14544.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/pr14568.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/pr14568.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/pr14615.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/pr14615.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/pr14973.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/pr14973.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/predicate-box.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/predicate-box.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/procedure-top.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/procedure-top.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/promise-any.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/promise-any.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/reverse-special.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/reverse-special.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/rts-prov.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/rts-prov.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/safe-letrec.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/safe-letrec.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/sandbox.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/sandbox.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/self-outside-sp.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/self-outside-sp.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/set-struct.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/set-struct.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/set-tests.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/set-tests.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/shallow/apply.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/shallow/apply.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/shallow/cast-mod2.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/shallow/cast-mod2.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/shallow/cast.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/shallow/cast.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/shallow/filter.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/shallow/filter.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/shallow/find.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/shallow/find.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/shallow/fold.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/shallow/fold.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/shallow/for.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/shallow/for.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/shallow/nothing.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/shallow/nothing.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/shallow/pr10350.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/shallow/pr10350.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/shallow/pr10594.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/shallow/pr10594.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/shallow/pr11686.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/shallow/pr11686.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/shallow/pr13274.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/shallow/pr13274.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/shallow/pr13446.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/shallow/pr13446.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/shallow/pr13662.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/shallow/pr13662.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/shallow/pr13664.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/shallow/pr13664.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/shallow/pr13665.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/shallow/pr13665.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/shallow/pr13815.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/shallow/pr13815.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/shallow/pr14173.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/shallow/pr14173.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/shallow/sandbox.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/shallow/sandbox.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/shallow/struct.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/shallow/struct.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/shallow/values.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/shallow/values.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/signature-escape.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/signature-escape.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/single-letrec.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/single-letrec.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/struct-provide.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/struct-provide.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/submod-req-cnt.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/submod-req-cnt.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/subtype-int-err.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/subtype-int-err.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/tc-error-format.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/tc-error-format.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/too-many-errors.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/too-many-errors.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/top-level-srcloc.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/top-level-srcloc.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/unbound-non-reg.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/unbound-non-reg.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/unbound-type.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/unbound-type.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/undefined.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/undefined.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/unsafe-struct.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/unsafe-struct.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/untyped-srfi1.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/untyped-srfi1.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/values-dots.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/values-dots.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/values-int-err.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/values-int-err.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/with-asserts.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/with-asserts.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/with-asserts2.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/with-asserts2.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/with-asserts3.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/with-asserts3.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/with-type-bug.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/with-type-bug.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/with-type1.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/with-type1.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/with-type2.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/with-type2.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/with-type3.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/with-type3.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/wrong-arity.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/wrong-arity.rkt -------------------------------------------------------------------------------- /typed-racket-test/fail/wrong-arity2.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/fail/wrong-arity2.rkt -------------------------------------------------------------------------------- /typed-racket-test/gui/succeed/gui-lang.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/gui/succeed/gui-lang.rkt -------------------------------------------------------------------------------- /typed-racket-test/gui/succeed/pr15003.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/gui/succeed/pr15003.rkt -------------------------------------------------------------------------------- /typed-racket-test/gui/succeed/pr390.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/gui/succeed/pr390.rkt -------------------------------------------------------------------------------- /typed-racket-test/info.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/info.rkt -------------------------------------------------------------------------------- /typed-racket-test/main.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/main.rkt -------------------------------------------------------------------------------- /typed-racket-test/nightly-run.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/nightly-run.rkt -------------------------------------------------------------------------------- /typed-racket-test/optimizer/known-bugs.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/optimizer/known-bugs.rkt -------------------------------------------------------------------------------- /typed-racket-test/optimizer/reset-port.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/optimizer/reset-port.rkt -------------------------------------------------------------------------------- /typed-racket-test/optimizer/run.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/optimizer/run.rkt -------------------------------------------------------------------------------- /typed-racket-test/optimizer/tests/add1.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/optimizer/tests/add1.rkt -------------------------------------------------------------------------------- /typed-racket-test/optimizer/tests/box.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/optimizer/tests/box.rkt -------------------------------------------------------------------------------- /typed-racket-test/optimizer/tests/expt.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/optimizer/tests/expt.rkt -------------------------------------------------------------------------------- /typed-racket-test/optimizer/tests/fx-fl.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/optimizer/tests/fx-fl.rkt -------------------------------------------------------------------------------- /typed-racket-test/optimizer/tests/fx2fl.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/optimizer/tests/fx2fl.rkt -------------------------------------------------------------------------------- /typed-racket-test/optimizer/tests/gh60.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/optimizer/tests/gh60.rkt -------------------------------------------------------------------------------- /typed-racket-test/optimizer/tests/list.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/optimizer/tests/list.rkt -------------------------------------------------------------------------------- /typed-racket-test/optimizer/tests/mpair.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/optimizer/tests/mpair.rkt -------------------------------------------------------------------------------- /typed-racket-test/optimizer/tests/quote.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/optimizer/tests/quote.rkt -------------------------------------------------------------------------------- /typed-racket-test/optimizer/tests/sqrt.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/optimizer/tests/sqrt.rkt -------------------------------------------------------------------------------- /typed-racket-test/optimizer/tests/zero.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/optimizer/tests/zero.rkt -------------------------------------------------------------------------------- /typed-racket-test/optimizer/transform.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/optimizer/transform.rkt -------------------------------------------------------------------------------- /typed-racket-test/places.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/places.rkt -------------------------------------------------------------------------------- /typed-racket-test/racket-eval-server.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/racket-eval-server.rkt -------------------------------------------------------------------------------- /typed-racket-test/run.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/run.rkt -------------------------------------------------------------------------------- /typed-racket-test/send-places.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/send-places.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/2d-typed.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/2d-typed.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/aliasing-tests.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/aliasing-tests.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/andmap.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/andmap.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/any-hash.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/any-hash.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/any-wrap-list.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/any-wrap-list.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/any-wrap.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/any-wrap.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/apply-append.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/apply-append.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/apply-dots.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/apply-dots.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/area.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/area.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/at-exp.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/at-exp.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/bad-map-infer.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/bad-map-infer.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/barland.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/barland.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/basic-tests.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/basic-tests.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/batched-queue.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/batched-queue.scm -------------------------------------------------------------------------------- /typed-racket-test/succeed/begin0-error.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/begin0-error.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/binding-alias.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/binding-alias.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/box-num.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/box-num.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/call-comp.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/call-comp.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/callcc.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/callcc.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/case-lambda1.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/case-lambda1.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/cast-mod.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/cast-mod.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/cast-no-check.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/cast-no-check.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/cast-top-level.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/cast-top-level.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/check-expect.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/check-expect.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/cl-bug.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/cl-bug.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/cl-tests.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/cl-tests.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/cl.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/cl.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/class-contract.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/class-contract.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/cmdline.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/cmdline.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/cps.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/cps.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/curry.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/curry.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/custodian.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/custodian.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/custom-printer.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/custom-printer.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/cyclic-list.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/cyclic-list.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/def-pred.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/def-pred.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/discrete-dist.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/discrete-dist.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/do.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/do.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/dot-intro.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/dot-intro.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/empty-case-arrow.rkt: -------------------------------------------------------------------------------- 1 | #lang typed/racket 2 | (: f (case->)) 3 | (define (f x) 0) 4 | -------------------------------------------------------------------------------- /typed-racket-test/succeed/empty-or.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/empty-or.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/ephemerons.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/ephemerons.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/even-odd.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/even-odd.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/events.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/events.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/exceptions.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/exceptions.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/fix.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/fix.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/fixnum.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/fixnum.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/flonum.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/flonum.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/flvector.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/flvector.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/fold-left-inst.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/fold-left-inst.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/fold-left.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/fold-left.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/foldo.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/foldo.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/foo.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/foo.scm -------------------------------------------------------------------------------- /typed-racket-test/succeed/for-ann.rkt: -------------------------------------------------------------------------------- 1 | #lang typed/racket 2 | 3 | (ann (for ([#{i : Integer} '(1 2 3)]) (display i)) Void) 4 | -------------------------------------------------------------------------------- /typed-racket-test/succeed/for-hash.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/for-hash.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/for-in-range.rkt: -------------------------------------------------------------------------------- 1 | #lang typed/racket 2 | 3 | (for: ([i : Integer (in-range 10 0 -1)]) i) 4 | -------------------------------------------------------------------------------- /typed-racket-test/succeed/for-list.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/for-list.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/for-lists.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/for-lists.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/for-no-anns.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/for-no-anns.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/for-over-hash.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/for-over-hash.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/for-result.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/for-result.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/for-seq.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/for-seq.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/for-set.rkt: -------------------------------------------------------------------------------- 1 | #lang typed/racket 2 | (for ([i (set 1 2 3)]) 3 | (displayln i)) 4 | -------------------------------------------------------------------------------- /typed-racket-test/succeed/for-vector.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/for-vector.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/for.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/for.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/force-delay.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/force-delay.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/format.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/format.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/function.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/function.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/fx-filter.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/fx-filter.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/gh-issue-1020.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/gh-issue-1020.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/gh-issue-1039.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/gh-issue-1039.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/gh-issue-1045.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/gh-issue-1045.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/gh-issue-1079.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/gh-issue-1079.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/gh-issue-1088.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/gh-issue-1088.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/gh-issue-1196.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/gh-issue-1196.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/gh-issue-1201.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/gh-issue-1201.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/gh-issue-1234.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/gh-issue-1234.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/gh-issue-1298.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/gh-issue-1298.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/gh-issue-1320.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/gh-issue-1320.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/gh-issue-144.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/gh-issue-144.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/gh-issue-157.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/gh-issue-157.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/gh-issue-163-1.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/gh-issue-163-1.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/gh-issue-163-2.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/gh-issue-163-2.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/gh-issue-164.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/gh-issue-164.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/gh-issue-181.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/gh-issue-181.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/gh-issue-205.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/gh-issue-205.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/gh-issue-214.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/gh-issue-214.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/gh-issue-26.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/gh-issue-26.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/gh-issue-291.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/gh-issue-291.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/gh-issue-304.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/gh-issue-304.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/gh-issue-336.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/gh-issue-336.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/gh-issue-343.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/gh-issue-343.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/gh-issue-366.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/gh-issue-366.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/gh-issue-38.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/gh-issue-38.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/gh-issue-426.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/gh-issue-426.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/gh-issue-43.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/gh-issue-43.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/gh-issue-506.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/gh-issue-506.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/gh-issue-542.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/gh-issue-542.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/gh-issue-691.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/gh-issue-691.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/gh-issue-764.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/gh-issue-764.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/gh-issue-782.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/gh-issue-782.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/gh-issue-829.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/gh-issue-829.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/gh-issue-837.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/gh-issue-837.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/gh-issue-906.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/gh-issue-906.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/gh-issue-930.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/gh-issue-930.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/gh-issue-940.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/gh-issue-940.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/gh-issue-957.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/gh-issue-957.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/gh-issue-973.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/gh-issue-973.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/gh-issue-974.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/gh-issue-974.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/gh-issue-987.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/gh-issue-987.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/has-sp-cons.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/has-sp-cons.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/hash-contract.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/hash-contract.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/hash-literal.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/hash-literal.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/hash-ref.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/hash-ref.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/hash-union.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/hash-union.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/het-vec.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/het-vec.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/het-vec2.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/het-vec2.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/ho-box.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/ho-box.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/hw01.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/hw01.scm -------------------------------------------------------------------------------- /typed-racket-test/succeed/icfp-examples.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/icfp-examples.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/index-of.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/index-of.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/inf-nested-bot.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/inf-nested-bot.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/infer-dots.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/infer-dots.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/infer-funargs.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/infer-funargs.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/inst-dots.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/inst-dots.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/inst-expected.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/inst-expected.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/int-def-colon.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/int-def-colon.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/intersection1.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/intersection1.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/issue-166.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/issue-166.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/issue-33.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/issue-33.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/issue-447.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/issue-447.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/issue-598.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/issue-598.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/issue-625.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/issue-625.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/issue-628.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/issue-628.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/issue-807.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/issue-807.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/issue-823.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/issue-823.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/json-hash.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/json-hash.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/kw-def.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/kw-def.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/kw.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/kw.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/leftist-heap.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/leftist-heap.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/let-no-anns.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/let-no-anns.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/list-dots.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/list-dots.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/list-ref-vec.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/list-ref-vec.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/little-schemer.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/little-schemer.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/log.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/log.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/logic.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/logic.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/lots-o-bugs.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/lots-o-bugs.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/macro-in-unit.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/macro-in-unit.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/make-font.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/make-font.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/make-readtable.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/make-readtable.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/mandelbrot.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/mandelbrot.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/map-nonempty.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/map-nonempty.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/map1.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/map1.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/map2.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/map2.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/match-dots.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/match-dots.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/match-dots2.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/match-dots2.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/match-or.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/match-or.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/match-tests.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/match-tests.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/match.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/match.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/member-pred.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/member-pred.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/memory.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/memory.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/metrics.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/metrics.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/module-lang.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/module-lang.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/module-plus.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/module-plus.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/module-repl.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/module-repl.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/mpair.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/mpair.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/mu-rec.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/mu-rec.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/nested-poly.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/nested-poly.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/no-bound-fl.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/no-bound-fl.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/null-program.rkt: -------------------------------------------------------------------------------- 1 | #lang typed/racket/base 2 | -------------------------------------------------------------------------------- /typed-racket-test/succeed/opt-arg-test.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/opt-arg-test.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/opt-lambda.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/opt-lambda.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/optimize-simple.rkt: -------------------------------------------------------------------------------- 1 | #lang typed/racket #:optimize 2 | 3 | (+ 3 4) 4 | -------------------------------------------------------------------------------- /typed-racket-test/succeed/optional/cast.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/optional/cast.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/optional/find.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/optional/find.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/optional/fold.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/optional/fold.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/optional/macro.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/optional/macro.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/or-sym.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/or-sym.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/overloading.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/overloading.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pair-test.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pair-test.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pair-test2.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pair-test2.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pair-test3.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pair-test3.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/param.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/param.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/parameter-c.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/parameter-c.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/parameter-proc.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/parameter-proc.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/parse-path.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/parse-path.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/patch.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/patch.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/path-order.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/path-order.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/paths.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/paths.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pathstrings.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pathstrings.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pict.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pict.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/places-helper.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/places-helper.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/places.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/places.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/poly-apply.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/poly-apply.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/poly-dots.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/poly-dots.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/poly-lists.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/poly-lists.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/poly-ret-ann.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/poly-ret-ann.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/poly-struct.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/poly-struct.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/poly-subtype.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/poly-subtype.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/poly-tests.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/poly-tests.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/ports.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/ports.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr10057.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pr10057.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr10318.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pr10318.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr10319.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pr10319.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr10342.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pr10342.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr10470.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pr10470.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr10552.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pr10552.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr10562.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pr10562.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr10718+10755.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pr10718+10755.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr10729.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pr10729.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr10765.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pr10765.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr10939.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pr10939.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr11099.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pr11099.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr11171.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pr11171.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr11172.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pr11172.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr11193.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pr11193.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr11194.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pr11194.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr11314.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pr11314.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr11390.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pr11390.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr11392.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pr11392.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr11504.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pr11504.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr11509.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pr11509.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr11532.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pr11532.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr11545+11776.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pr11545+11776.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr11560.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pr11560.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr11578.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pr11578.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr11617.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pr11617.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr11669.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pr11669.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr11686.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pr11686.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr11709.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pr11709.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr11728.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pr11728.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr11747.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pr11747.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr11756.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pr11756.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr11859.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pr11859.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr11866.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pr11866.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr11887.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pr11887.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr11897.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pr11897.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr11912.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pr11912.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr11971.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pr11971.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr12224.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pr12224.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr12644.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pr12644.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr12678.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pr12678.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr12806.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pr12806.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr12807.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pr12807.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr12905.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pr12905.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr12913.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pr12913.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr1294.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pr1294.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr12970.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pr12970.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr12974.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pr12974.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr13094.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pr13094.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr13124.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pr13124.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr13155.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pr13155.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr13160.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pr13160.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr13161.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pr13161.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr13185.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pr13185.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr13326.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pr13326.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr13339.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pr13339.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr13412.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pr13412.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr13464.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pr13464.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr13464.rktl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pr13464.rktl -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr13490.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pr13490.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr13503.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pr13503.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr13576.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pr13576.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr13584.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pr13584.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr13646.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pr13646.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr13691.rkt: -------------------------------------------------------------------------------- 1 | #lang typed/racket 2 | 3 | (let: loop : Integer ([b #t]) 3) 4 | -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr13710.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pr13710.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr13747.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pr13747.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr13821.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pr13821.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr13870.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pr13870.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr13901.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pr13901.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr13937.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pr13937.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr14138.rkt: -------------------------------------------------------------------------------- 1 | #lang typed/racket 2 | (: f (case->)) 3 | (define (f x) (add1 "foo")) 4 | -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr14217.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pr14217.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr14355.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pr14355.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr14364.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pr14364.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr14374.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pr14374.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr14458.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pr14458.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr14463.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pr14463.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr14521.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pr14521.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr14567.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pr14567.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr14568.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pr14568.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr14582.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pr14582.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr14587.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pr14587.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr14702.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pr14702.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr14828.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pr14828.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr14829.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pr14829.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr14896.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pr14896.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr14997.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pr14997.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr15026-a.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pr15026-a.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr15026-b.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pr15026-b.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr15144.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pr15144.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr15330.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pr15330.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr403.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pr403.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr468-in-query.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pr468-in-query.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr9043.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pr9043.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr9046.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pr9046.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr9048.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pr9048.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr9053-2.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pr9053-2.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr9053.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pr9053.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr9054.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pr9054.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/pr907.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/pr907.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/prefab.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/prefab.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/priority-queue.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/priority-queue.scm -------------------------------------------------------------------------------- /typed-racket-test/succeed/procedure-top.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/procedure-top.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/promise.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/promise.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/prompt-tag.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/prompt-tag.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/prop-procedure.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/prop-procedure.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/provide-sexp.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/provide-sexp.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/provide-struct.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/provide-struct.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/provide-syntax.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/provide-syntax.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/racket-struct.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/racket-struct.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/rackunit-suite.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/rackunit-suite.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/rackunit.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/rackunit.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/random-bits.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/random-bits.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/rec-types.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/rec-types.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/req-type-sub.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/req-type-sub.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/require-poly.rkt: -------------------------------------------------------------------------------- 1 | #lang typed-scheme 2 | 3 | (require "simple-poly.rkt") 4 | -------------------------------------------------------------------------------- /typed-racket-test/succeed/require-struct.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/require-struct.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/require-tests.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/require-tests.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/richard-bugs.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/richard-bugs.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/runtime-path.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/runtime-path.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/safe-letrec.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/safe-letrec.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/safe-vector.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/safe-vector.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/scratch.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/scratch.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/send.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/send.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/sequence-cnt.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/sequence-cnt.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/sequences.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/sequences.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/set-contract.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/set-contract.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/set.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/set.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/shallow/alias.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/shallow/alias.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/shallow/apply.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/shallow/apply.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/shallow/caar.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/shallow/caar.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/shallow/cl-bug.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/shallow/cl-bug.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/shallow/do.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/shallow/do.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/shallow/empty-case-arrow.rkt: -------------------------------------------------------------------------------- 1 | #lang typed/racket/shallow 2 | (: f (case->)) 3 | (define (f x) 0) 4 | -------------------------------------------------------------------------------- /typed-racket-test/succeed/shallow/flonum.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/shallow/flonum.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/shallow/hello.rkt: -------------------------------------------------------------------------------- 1 | #lang typed/racket/shallow 2 | 3 | ;; No-brainer test 4 | 5 | "hello world" 6 | -------------------------------------------------------------------------------- /typed-racket-test/succeed/shallow/lambda.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/shallow/lambda.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/shallow/pict.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/shallow/pict.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/shallow/pr14138.rkt: -------------------------------------------------------------------------------- 1 | #lang typed/racket/shallow 2 | (: f (case->)) 3 | (define (f x) (add1 "foo")) 4 | -------------------------------------------------------------------------------- /typed-racket-test/succeed/shallow/prefab.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/shallow/prefab.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/shallow/qmap.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/shallow/qmap.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/shallow/struct.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/shallow/struct.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/shallow/stx.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/shallow/stx.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/shallow/test2.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/shallow/test2.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/simple-fake-or.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/simple-fake-or.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/simple-implies.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/simple-implies.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/simple-kw-app.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/simple-kw-app.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/simple-occurr.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/simple-occurr.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/simple-or.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/simple-or.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/simple-poly.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/simple-poly.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/single-flonum.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/single-flonum.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/slow-check.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/slow-check.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/slow-parser.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/slow-parser.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/somesystempath.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/somesystempath.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/sort-infer.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/sort-infer.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/star-sizes.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/star-sizes.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/stream.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/stream.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/string-const.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/string-const.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/struct-cert.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/struct-cert.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/struct-exec.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/struct-exec.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/struct-mutable.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/struct-mutable.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/struct-options.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/struct-options.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/struct-out.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/struct-out.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/struct-props.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/struct-props.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/struct-update.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/struct-update.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/stx.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/stx.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/submod-vector.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/submod-vector.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/submodules.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/submodules.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/test.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/test.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/test2.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/test2.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/time.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/time.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/tr-evt.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/tr-evt.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/treelist.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/treelist.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/typeann-letrec.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/typeann-letrec.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/typed-list.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/typed-list.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/unit-3x-2.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/unit-3x-2.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/unit-3x.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/unit-3x.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/units-no-sigs.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/units-no-sigs.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/unsafe-provide.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/unsafe-provide.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/unsafe-require.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/unsafe-require.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/unsafe-struct.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/unsafe-struct.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/untyped-submod.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/untyped-submod.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/values-dots.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/values-dots.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/values-dots2.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/values-dots2.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/values-object.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/values-object.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/varargs-tests.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/varargs-tests.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/variance-test.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/variance-test.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/vec-tests.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/vec-tests.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/vector-chap.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/vector-chap.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/vector-sort.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/vector-sort.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/vector-union.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/vector-union.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/with-asserts.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/with-asserts.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/with-handlers.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/with-handlers.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/with-syntax.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/with-syntax.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/with-type-lift.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/with-type-lift.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/with-type.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/with-type.rkt -------------------------------------------------------------------------------- /typed-racket-test/succeed/zero-arg-poly.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/succeed/zero-arg-poly.rkt -------------------------------------------------------------------------------- /typed-racket-test/test-docs-complete.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/test-docs-complete.rkt -------------------------------------------------------------------------------- /typed-racket-test/unit-tests/all-tests.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/unit-tests/all-tests.rkt -------------------------------------------------------------------------------- /typed-racket-test/unit-tests/class-tests.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/unit-tests/class-tests.rkt -------------------------------------------------------------------------------- /typed-racket-test/unit-tests/evaluator.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/unit-tests/evaluator.rkt -------------------------------------------------------------------------------- /typed-racket-test/unit-tests/infer-tests.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/unit-tests/infer-tests.rkt -------------------------------------------------------------------------------- /typed-racket-test/unit-tests/json-tests.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/unit-tests/json-tests.rkt -------------------------------------------------------------------------------- /typed-racket-test/unit-tests/prims-tests.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/unit-tests/prims-tests.rkt -------------------------------------------------------------------------------- /typed-racket-test/unit-tests/prop-tests.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/unit-tests/prop-tests.rkt -------------------------------------------------------------------------------- /typed-racket-test/unit-tests/subst-tests.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/unit-tests/subst-tests.rkt -------------------------------------------------------------------------------- /typed-racket-test/unit-tests/test-utils.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/unit-tests/test-utils.rkt -------------------------------------------------------------------------------- /typed-racket-test/unit-tests/xml-tests.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/unit-tests/xml-tests.rkt -------------------------------------------------------------------------------- /typed-racket-test/with-tr-contracts.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/with-tr-contracts.rkt -------------------------------------------------------------------------------- /typed-racket-test/xfail/ann-map-funcs.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/xfail/ann-map-funcs.rkt -------------------------------------------------------------------------------- /typed-racket-test/xfail/applicative.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/xfail/applicative.rkt -------------------------------------------------------------------------------- /typed-racket-test/xfail/apply-map-bug.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/xfail/apply-map-bug.rkt -------------------------------------------------------------------------------- /typed-racket-test/xfail/cl-expected.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/xfail/cl-expected.rkt -------------------------------------------------------------------------------- /typed-racket-test/xfail/exn-any.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/xfail/exn-any.rkt -------------------------------------------------------------------------------- /typed-racket-test/xfail/expectations.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/xfail/expectations.rkt -------------------------------------------------------------------------------- /typed-racket-test/xfail/fact-unit.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/xfail/fact-unit.rkt -------------------------------------------------------------------------------- /typed-racket-test/xfail/for-inference.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/xfail/for-inference.rkt -------------------------------------------------------------------------------- /typed-racket-test/xfail/opt-lambda.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/xfail/opt-lambda.rkt -------------------------------------------------------------------------------- /typed-racket-test/xfail/pr10618.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/xfail/pr10618.rkt -------------------------------------------------------------------------------- /typed-racket-test/xfail/priority-queue.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/xfail/priority-queue.scm -------------------------------------------------------------------------------- /typed-racket-test/xfail/rec-contract.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/xfail/rec-contract.rkt -------------------------------------------------------------------------------- /typed-racket-test/xfail/unholy-terror.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/xfail/unholy-terror.rkt -------------------------------------------------------------------------------- /typed-racket-test/xfail/xmodule-mutation.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket-test/xfail/xmodule-mutation.rkt -------------------------------------------------------------------------------- /typed-racket/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket/LICENSE -------------------------------------------------------------------------------- /typed-racket/info.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/racket/typed-racket/HEAD/typed-racket/info.rkt --------------------------------------------------------------------------------