removed the re-providing from internal files in the contract impl.
This commit is contained in:
parent
eb06e38065
commit
b8c7a753d3
|
@ -47,6 +47,8 @@
|
|||
racket/contract/private/misc
|
||||
racket/contract/private/provide
|
||||
racket/contract/private/guts
|
||||
racket/contract/private/prop
|
||||
racket/contract/private/blame
|
||||
racket/contract/private/ds
|
||||
racket/contract/private/opt
|
||||
racket/contract/private/basic-opters)
|
||||
|
@ -67,7 +69,9 @@
|
|||
(rename-out [string-len/c string/len])
|
||||
(except-out (all-from-out racket/contract/private/guts)
|
||||
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
|
||||
|
|
|
@ -1,7 +1,8 @@
|
|||
#lang racket/base
|
||||
|
||||
(provide (all-defined-out))
|
||||
(require racket/contract/private/guts)
|
||||
(require racket/contract/private/guts
|
||||
racket/contract/private/blame)
|
||||
|
||||
(define empty-case-lambda/c
|
||||
(flat-named-contract '(case->)
|
||||
|
|
|
@ -4,7 +4,9 @@
|
|||
|
||||
(require (for-syntax 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"))
|
||||
|
||||
(provide make-/proc ->/h ->*/h ->d/h ->d*/h ->r/h
|
||||
|
|
|
@ -1,6 +1,8 @@
|
|||
#lang racket/base
|
||||
|
||||
(require racket/contract/private/guts
|
||||
racket/contract/private/blame
|
||||
racket/contract/private/prop
|
||||
racket/contract/private/opt
|
||||
"contract-arr-checks.rkt")
|
||||
(require (for-syntax racket/base)
|
||||
|
|
|
@ -4,7 +4,8 @@
|
|||
(only-in racket/contract/private/vector
|
||||
vector-immutableof vector-immutable/c)
|
||||
racket/contract/private/blame
|
||||
racket/contract/private/guts)
|
||||
racket/contract/private/guts
|
||||
racket/contract/private/prop)
|
||||
|
||||
(provide box/c box-immutable/c
|
||||
vector/c vectorof vector-immutableof vector-immutable/c)
|
||||
|
|
|
@ -1,6 +1,7 @@
|
|||
#lang racket/base
|
||||
(require "contract-arrow.rkt"
|
||||
racket/contract/private/guts
|
||||
racket/contract/private/prop
|
||||
racket/private/class-internal
|
||||
"contract-arr-checks.rkt")
|
||||
|
||||
|
|
|
@ -1,6 +1,6 @@
|
|||
#lang racket/base
|
||||
|
||||
;; A stripped down version of scheme/contract for use in
|
||||
;; A stripped down version of racket/contract for use in
|
||||
;; the PLT code base where appropriate.
|
||||
|
||||
(require "private/arrow.rkt"
|
||||
|
@ -15,7 +15,9 @@
|
|||
"private/guts.rkt"
|
||||
"private/legacy.rkt"
|
||||
"private/ds.rkt"
|
||||
"private/opt.rkt")
|
||||
"private/opt.rkt"
|
||||
"private/blame.rkt"
|
||||
"private/prop.rkt")
|
||||
|
||||
(provide
|
||||
opt/c define-opt/c ;(all-from-out "private/opt.rkt")
|
||||
|
@ -41,4 +43,7 @@
|
|||
(all-from-out "private/legacy.rkt")
|
||||
(except-out (all-from-out "private/guts.rkt")
|
||||
check-flat-contract
|
||||
check-flat-named-contract))
|
||||
check-flat-named-contract)
|
||||
|
||||
(except-out (all-from-out "private/blame.rkt") make-blame)
|
||||
(all-from-out "private/prop.rkt"))
|
||||
|
|
|
@ -1,6 +1,8 @@
|
|||
#lang racket/base
|
||||
|
||||
(require "private/guts.rkt")
|
||||
(require "private/guts.rkt"
|
||||
"private/prop.rkt"
|
||||
"private/blame.rkt")
|
||||
|
||||
(provide new-∃/c
|
||||
new-∀/c
|
||||
|
|
|
@ -3,6 +3,8 @@
|
|||
(require "guts.rkt"
|
||||
"arrow.rkt"
|
||||
"opt.rkt"
|
||||
"blame.rkt"
|
||||
"prop.rkt"
|
||||
racket/stxparam
|
||||
|
||||
(for-syntax racket/base
|
||||
|
|
|
@ -4,6 +4,7 @@
|
|||
"prop.rkt"
|
||||
"guts.rkt"
|
||||
"opt.rkt"
|
||||
"blame.rkt"
|
||||
unstable/location
|
||||
(for-syntax racket/base
|
||||
racket/stxparam-exptime
|
||||
|
|
|
@ -20,6 +20,8 @@ v4 todo:
|
|||
|
||||
(require "guts.rkt"
|
||||
"opt.rkt"
|
||||
"blame.rkt"
|
||||
"prop.rkt"
|
||||
racket/stxparam)
|
||||
(require (for-syntax racket/base)
|
||||
(for-syntax "opt-guts.rkt")
|
||||
|
|
|
@ -19,6 +19,7 @@ improve method arity mismatch contract violation error messages?
|
|||
unstable/location
|
||||
"guts.rkt"
|
||||
"blame.rkt"
|
||||
"prop.rkt"
|
||||
"arrow.rkt")
|
||||
|
||||
(define-syntax-parameter current-contract-region
|
||||
|
|
|
@ -1,6 +1,8 @@
|
|||
#lang racket/base
|
||||
|
||||
(require (for-syntax racket/base)
|
||||
"prop.rkt"
|
||||
"blame.rkt"
|
||||
"guts.rkt")
|
||||
|
||||
(provide box-immutable/c
|
||||
|
|
|
@ -18,6 +18,8 @@ it around flattened out.
|
|||
|#
|
||||
|
||||
(require "guts.rkt"
|
||||
"prop.rkt"
|
||||
"blame.rkt"
|
||||
"opt.rkt")
|
||||
(require (for-syntax scheme/base)
|
||||
(for-syntax "ds-helpers.rkt")
|
||||
|
|
|
@ -8,9 +8,7 @@
|
|||
(require (for-syntax racket/base
|
||||
"helpers.rkt"))
|
||||
|
||||
(provide (except-out (all-from-out "blame.rkt") make-blame)
|
||||
(all-from-out "prop.rkt")
|
||||
|
||||
(provide
|
||||
coerce-contract
|
||||
coerce-contracts
|
||||
coerce-flat-contract
|
||||
|
|
|
@ -1,7 +1,9 @@
|
|||
#lang racket/base
|
||||
|
||||
(require (for-syntax racket/base)
|
||||
"guts.ss")
|
||||
"guts.rkt"
|
||||
"blame.rkt"
|
||||
"prop.rkt")
|
||||
|
||||
(provide (rename-out [wrap-hash/c hash/c]))
|
||||
|
||||
|
|
|
@ -1,6 +1,6 @@
|
|||
#lang racket/base
|
||||
|
||||
(require "guts.rkt" "blame.rkt" unstable/srcloc)
|
||||
(require "guts.rkt" "blame.rkt" "prop.rkt" unstable/srcloc)
|
||||
|
||||
(provide make-proj-contract
|
||||
raise-contract-error
|
||||
|
|
|
@ -5,6 +5,8 @@
|
|||
"opt-guts.rkt")
|
||||
racket/promise
|
||||
"opt.rkt"
|
||||
"prop.rkt"
|
||||
"blame.rkt"
|
||||
"guts.rkt")
|
||||
|
||||
(provide flat-rec-contract
|
||||
|
|
|
@ -1,6 +1,7 @@
|
|||
#lang scheme/base
|
||||
(require "arrow.rkt"
|
||||
"guts.rkt"
|
||||
"prop.rkt"
|
||||
racket/private/class-internal
|
||||
scheme/stxparam)
|
||||
|
||||
|
|
|
@ -1,7 +1,8 @@
|
|||
#lang racket/base
|
||||
(require syntax/private/boundmap ;; needs to be the private one, since the public one has contracts
|
||||
(for-template racket/base)
|
||||
(for-template "guts.rkt")
|
||||
(for-template "guts.rkt"
|
||||
"blame.rkt")
|
||||
(for-syntax racket/base))
|
||||
|
||||
(provide get-opter reg-opter! opter
|
||||
|
|
|
@ -1,5 +1,7 @@
|
|||
#lang racket/base
|
||||
(require "guts.rkt"
|
||||
"prop.rkt"
|
||||
"blame.rkt"
|
||||
racket/stxparam)
|
||||
(require (for-syntax racket/base)
|
||||
(for-syntax "opt-guts.rkt")
|
||||
|
|
|
@ -4,7 +4,9 @@
|
|||
racket/list
|
||||
racket/struct-info)
|
||||
racket/list
|
||||
"guts.rkt")
|
||||
"guts.rkt"
|
||||
"blame.rkt"
|
||||
"prop.rkt")
|
||||
|
||||
(provide struct/c)
|
||||
|
||||
|
|
|
@ -1,7 +1,9 @@
|
|||
#lang racket/base
|
||||
|
||||
(require (for-syntax racket/base)
|
||||
"guts.ss")
|
||||
"guts.ss"
|
||||
"prop.rkt"
|
||||
"blame.rkt")
|
||||
|
||||
(provide (rename-out [wrap-vectorof vectorof]
|
||||
[wrap-vector/c vector/c])
|
||||
|
|
Loading…
Reference in New Issue
Block a user