..
annotate-classes.rkt
Made annotations optional for let: and variants.
2010-09-16 13:24:10 -04:00
base-env-indexing-abs.rkt
Update base-env-indexing to use the new types.
2011-01-31 16:39:15 -05:00
base-env-indexing.rkt
TR's numeric tower is now built from unions of non-overlapping base types.
2011-01-31 16:39:13 -05:00
base-env-numeric.rkt
Fix type of sqr.
2011-03-21 16:06:37 -04:00
base-env.rkt
Changes to the regular base type environment.
2011-03-18 10:25:22 -04:00
base-special-env.rkt
created racket/syntax from parts of unstable/syntax
2011-04-07 09:47:20 -06:00
base-structs.rkt
Avoid printing results of `define-hierarchy'
2010-09-09 16:08:04 -04:00
base-types-extra.rkt
Add a case-> type-constructor as a synonym for case-lambda.
2011-01-31 16:39:20 -05:00
base-types.rkt
Add an Exact-Number type.
2011-03-18 10:25:20 -04:00
colon.rkt
Remove unused code.
2011-04-18 15:41:50 -04:00
env-lang.rkt
Add a helper function to add filters en masse to express propositions
2011-03-18 10:25:20 -04:00
extra-procs.rkt
Add `defined?' assertions to fix DrRacket.
2010-12-08 18:53:56 -05:00
for-clauses.rkt
Made some type annotations optional in the for: macros.
2010-09-15 20:21:51 -04:00
parse-type.rkt
Remove useless requires.
2011-04-20 09:41:42 -04:00
prims.rkt
created racket/syntax from parts of unstable/syntax
2011-04-07 09:47:20 -06:00
type-annotation.rkt
Lots more laziness, and useless require removal.
2010-09-09 16:08:03 -04:00
type-contract.rkt
renamed parametric/c to parametric->/c
2011-04-09 21:45:49 -05:00
type-env-lang.rkt
Change a bunch of "~%" and "~n" in format strings to "\n".
2010-08-25 17:17:01 -04:00
with-types.rkt
added the racket/contract/combinator library,
2011-04-25 11:51:44 -05:00
59f0bfe857