suzanne.soy/typed-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 
original commit: c658a5687e0f9b9fdde8ae2dfbd9fda334fe9358
This commit is contained in:
Sam Tobin-Hochstadt 2011-06-24 08:20:03 -04:00
parent 74ac6a4d22
commit fc51aee0b1
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:]
[lambda: λ:]
[with-handlers: with-handlers]
[define-typed-struct/exec define-struct/exec:]
[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-extra
(for-syntax typed-scheme/base-env/base-types-extra))
(provide (rename-out [with-handlers: with-handlers]
[define-type-alias define-type])
(except-out (all-from-out typed-scheme/base-env/prims)
with-handlers: for/annotation for*/annotation)
(provide (rename-out [define-type-alias define-type])
(all-from-out typed-scheme/base-env/prims)
(all-from-out typed-scheme/base-env/base-types)
(all-from-out typed-scheme/base-env/base-types-extra)
assert defined? with-type for for*

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

@ -2,10 +2,10 @@
(require racket/require
(for-template
(except-in racket/base for for*)
(except-in racket/base for for* with-handlers)
"../base-env/prims.rkt"
(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"
syntax/parse racket/block racket/match
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-extra
(for-syntax typed-scheme/base-env/base-types-extra))
(provide (rename-out [with-handlers: with-handlers]
[define-type-alias define-type])
(except-out (all-from-out typed-scheme/base-env/prims)
with-handlers: for/annotation for*/annotation)
(provide (rename-out [define-type-alias define-type])
(all-from-out typed-scheme/base-env/prims)
(all-from-out typed-scheme/base-env/base-types)
(all-from-out typed-scheme/base-env/base-types-extra)
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-extra
(for-syntax typed-scheme/base-env/base-types-extra))
(provide (rename-out [with-handlers: with-handlers]
[define-type-alias define-type])
(except-out (all-from-out typed-scheme/base-env/prims)
with-handlers: for/annotation for*/annotation)
(provide (rename-out [define-type-alias define-type])
(all-from-out typed-scheme/base-env/prims)
(all-from-out typed-scheme/base-env/base-types)
(all-from-out typed-scheme/base-env/base-types-extra)
assert defined? with-type for for*