6bf141513f
Each typed module now defines a submodule named `type-decl`. This module performs the type environment initialization (along with other environment updates) when invoked. Additionall, every typed module, when invoked, performs a for-syntax addition to a list specifying the submodules that need invocation. This invocation is then performed by the `#%module-begin` from Typed Racket. The `type-decl` module always goes at the beginning of the expanded module, so that it's available at syntax-time for all the other submodules. This involved adding pre- and post- syntaxes for the results of typechecking. This allows significant runtime dependency reduction from the main `typed/racket` and `typed/racket/base` languages (not yet complete). |
||
|---|---|---|
| .. | ||
| abbrev.rkt | ||
| convenience.rkt | ||
| filter-ops.rkt | ||
| generalize.rkt | ||
| kw-types.rkt | ||
| numeric-predicates.rkt | ||
| numeric-tower.rkt | ||
| printer.rkt | ||
| remove-intersect.rkt | ||
| resolve.rkt | ||
| substitute.rkt | ||
| subtype.rkt | ||
| tc-error.rkt | ||
| tc-result.rkt | ||
| type-table.rkt | ||
| union.rkt | ||
| utils.rkt | ||