suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
e56663c943
racket/collects/typed-scheme/private
History
Vincent St-Amour e56663c943 Add a predicate field to base types, which makes checking for 
subtyping of value types easier.

However, this means that base types can't be marshaled as before,
since these predicates can't be marshaled. Instead, we now marshal
base types as identifiers that refer to their base type object.
2011-01-31 16:39:13 -05:00
..
annotate-classes.rkt Made annotations optional for let: and variants. 2010-09-16 13:24:10 -04:00
base-env-indexing-abs.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-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 TR's numeric tower is now built from unions of non-overlapping base types. 2011-01-31 16:39:13 -05:00
base-env.rkt TR's numeric tower is now built from unions of non-overlapping base types. 2011-01-31 16:39:13 -05:00
base-special-env.rkt Better handling of `hash-*' functions, and hashes as sequences. 2010-12-08 18:22:29 -05:00
base-structs.rkt Avoid printing results of `define-hierarchy' 2010-09-09 16:08:04 -04:00
base-types-extra.rkt First attempts at adding ListDots (and, incidentally, List*) types. 2010-06-21 18:29:55 -04:00
base-types.rkt TR's numeric tower is now built from unions of non-overlapping base types. 2011-01-31 16:39:13 -05:00
colon.rkt Change a bunch of "~%" and "~n" in format strings to "\n". 2010-08-25 17:17:01 -04:00
env-lang.rkt Lots more laziness, and useless require removal. 2010-09-09 16:08:03 -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
internal.rkt rename all files .ss -> .rkt 2010-04-27 16:50:15 -06:00
parse-type.rkt Allow arbitrary filter specification in function types. 2010-12-08 18:22:29 -05:00
prims.rkt Avoid dumb parsing bugs in require/typed. 2010-10-26 18:09:45 -04:00
type-annotation.rkt Lots more laziness, and useless require removal. 2010-09-09 16:08:03 -04:00
type-contract.rkt Add a predicate field to base types, which makes checking for 2011-01-31 16:39:13 -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
typed-renaming.rkt rename all files .ss -> .rkt 2010-04-27 16:50:15 -06:00
with-types.rkt Lots more laziness, and useless require removal. 2010-09-09 16:08:03 -04:00