First moving private/contract.ss to a different name. The diaspora from
that file into others will happen next. svn: r16048
This commit is contained in:
parent
987ab4c5e8
commit
aca0bcf82e
|
@ -29,7 +29,7 @@
|
|||
;; except the arrow contracts
|
||||
;;
|
||||
|
||||
(require (except-in scheme/private/contract
|
||||
(require (except-in scheme/private/contract-base
|
||||
define/contract
|
||||
with-contract
|
||||
define-struct/contract)
|
||||
|
@ -43,7 +43,7 @@
|
|||
(except-out (all-from-out scheme/private/contract-ds)
|
||||
lazy-depth-to-look)
|
||||
|
||||
(except-out (all-from-out scheme/private/contract)
|
||||
(except-out (all-from-out scheme/private/contract-base)
|
||||
check-between/c
|
||||
string-len/c
|
||||
check-unary-between/c)
|
||||
|
|
|
@ -9,7 +9,7 @@ differences from v3:
|
|||
|
||||
|#
|
||||
|
||||
(require "private/contract.ss"
|
||||
(require "private/contract-base.ss"
|
||||
"private/contract-arrow.ss"
|
||||
"private/contract-guts.ss"
|
||||
"private/contract-ds.ss"
|
||||
|
@ -26,7 +26,7 @@ differences from v3:
|
|||
procedure-accepts-and-more?
|
||||
check-procedure
|
||||
check-procedure/more)
|
||||
(except-out (all-from-out "private/contract.ss")
|
||||
(except-out (all-from-out "private/contract-base.ss")
|
||||
∃?
|
||||
check-between/c
|
||||
check-unary-between/c))
|
||||
|
|
|
@ -1,6 +1,6 @@
|
|||
#lang scheme
|
||||
|
||||
(require "../private/contract.ss")
|
||||
(require "../private/contract-base.ss")
|
||||
|
||||
;; this code builds the list of predicates (in case it changes, this may need to be re-run)
|
||||
#;
|
||||
|
|
|
@ -1213,7 +1213,7 @@ improve method arity mismatch contract violation error messages?
|
|||
(let ([m (regexp-match #rx"^make-(.*)$" (format "~a" (syntax-e stx)))])
|
||||
(cond
|
||||
[m (cadr m)]
|
||||
[else (raise-syntax-error 'contract.ss
|
||||
[else (raise-syntax-error 'contract-base.ss
|
||||
"unable to cope with a struct maker whose name doesn't begin with `make-'"
|
||||
orig-stx)]))))
|
||||
|
|
@ -2,7 +2,7 @@
|
|||
|
||||
(require "contract-guts.ss"
|
||||
"contract-opt.ss"
|
||||
"contract.ss")
|
||||
"contract-base.ss")
|
||||
(require (for-syntax scheme/base
|
||||
"contract-opt-guts.ss"))
|
||||
|
||||
|
|
|
@ -18,7 +18,7 @@ another. Programmers specify the behavior of a module exports via
|
|||
constraints.
|
||||
|
||||
@note-lib[scheme/contract #:use-sources (scheme/private/contract-ds
|
||||
scheme/private/contract
|
||||
scheme/private/contract-base
|
||||
scheme/private/contract-guts)]
|
||||
|
||||
@deftech{Contracts} come in two forms: those constructed by the
|
||||
|
|
|
@ -195,7 +195,7 @@
|
|||
scheme/mzscheme
|
||||
scheme/nest
|
||||
scheme/private/class-internal
|
||||
scheme/private/contract
|
||||
scheme/private/contract-base
|
||||
scheme/private/contract-arrow
|
||||
scheme/private/contract-basic-opters
|
||||
scheme/private/contract-ds
|
||||
|
|
Loading…
Reference in New Issue
Block a user