racket/collects/typed-racket/base-env
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
..
annotate-classes.rkt Move typed-scheme to typed-racket collection. 2011-09-03 20:49:39 -04:00
base-env-indexing-abs.rkt Fix types for regexp-match*' and regexp-match-positions*'. 2012-03-19 15:59:34 -04:00
base-env-indexing.rkt Move typed-scheme to typed-racket collection. 2011-09-03 20:49:39 -04:00
base-env-numeric.rkt Fix NaN and inf handling in flonum specific op types. 2012-05-25 17:15:22 -04:00
base-env.rkt Use the new syntax properties for checking keyword functions. 2012-06-01 18:37:02 -04:00
base-special-env.rkt Use the new syntax properties for checking keyword functions. 2012-06-01 18:37:02 -04:00
base-structs.rkt Move typed-scheme to typed-racket collection. 2011-09-03 20:49:39 -04:00
base-types-extra.rkt Add an alternate name for case->. 2012-01-13 11:28:36 -05:00
base-types.rkt Fix handling of NaN and infinities. 2012-05-25 17:15:22 -04:00
colon.rkt Fix curried function type parsing without (). 2011-10-28 15:43:29 -04:00
env-lang.rkt Move typed-scheme to typed-racket collection. 2011-09-03 20:49:39 -04:00
extra-procs.rkt Move typed-scheme to typed-racket collection. 2011-09-03 20:49:39 -04:00
for-clauses.rkt Move typed-scheme to typed-racket collection. 2011-09-03 20:49:39 -04:00
internal.rkt Move typed-scheme to typed-racket collection. 2011-09-03 20:49:39 -04:00
prims.rkt Fix prims.rkt's type->contract to accept keyword arguments. 2012-05-08 11:16:27 -04:00
type-env-lang.rkt Move typed-scheme to typed-racket collection. 2011-09-03 20:49:39 -04:00