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

minor tweak to contract library

Browse Source 
svn: r4092
This commit is contained in:
Robby Findler 2006-08-18 21:53:54 +00:00
parent d98140e347
commit eefb6a8c87
1 changed files with 3 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
collects/mzlib/private/contract-guts.ss
View File

@ -261,11 +261,10 @@
;;
(define (flat-proj ctc)
(let ([predicate ((flat-get ctc) ctc)]
[name ((name-get ctc) ctc)])
(let ([pred? ((flat-get ctc) ctc)])
(λ (pos neg src-info orig-str)
(λ (val)
(if (predicate val)
(if (pred? val)
val
(raise-contract-error
val
@ -273,7 +272,7 @@
pos
orig-str
"expected <~a>, given: ~e"
name
((name-get ctc) ctc)
val))))))
(define (double-any-curried-proj ctc) double-any-curred-proj2)