typed-racket/typed-racket-lib/typed-racket
Matthew Flatt 011649a654 move contract submodules to start of enclosing module
Putting the contract submodules early enough allows them to be used
for `module*` submodules.

Repairs a problem reported by Alexander:
 http://lists.racket-lang.org/users/archive/2015-March/066164.html
2015-03-06 09:41:29 -05:00
..
base-env Adjust named-let to use the return type annotation whenever possible 2015-03-04 15:17:35 -08:00
env Use absent in some row poly class contracts 2015-03-04 16:26:35 -05:00
infer dont let-alias type vars, better overlap & restrict 2015-01-06 13:51:40 -05:00
minimal/lang Remove extra directories. 2014-12-02 00:53:36 -05:00
optimizer Remove extra directories. 2014-12-02 00:53:36 -05:00
private Use absent in some row poly class contracts 2015-03-04 16:26:35 -05:00
rep Added occurrence typing for private fields. 2015-02-12 16:31:18 -05:00
static-contracts Use absent in some row poly class contracts 2015-03-04 16:26:35 -05:00
typecheck move contract submodules to start of enclosing module 2015-03-06 09:41:29 -05:00
types fixed base/value overlap bug 2015-03-03 23:20:15 -05:00
utils Add a custom object contract for use in TR 2015-03-04 16:26:35 -05:00
core.rkt Remove extra directories. 2014-12-02 00:53:36 -05:00
HISTORY.txt Remove extra directories. 2014-12-02 00:53:36 -05:00
info.rkt Remove extra directories. 2014-12-02 00:53:36 -05:00
language-info.rkt Remove extra directories. 2014-12-02 00:53:36 -05:00
minimal.rkt Remove extra directories. 2014-12-02 00:53:36 -05:00
standard-inits.rkt Remove extra directories. 2014-12-02 00:53:36 -05:00
tc-setup.rkt Remove extra directories. 2014-12-02 00:53:36 -05:00
typed-racket.rkt Remove extra directories. 2014-12-02 00:53:36 -05:00
typed-reader.rkt Remove extra directories. 2014-12-02 00:53:36 -05:00