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

removed the re-providing from internal files in the contract impl.

Browse Source 
original commit: b8c7a753d3e6c06190cbe3560610710c48131960
This commit is contained in:
Robby Findler 2011-03-28 14:56:25 -05:00
parent 5bd3e1f45a
commit 124283c808
6 changed files with 15 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
collects/mzlib/contract.rkt
View File

@ -47,6 +47,8 @@
racket/contract/private/misc racket/contract/private/misc
racket/contract/private/provide racket/contract/private/provide
racket/contract/private/guts racket/contract/private/guts
racket/contract/private/prop
racket/contract/private/blame
racket/contract/private/ds racket/contract/private/ds
racket/contract/private/opt racket/contract/private/opt
racket/contract/private/basic-opters) racket/contract/private/basic-opters)
@ -67,7 +69,9 @@
(rename-out [string-len/c string/len]) (rename-out [string-len/c string/len])
(except-out (all-from-out racket/contract/private/guts) (except-out (all-from-out racket/contract/private/guts)
check-flat-contract check-flat-contract
check-flat-named-contract)) check-flat-named-contract)
(all-from-out racket/contract/private/prop
racket/contract/private/blame))
;; copied here because not provided by racket/contract anymore ;; copied here because not provided by racket/contract anymore

3
collects/mzlib/private/contract-arr-checks.rkt
View File

@ -1,7 +1,8 @@
#lang racket/base #lang racket/base
(provide (all-defined-out)) (provide (all-defined-out))
(require racket/contract/private/guts) (require racket/contract/private/guts
racket/contract/private/blame)
(define empty-case-lambda/c (define empty-case-lambda/c
(flat-named-contract '(case->) (flat-named-contract '(case->)

4
collects/mzlib/private/contract-arr-obj-helpers.rkt
View File

@ -4,7 +4,9 @@
(require (for-syntax scheme/base)) (require (for-syntax scheme/base))
(require (for-template scheme/base) (require (for-template scheme/base)
(for-template racket/contract/private/guts) (for-template racket/contract/private/guts
racket/contract/private/prop
racket/contract/private/blame)
(for-template "contract-arr-checks.rkt")) (for-template "contract-arr-checks.rkt"))
(provide make-/proc ->/h ->*/h ->d/h ->d*/h ->r/h (provide make-/proc ->/h ->*/h ->d/h ->d*/h ->r/h

2
collects/mzlib/private/contract-arrow.rkt
View File

@ -1,6 +1,8 @@
#lang racket/base #lang racket/base
(require racket/contract/private/guts (require racket/contract/private/guts
racket/contract/private/blame
racket/contract/private/prop
racket/contract/private/opt racket/contract/private/opt
"contract-arr-checks.rkt") "contract-arr-checks.rkt")
(require (for-syntax racket/base) (require (for-syntax racket/base)

3
collects/mzlib/private/contract-mutable.rkt
View File

@ -4,7 +4,8 @@
(only-in racket/contract/private/vector (only-in racket/contract/private/vector
vector-immutableof vector-immutable/c) vector-immutableof vector-immutable/c)
racket/contract/private/blame racket/contract/private/blame
racket/contract/private/guts) racket/contract/private/guts
racket/contract/private/prop)
(provide box/c box-immutable/c (provide box/c box-immutable/c
vector/c vectorof vector-immutableof vector-immutable/c) vector/c vectorof vector-immutableof vector-immutable/c)

1
collects/mzlib/private/contract-object.rkt
View File

@ -1,6 +1,7 @@
#lang racket/base #lang racket/base
(require "contract-arrow.rkt" (require "contract-arrow.rkt"
racket/contract/private/guts racket/contract/private/guts
racket/contract/private/prop
racket/private/class-internal racket/private/class-internal
"contract-arr-checks.rkt") "contract-arr-checks.rkt")