From bd2008d8f02bfb1baf1743e64a1a552593e52c19 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Mon, 28 Feb 2005 05:18:18 +0000 Subject: [PATCH] . original commit: 36fdb4c8950dc4146b4522ac6855fd4936bcfb8b --- collects/tests/mzscheme/contract-test.ss | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/collects/tests/mzscheme/contract-test.ss b/collects/tests/mzscheme/contract-test.ss index c0f47d7..f4bb841 100644 --- a/collects/tests/mzscheme/contract-test.ss +++ b/collects/tests/mzscheme/contract-test.ss @@ -1313,12 +1313,12 @@ '(let () (eval '(module contract-test-suite8 mzscheme (require (lib "contract.ss")) - (define-struct integer-set (contents)) - (define (well-formed-set? x) #t) + (define-struct i-s (contents)) + (define (w-f-s? x) #t) (provide/contract - (struct integer-set ((contents (flat-named-contract "integer-set-list" well-formed-set?))))))) + (struct i-s ((contents (flat-named-contract "integer-set-list" w-f-s?))))))) (eval '(require contract-test-suite8)) - (eval '(integer-set-contents (make-integer-set 1))))) + (eval '(i-s-contents (make-i-s 1))))) (test/spec-passed 'provide/contract8