require-typed-check

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

Build status: ok passing tests

Documentation README Code
Authors
Documentation
Tags
Last updatedTuesday, December 17th, 2019 8:09:05pm (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaultgit://github.com/bennn/require-typed-checkbd23755c0a4f7df377f312c8cc9b1bfd15e0366d
Last checkedTuesday, January 21st, 2020 10:09:52pm (UTC)
Last editedSunday, July 17th, 2016 2:19:26pm (UTC)
Date addedN/A
Modules
  • require-typed-check/test/basic/main.rkt
  • require-typed-check/test/fsm/automata.rkt
  • require-typed-check/test/fsm/main.rkt
  • require-typed-check/scribblings/require-typed-check.scrbl
  • require-typed-check/test/fsm/utilities.rkt
  • require-typed-check/private/log.rkt
  • require-typed-check/test/submodule/main.rkt
  • require-typed-check/test/fsm/automata-adapted.rkt
  • require-typed-check/test/opaque/untyped.rkt
  • require-typed-check/private/test-util.rkt
  • require-typed-check/test/bogus/main.rkt
  • require-typed-check/test/basic/untyped.rkt
  • require-typed-check/test/pr/3.rkt
  • require-typed-check/test/fsm/population.rkt
  • require-typed-check/test/opaque/main.rkt
  • require-typed-check/test/pr/1.rkt
  • require-typed-check/test/bogus/typed.rkt
  • require-typed-check/test/opaque/typed.rkt
  • require-typed-check/test/basic/typed.rkt
  • require-typed-check/main.rkt
  • require-typed-check/logging.rkt
  • require-typed-check/private/require-typed-check.rkt