suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
2d095c4112
typed-racket/typed-racket-lib/typed-racket
History
Matthew Flatt 2d095c4112 adapt to letrec-syntaxes+values removal and quote-syntax extension 
The `quote-syntax` form now suports a `#:local` option, which is
used for type annotations to preserve binding context.

Since `letrec-syntaxes+values` is now removed by `local-expand`,
some patterns must be adjusted, including the pattern used
for type annotations.
2015-07-16 08:40:34 -06:00
..
base-env adapt to letrec-syntaxes+values removal and quote-syntax extension 2015-07-16 08:40:34 -06:00
env Add sealing contracts for row polymorphic types 2015-05-13 20:52:32 -04:00
infer Generate trivial constraints for missing type variables. 2015-06-23 16:08:23 -04:00
minimal/lang Remove extra directories. 2014-12-02 00:53:36 -05:00
optimizer adapt to letrec-syntaxes+values removal and quote-syntax extension 2015-07-16 08:40:34 -06:00
private Allow more flexible keywords in ->* types 2015-06-02 01:05:05 -04:00
rep Make sure that user-specified clauses come before default clauses in type-case. 2015-06-02 17:32:33 -04:00
static-contracts Add sealing contracts for row polymorphic types 2015-05-13 20:52:32 -04:00
typecheck adapt to letrec-syntaxes+values removal and quote-syntax extension 2015-07-16 08:40:34 -06:00
types Change Module-Path type to accommodate submodules 2015-06-10 12:21:51 -04:00
utils adapt to letrec-syntaxes+values removal and quote-syntax extension 2015-07-16 08:40:34 -06:00
core.rkt Fix minor contract violation in REPL messages 2015-03-09 15:59:02 -04:00
HISTORY.txt Add prefab structs to HISTORY. 2015-04-03 21:33:39 -04: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 Significantly reduce dependencies. 2015-04-03 12:50:55 -04:00
typed-reader.rkt Disable the #{} reader macro if a dispatch macro already exists on #\{ 2015-05-14 14:35:30 -07:00