suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Provide `with-handlers' from prims.rkt under its real name.

Browse Source
This commit is contained in:
Sam Tobin-Hochstadt 2011-06-24 08:20:03 -04:00
parent ce0f542028
commit c658a5687e
5 changed files with 10 additions and 15 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
collects/typed-scheme/base-env/prims.rkt
View File

@ -19,10 +19,11 @@ This file defines two sorts of primitives. All of them are provided into any mod
|# |#
(provide (except-out (all-defined-out) dtsi* let-internal: define-for-variants define-for*-variants) (provide (except-out (all-defined-out) dtsi* let-internal: define-for-variants define-for*-variants with-handlers: for/annotation for*/annotation)
: :
(rename-out [define-typed-struct define-struct:] (rename-out [define-typed-struct define-struct:]
[lambda: λ:] [lambda: λ:]
[with-handlers: with-handlers]
[define-typed-struct/exec define-struct/exec:] [define-typed-struct/exec define-struct/exec:]
[for/annotation for] [for/annotation for]
[for*/annotation for*])) [for*/annotation for*]))

6
collects/typed-scheme/main.rkt
View File

@ -7,10 +7,8 @@
typed-scheme/base-env/base-types typed-scheme/base-env/base-types
typed-scheme/base-env/base-types-extra typed-scheme/base-env/base-types-extra
(for-syntax typed-scheme/base-env/base-types-extra)) (for-syntax typed-scheme/base-env/base-types-extra))
(provide (rename-out [with-handlers: with-handlers] (provide (rename-out [define-type-alias define-type])
[define-type-alias define-type]) (all-from-out typed-scheme/base-env/prims)
(except-out (all-from-out typed-scheme/base-env/prims)
with-handlers: for/annotation for*/annotation)
(all-from-out typed-scheme/base-env/base-types) (all-from-out typed-scheme/base-env/base-types)
(all-from-out typed-scheme/base-env/base-types-extra) (all-from-out typed-scheme/base-env/base-types-extra)
assert defined? with-type for for* assert defined? with-type for for*

4
collects/typed-scheme/private/with-types.rkt
View File

@ -2,10 +2,10 @@
(require racket/require (require racket/require
(for-template (for-template
(except-in racket/base for for*) (except-in racket/base for for* with-handlers)
"../base-env/prims.rkt" "../base-env/prims.rkt"
(prefix-in c: (combine-in racket/contract/region racket/contract/base))) (prefix-in c: (combine-in racket/contract/region racket/contract/base)))
"../base-env/extra-procs.rkt" "../base-env/prims.rkt" "../base-env/extra-procs.rkt" (except-in "../base-env/prims.rkt" with-handlers)
"../tc-setup.rkt" "../tc-setup.rkt"
syntax/parse racket/block racket/match syntax/parse racket/block racket/match
unstable/sequence "../base-env/base-types-extra.rkt" unstable/sequence "../base-env/base-types-extra.rkt"

6
collects/typed/racket/base.rkt
View File

@ -8,10 +8,8 @@
typed-scheme/base-env/base-types typed-scheme/base-env/base-types
typed-scheme/base-env/base-types-extra typed-scheme/base-env/base-types-extra
(for-syntax typed-scheme/base-env/base-types-extra)) (for-syntax typed-scheme/base-env/base-types-extra))
(provide (rename-out [with-handlers: with-handlers] (provide (rename-out [define-type-alias define-type])
[define-type-alias define-type]) (all-from-out typed-scheme/base-env/prims)
(except-out (all-from-out typed-scheme/base-env/prims)
with-handlers: for/annotation for*/annotation)
(all-from-out typed-scheme/base-env/base-types) (all-from-out typed-scheme/base-env/base-types)
(all-from-out typed-scheme/base-env/base-types-extra) (all-from-out typed-scheme/base-env/base-types-extra)
assert defined? with-type for for* assert defined? with-type for for*

6
collects/typed/scheme/base.rkt
View File

@ -8,10 +8,8 @@
typed-scheme/base-env/base-types typed-scheme/base-env/base-types
typed-scheme/base-env/base-types-extra typed-scheme/base-env/base-types-extra
(for-syntax typed-scheme/base-env/base-types-extra)) (for-syntax typed-scheme/base-env/base-types-extra))
(provide (rename-out [with-handlers: with-handlers] (provide (rename-out [define-type-alias define-type])
[define-type-alias define-type]) (all-from-out typed-scheme/base-env/prims)
(except-out (all-from-out typed-scheme/base-env/prims)
with-handlers: for/annotation for*/annotation)
(all-from-out typed-scheme/base-env/base-types) (all-from-out typed-scheme/base-env/base-types)
(all-from-out typed-scheme/base-env/base-types-extra) (all-from-out typed-scheme/base-env/base-types-extra)
assert defined? with-type for for* assert defined? with-type for for*