.
original commit: 47ea7defe855135c2ed45d5c8a1816785bdf6446
This commit is contained in:
parent
3d3e785916
commit
7c533310cc
|
@ -10,6 +10,7 @@ add struct contracts for immutable structs?
|
|||
(module contract mzscheme
|
||||
|
||||
(provide (rename -contract contract)
|
||||
any
|
||||
->
|
||||
->d
|
||||
->*
|
||||
|
@ -745,6 +746,9 @@ add struct contracts for immutable structs?
|
|||
;
|
||||
|
||||
|
||||
(define-syntax (any stx)
|
||||
(raise-syntax-error 'any "Use any out of an arrow contract" stx))
|
||||
|
||||
(define-syntax-set (-> ->* ->d ->d* ->r ->pp ->pp-rest case-> object-contract opt-> opt->*)
|
||||
|
||||
(define (->/proc stx) (make-/proc #f ->/h stx))
|
||||
|
|
Loading…
Reference in New Issue
Block a user