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

Fixed simple-contract stronger check.

Browse Source 
svn: r17752
This commit is contained in:
Carl Eastlund 2010-01-19 09:28:08 +00:00
parent 6a0469b680
commit 51983e3829
1 changed files with 6 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
collects/scheme/contract/private/prop.ss
View File

@ -177,10 +177,15 @@
(let* ([name (or name default-name)] (let* ([name (or name default-name)]
[first-order (or first-order any?)] [first-order (or first-order any?)]
[projection (or projection (first-order-projection name first-order))] [projection (or projection (first-order-projection name first-order))]
[stronger (or stronger weakest)]) [stronger (or stronger as-strong?)])
(mk name first-order projection stronger))) (mk name first-order projection stronger)))
(define (as-strong? a b)
(procedure-closure-contents-eq?
(contract-struct-projection a)
(contract-struct-projection b)))
(define simple-contract (define simple-contract
(build-contract make-simple-contract 'simple-contract)) (build-contract make-simple-contract 'simple-contract))