typed-racket/collects/typed-scheme/main.rkt
Sam Tobin-Hochstadt 30120ded59 Change `typed-scheme' numerics.
- `number?' no longer `real?'
 - Number no longer Real
 - remove obsolete environments
 - Fix tests to use Real where necessary.
 - Fix typed/mred and typed/framework
 - Fix insert-large-letters to use `sub1' for type-safe loop

Merge to 5.0.

original commit: d323a794e86993dc6a594d3d732d1cd623945d21
2010-05-28 19:24:46 -04:00

22 lines
743 B
Racket

#lang s-exp "minimal.rkt"
(providing (libs (except scheme/base #%module-begin #%top-interaction with-handlers lambda #%app)
(except "private/prims.rkt")
(except "private/base-types-new.rkt")
(except "private/base-types-extra.rkt"))
(basics #%module-begin
#%top-interaction
lambda
#%app))
(require "private/base-env.rkt"
"private/base-special-env.rkt"
"private/base-env-numeric.rkt"
"private/base-env-indexing.rkt"
"private/extra-procs.rkt"
(for-syntax "private/base-types-extra.rkt"))
(provide (rename-out [with-handlers: with-handlers])
(for-syntax (all-from-out "private/base-types-extra.rkt"))
assert with-type)