From 51983e3829865dc0c3f6067c79b4f258dd8c90a2 Mon Sep 17 00:00:00 2001 From: Carl Eastlund Date: Tue, 19 Jan 2010 09:28:08 +0000 Subject: [PATCH] Fixed simple-contract stronger check. svn: r17752 --- collects/scheme/contract/private/prop.ss | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/collects/scheme/contract/private/prop.ss b/collects/scheme/contract/private/prop.ss index 37f5636ad9..f943c739db 100644 --- a/collects/scheme/contract/private/prop.ss +++ b/collects/scheme/contract/private/prop.ss @@ -177,10 +177,15 @@ (let* ([name (or name default-name)] [first-order (or first-order any?)] [projection (or projection (first-order-projection name first-order))] - [stronger (or stronger weakest)]) + [stronger (or stronger as-strong?)]) (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 (build-contract make-simple-contract 'simple-contract))