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

added the racket/contract/combinator library,

Browse Source 
and documented and adjusted these libraries:
     racket/contract/base
     racket/contract/exists
     racket/contract/parametric (renamed from exists)
     racket/contract/region

original commit: 21cbd9ad81eb35dc4d39d6063db25fcb1cc94bbc
This commit is contained in:
Robby Findler 2011-04-20 16:49:39 -05:00
parent fb93091a62
commit 0604c1fe24
9 changed files with 16 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
collects/mzlib/contract.rkt
View File

@ -51,7 +51,8 @@
racket/contract/private/blame
racket/contract/private/ds
racket/contract/private/opt
racket/contract/private/basic-opters)
racket/contract/private/basic-opters
racket/contract/combinator)
(provide
opt/c define-opt/c ;(all-from "private/contract-opt.rkt")
@ -70,5 +71,6 @@
check-flat-contract
check-flat-named-contract)
(all-from-out racket/contract/private/prop
racket/contract/private/blame))
racket/contract/private/blame
racket/contract/combinator))

2
collects/mzlib/integer-set.rkt
View File

@ -428,7 +428,7 @@
(provide well-formed-set?)
(provide/contract (struct integer-set ((contents (flat-named-contract "integer-set-list" well-formed-set?))))
(provide/contract (struct integer-set ((contents well-formed-set?)))
(make-range
(->i () ((i exact-integer?) (j (i) (and/c exact-integer? (>=/c i)))) [res integer-set?]))
(rename merge union (integer-set? integer-set? . -> . integer-set?))

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

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

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

@ -5,6 +5,7 @@
(require (for-syntax scheme/base))
(require (for-template scheme/base)
(for-template racket/contract/private/guts
racket/contract/private/misc
racket/contract/private/prop
racket/contract/private/blame)
(for-template "contract-arr-checks.rkt"))

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

@ -4,6 +4,7 @@
racket/contract/private/blame
racket/contract/private/prop
racket/contract/private/opt
racket/contract/private/misc
"contract-arr-checks.rkt")
(require (for-syntax racket/base)
(for-syntax racket/contract/private/opt-guts)

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

@ -5,7 +5,8 @@
vector-immutableof vector-immutable/c)
racket/contract/private/blame
racket/contract/private/guts
racket/contract/private/prop)
racket/contract/private/prop
racket/contract/private/misc)
(provide box/c box-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
(require "contract-arrow.rkt"
racket/contract/private/guts
racket/contract/private/misc
racket/contract/private/prop
racket/private/class-internal
"contract-arr-checks.rkt")

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

@ -3,7 +3,8 @@
(require (for-syntax racket/base
racket/contract/private/helpers
racket/struct-info)
racket/contract/private/guts)
racket/contract/private/guts
racket/contract/private/misc)
(provide struct/c)

2
collects/mzlib/unit.rkt
View File

@ -17,6 +17,8 @@
(require mzlib/etc
racket/contract/base
racket/contract/region
racket/contract/combinator
scheme/stxparam
syntax/location
"private/unit-contract.rkt"