require-typed-check

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

Build status: ok passing tests

Authors

types@ccs.neu.edu

Documentation

require-typed-check

Tags

Last updated

Friday, April 17th, 2020 4:11:45pm (UTC)

Ring

1

Conflicts

None

Dependencies

Most recent build results

Compiled successfully: transcript
Tests succeeded: transcript

Version Exceptions

Version	Source	Checksum
default	git://github.com/bennn/require-typed-check	7e8777a8576a74084c577b82dafaa759fe5ddfa8

Last checked

Thursday, July 9th, 2020 3:22:55pm (UTC)

Last edited

Sunday, July 17th, 2016 2:19:26pm (UTC)

Date added

N/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