8.11 Legacy Contracts

8.11Legacy Contracts🔗 i

procedure
( make-proj-contract nameprojfirst-order)→contract?
name:any/c

proj :
(or/c (-> any/c
any/c
(list/c any/c any/c )
contact?
(-> any/c any/c ))
(-> any/c
any/c
(list/c any/c any/c )
contact?
boolean?
(-> any/c any/c )))
first-order:(-> any/c boolean? )

Builds a contract using an old interface.

Modulo errors, it is equivalent to:

(make-contract
#:namename
#:first-orderfirst-order
#:projection
(cond
[(procedure-arity-includes? proj5)
(lambda (blame)
(proj(blame-positive blame)
(blame-negative blame)
(list (blame-source blame)(blame-value blame))
(blame-contract blame)
(not (blame-swapped? blame))))]
[(procedure-arity-includes? proj4)
(lambda (blame)
(proj(blame-positive blame)
(blame-negative blame)
(list (blame-source blame)(blame-value blame))
(blame-contract blame)))]))

procedure
( raise-contract-error val
src
pos
name
fmt
arg...) → any/c
val:any/c
src:any/c
pos:any/c
name:any/c
fmt:string?
arg:any/c

Calls raise-blame-error after building a blame struct from the val, src, pos, and name arguments. The fmt string and following arguments are passed to format and used as the string in the error message.

procedure
( contract-proc c)

→
(->* (symbol? symbol? (or/c syntax? (list/c any/c any/c )))
(boolean? )
(-> any/c any ))
c:contract?

Constructs an old-style projection from a contract.

The resulting function accepts the information that is in a blame struct and returns a projection function that checks the contract.

top ← prev up next →