typed-racket-lib

implementation (no documentation) part of "typed-racket"

Build status:

Authors
Documentation
Tags
Last updatedMonday, May 22nd, 2017 11:46:21pm (UTC)
Ring0
ConflictsNone
Dependencies
Most recent build results
    Versions
    VersionSourceChecksum
    defaultgit://github.com/racket/typed-racket/?path=typed-racket-libdda8b1da20e824d3f93f554e2cc5d331f0d941c8
    Last checkedWednesday, May 24th, 2017 5:46:51am (UTC)
    Last editedThursday, December 4th, 2014 2:19:43am (UTC)
    Modules
    • typed-racket/language-info.rkt
    • typed-racket/typecheck/error-message.rkt
    • typed/private/wrap.rkt
    • typed-racket/static-contracts/terminal.rkt
    • typed-racket/static-contracts/structures.rkt
    • typed-racket/env/env-req.rkt
    • typed-racket/static-contracts/combinators/structural.rkt
    • typed-racket/optimizer/utils.rkt
    • typed-racket/env/index-env.rkt
    • typed-racket/typecheck/tc-envops.rkt
    • typed-racket/static-contracts/combinators/lengths.rkt
    • typed-racket/typecheck/tc-literal.rkt
    • typed/file/tar.rkt
    • typed-racket/static-contracts/equations.rkt
    • typed-racket/typecheck/tc-app/tc-app-list.rkt
    • typed-racket/base-env/case-lambda.rkt
    • typed-racket/typecheck/tc-app-helper.rkt
    • typed-racket/typecheck/tc-app/tc-app-values.rkt
    • typed/racket/base/no-check.rkt
    • typed-racket/infer/constraints.rkt
    • typed-racket/optimizer/logging.rkt
    • typed-racket/infer/constraint-structs.rkt
    • typed-racket/utils/stxclass-util.rkt
    • typed-racket/base-env/class-prims.rkt
    • typed-racket/types/tc-error.rkt
    • typed-racket/utils/mutated-vars.rkt
    • typed-racket/typecheck/tc-app-combined.rkt
    • typed/racket/no-check.rkt
    • typed-racket/private/cast-table.rkt
    • typed-racket/static-contracts/combinators/proposition.rkt
    • typed-racket/private/parse-classes.rkt
    • typed-racket/optimizer/unboxed-let.rkt
    • typed/private/no-check-helper.rkt
    • typed-racket/types/subtract.rkt
    • typed/file/md5.rkt
    • typed-racket/typecheck/tc-app/signatures.rkt
    • typed-racket/optimizer/extflonum.rkt
    • typed-racket/logic/proves.rkt
    • typed-racket/tc-setup.rkt
    • typed-racket/typecheck/tc-expr-unit.rkt
    • typed-racket/base-env/base-special-env.rkt
    • typed-racket/optimizer/optimizer.rkt
    • typed-racket/static-contracts/constraints.rkt
    • typed-racket/typecheck/tc-toplevel.rkt
    • typed/racket/base/lang/reader.rkt
    • typed-racket/utils/evt-contract.rkt
    • typed-racket/optimizer/float-complex.rkt
    • typed/racket/base.rkt
    • typed-racket/typecheck/tc-app/tc-app-apply.rkt
    • typed-racket/types/classes.rkt
    • typed-racket/static-contracts/combinators/unit.rkt
    • typed/private/rewriter.rkt
    • typed-racket/static-contracts/combinators/parametric.rkt
    • typed-racket/utils/any-wrap.rkt
    • typed-racket/optimizer/float.rkt
    • typed-racket/base-env/base-types-extra.rkt
    • typed-racket/env/signature-env.rkt
    • typed-racket/static-contracts/combinators/any.rkt
    • typed-racket/typecheck/tc-let-unit.rkt
    • typed-racket/base-env/colon.rkt
    • typed-racket/utils/print-struct.rkt
    • typed/racket/lang/reader.rkt
    • typed-racket/private/parse-type.rkt
    • typed-racket/infer/signatures.rkt
    • typed-racket/typecheck/check-subforms-unit.rkt
    • typed-racket/infer/fail.rkt
    • typed-racket/typecheck/def-binding.rkt
    • typed-racket/static-contracts/combinators/none.rkt
    • typed-racket/typecheck/renamer.rkt
    • typed/racket.rkt
    • typed-racket/static-contracts/combinators/simple.rkt
    • typed-racket/utils/timing.rkt
    • typed-racket/env/tvar-env.rkt
    • typed-racket/typecheck/tc-expression.rkt
    • typed-racket/typed-reader.rkt
    • typed-racket/static-contracts/combinators/control.rkt
    • typed-racket/private/type-annotation.rkt
    • typed-racket/utils/typed-method-property.rkt
    • typed-racket/typecheck/tc-if.rkt
    • typed-racket/optimizer/numeric-utils.rkt
    • typed-racket/optimizer/list.rkt
    • typed-racket/private/syntax-properties.rkt
    • typed-racket/types/kw-types.rkt
    • typed-racket/optimizer/vector.rkt
    • typed-racket/types/numeric-tower.rkt
    • typed/racket/date.rkt
    • typed-racket/utils/struct-type-c.rkt
    • typed-racket/utils/promise-not-name-contract.rkt
    • typed-racket/static-contracts/parametric-check.rkt
    • typed-racket/types/prop-ops.rkt
    • typed/racket/unsafe.rkt
    • typed-racket/utils/tc-utils.rkt
    • typed-racket/typecheck/tc-app/tc-app-hetero.rkt
    • typed-racket/typecheck/tc-app/tc-app-contracts.rkt
    • typed-racket/utils/lift.rkt
    • typed-racket/rep/base-types.rkt
    • typed-racket/base-env/prims-contract.rkt
    • typed-racket/rep/rep-utils.rkt
    • typed-racket/infer/infer.rkt
    • typed-racket/types/struct-table.rkt
    • typed-racket/static-contracts/combinators/name.rkt
    • typed-racket/utils/disarm.rkt
    • typed-racket/typecheck/possible-domains.rkt
    • typed-racket/base-env/unit-prims.rkt
    • typed-racket/base-env/annotate-classes.rkt
    • typed-racket/types/update.rkt
    • typed-racket/rep/type-rep.rkt
    • typed-racket/utils/struct-extraction.rkt
    • typed-racket/static-contracts/combinators/struct.rkt
    • typed-racket/optimizer/pair.rkt
    • typed-racket/types/resolve.rkt
    • typed-racket/base-env/base-env-indexing.rkt
    • typed-racket/env/global-env.rkt
    • typed-racket/standard-inits.rkt
    • typed-racket/base-env/base-env.rkt
    • typed-racket/types/union.rkt
    • typed-racket/typecheck/tc-app/tc-app-main.rkt
    • typed-racket/rep/type-mask.rkt
    • typed-racket/rep/core-rep.rkt
    • typed-racket/rep/base-type-rep.rkt
    • typed-racket/private/type-contract.rkt
    • typed/racket/base/no-check/lang/reader.rkt
    • typed-racket/types/prefab.rkt
    • typed-racket/types/generalize.rkt
    • typed-racket/typecheck/typechecker.rkt
    • typed-racket/types/base-abbrev.rkt
    • typed-racket/types/printer.rkt
    • typed-racket/base-env/env-lang.rkt
    • typed-racket/typecheck/check-below.rkt
    • typed-racket/infer/promote-demote.rkt
    • typed-racket/infer/intersect.rkt
    • typed-racket/base-env/base-env-numeric.rkt
    • typed-racket/optimizer/apply.rkt
    • typed-racket/base-env/top-interaction.rkt
    • typed-racket/base-env/type-name-error.rkt
    • typed-racket/typecheck/tc-structs.rkt
    • typed-racket/env/type-alias-helper.rkt
    • typed-racket/typecheck/tc-app/tc-app-eq.rkt
    • typed-racket/types/substitute.rkt
    • typed-racket/core.rkt
    • typed-racket/utils/unit-utils.rkt
    • typed-racket/private/class-literals.rkt
    • typed-racket/base-env/base-env-indexing-abs.rkt
    • typed-racket/env/row-constraint-env.rkt
    • typed-racket/private/with-types.rkt
    • typed-racket/env/type-env-structs.rkt
    • typed/racket/system.rkt
    • typed-racket/typecheck/tc-send.rkt
    • typed-racket/utils/simple-result-arrow.rkt
    • typed-racket/utils/arm.rkt
    • typed-racket/static-contracts/combinators/symbolic-object.rkt
    • typed/racket/unit.rkt
    • typed-racket/optimizer/sequence.rkt
    • typed-racket/utils/opaque-object.rkt
    • typed-racket/types/signatures.rkt
    • typed-racket/env/type-name-env.rkt
    • typed-racket/utils/utils.rkt
    • typed-racket/optimizer/number.rkt
    • typed-racket/typecheck/check-class-unit.rkt
    • typed-racket/typecheck/tc-subst.rkt
    • typed-racket/utils/require-contract.rkt
    • typed-racket/static-contracts/combinators/derived.rkt
    • typed-racket/utils/early-return.rkt
    • typed-racket/typed-racket.rkt
    • typed-racket/infer/infer-unit.rkt
    • typed-racket/base-env/ann-inst.rkt
    • typed-racket/optimizer/hidden-costs.rkt
    • typed-racket/static-contracts/combinators/object.rkt
    • typed-racket/rep/free-variance.rkt
    • typed-racket/typecheck/check-unit-unit.rkt
    • typed-racket/base-env/type-env-lang.rkt
    • typed-racket/static-contracts/optimize.rkt
    • typed/private/utils.rkt
    • typed-racket/types/abbrev.rkt
    • typed-racket/typecheck/tc-apply.rkt
    • typed-racket/optimizer/dead-code.rkt
    • typed-racket/typecheck/find-annotation.rkt
    • typed-racket/rep/object-rep.rkt
    • typed-racket/base-env/signature-prims.rkt
    • typed-racket/base-env/for-clauses.rkt
    • typed-racket/minimal/lang/reader.rkt
    • typed-racket/typecheck/tc-app/utils.rkt
    • typed-racket/typecheck/tc-app/tc-app-lambda.rkt
    • typed-racket/base-env/base-structs.rkt
    • typed-racket/rep/values-rep.rkt
    • typed-racket/types/match-expanders.rkt
    • typed-racket/utils/disappeared-use.rkt
    • typed-racket/typecheck/signatures.rkt
    • typed-racket/static-contracts/combinators/function.rkt
    • typed-racket/env/init-envs.rkt
    • typed-racket/env/type-alias-env.rkt
    • typed-racket/env/mvar-env.rkt
    • typed-racket/typecheck/internal-forms.rkt
    • typed-racket/typecheck/tc-funapp.rkt
    • typed/racket/no-check/lang/reader.rkt
    • typed-racket/types/current-seen.rkt
    • typed-racket/types/tc-result.rkt
    • typed-racket/rep/fme-utils.rkt
    • typed-racket/static-contracts/combinators/case-lambda.rkt
    • typed-racket/typecheck/tc-app/tc-app-special.rkt
    • typed-racket/optimizer/fixnum.rkt
    • typed-racket/base-env/extra-env-lang.rkt
    • typed-racket/utils/redirect-contract.rkt
    • typed-racket/optimizer/struct.rkt
    • typed-racket/types/path-type.rkt
    • typed-racket/infer/dmap.rkt
    • typed-racket/base-env/extra-procs.rkt
    • typed-racket/env/signature-helper.rkt
    • typed-racket/utils/sealing-contract.rkt
    • typed-racket/env/scoped-tvar-env.rkt
    • typed-racket/types/type-table.rkt
    • typed-racket/types/utils.rkt
    • typed-racket/base-env/base-types.rkt
    • typed-racket/rep/prop-rep.rkt
    • typed-racket/base-env/prims-struct.rkt
    • typed-racket/optimizer/string.rkt
    • typed-racket/minimal.rkt
    • typed-racket/base-env/class-clauses.rkt
    • typed-racket/typecheck/tc-lambda-unit.rkt
    • typed-racket/env/lexical-env.rkt
    • typed-racket/rep/filter-rep.rkt
    • typed-racket/typecheck/provide-handling.rkt
    • typed-racket/static-contracts/instantiate.rkt
    • typed-racket/types/subtype.rkt
    • typed-racket/types/overlap.rkt
    • typed-racket/typecheck/toplevel-trampoline.rkt
    • typed-racket/base-env/prims.rkt
    • typed-racket/static-contracts/combinators.rkt
    • typed-racket/optimizer/box.rkt
    • typed-racket/base-env/base-contracted.rkt
    • typed/racket/class.rkt
    • typed-racket/logic/ineq.rkt
    • typed-racket/utils/inspector.rkt
    • typed-racket/env/env-utils.rkt
    • typed-racket/rep/rep-switch.rkt
    • typed-racket/static-contracts/kinds.rkt
    • typed-racket/typecheck/tc-app/tc-app-objects.rkt
    • typed-racket/utils/tarjan.rkt
    • typed-racket/typecheck/tc-app/tc-app-keywords.rkt
    • typed-racket/utils/literal-syntax-class.rkt
    • typed-racket/rep/base-union.rkt
    • typed-racket/rep/numeric-base-types.rkt
    • typed-racket/types/numeric-predicates.rkt
    • typed-racket/optimizer/unboxed-tables.rkt
    • typed-racket/typecheck/tc-metafunctions.rkt