require-typed-check

require/typed, but skips contracts on already-typed imports

Build status: ok passing tests missing license metadata

Documentation README Code
Documentation
Tags
License
    Last updatedThursday, March 2nd, 2023 4:32:48am (UTC)
    Ring1
    ConflictsNone
    Dependencies
    Most recent build results
    Version Exceptions
    VersionSourceChecksum
    defaultgit://github.com/bennn/require-typed-check5a22965f395d61b3b58b0181e1929e8e25f4f5d1
    Last checkedTuesday, June 6th, 2023 10:52:57am (UTC)
    Last editedSunday, July 17th, 2016 2:19:26pm (UTC)
    Date addedN/A
    Modules
    • require-typed-check/test/fsm/population.rkt
    • require-typed-check/private/stxcls.rkt
    • require-typed-check/test/fsm/main.rkt
    • require-typed-check/test/basic/optional-lib.rkt
    • require-typed-check/test/bogus/main.rkt
    • require-typed-check/logging.rkt
    • require-typed-check/main.rkt
    • require-typed-check/deep.rkt
    • require-typed-check/scribblings/require-typed-check.scrbl
    • require-typed-check/test/opaque/unsafe.rkt
    • require-typed-check/test/fsm/automata.rkt
    • require-typed-check/test/opaque/main.rkt
    • require-typed-check/test/opaque/optional.rkt
    • require-typed-check/private/log.rkt
    • require-typed-check/private/require-typed-check.rkt
    • require-typed-check/test/basic/deep.rkt
    • require-typed-check/test/opaque/untyped.rkt
    • require-typed-check/optional.rkt
    • require-typed-check/test/opaque/typed.rkt
    • require-typed-check/test/basic/main.rkt
    • require-typed-check/test/basic/unsafe.rkt
    • require-typed-check/test/pr/3.rkt
    • require-typed-check/test/opaque/shallow.rkt
    • require-typed-check/test/bogus/typed.rkt
    • require-typed-check/test/fsm/utilities.rkt
    • require-typed-check/test/pr/1.rkt
    • require-typed-check/test/basic/shallow-lib.rkt
    • require-typed-check/test/basic/untyped.rkt
    • require-typed-check/private/test-util.rkt
    • require-typed-check/shallow.rkt
    • require-typed-check/test/fsm/automata-adapted.rkt
    • require-typed-check/test/basic/shallow.rkt
    • require-typed-check/unsafe.rkt
    • require-typed-check/test/basic/typed.rkt
    • require-typed-check/test/submodule/main.rkt
    • require-typed-check/private/typed-lib-cache.rkt
    • require-typed-check/test/basic/optional.rkt