racket/collects/typed-racket/types
Sam Tobin-Hochstadt a377c42357 Use the new syntax properties for checking keyword functions.
Previously, some hacks were used to obtain the internal
identifiers that implemented keyword functions directly, and
give them types at startup.  Now, the primary "function"
(eg, `sort`) is given a type, and when used, the residual
syntax properties are used to find `sort` from the real
functions, and then the type of the real function is computed
from the type of `sort`.

Some creativity was required in the types of functions which
take optional arguments that when present, alter the return type,
such as `regexp-match*` and `file->list`.
2012-06-01 18:37:02 -04:00
..
abbrev.rkt Use the new syntax properties for checking keyword functions. 2012-06-01 18:37:02 -04:00
comparison.rkt
convenience.rkt
filter-ops.rkt Some selective #:when (not ...)' -> #:unless ...'. 2011-09-16 10:48:18 -04:00
kw-types.rkt Use the new syntax properties for checking keyword functions. 2012-06-01 18:37:02 -04:00
numeric-predicates.rkt
numeric-tower.rkt Fix handling of NaN and infinities. 2012-05-25 17:15:22 -04:00
printer.rkt Drop the now-redundant " " argument from existing uses of `string-join'. 2012-05-24 10:40:20 -04:00
remove-intersect.rkt Fix overlap with sequences. 2012-02-20 15:09:51 -05:00
resolve.rkt
substitute.rkt Pass temporary value for Un' along in recursive call in substitute'. 2012-02-24 20:25:53 -05:00
subtype.rkt Compare numeric unions using a linear scan. 2011-09-13 11:22:24 -04:00
type-table.rkt Union types instead of clobbering them in the type table. 2012-01-13 11:28:36 -05:00
union.rkt Fix Typed Racket build with contracts enabled. 2012-04-06 10:24:49 -04:00
utils.rkt