From 3c6f0d5d04cd22980818753c3521918db7dedcb1 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Fri, 13 Jun 2014 03:01:40 -0500 Subject: [PATCH] add a test case to be sure recursive-contract accepts values with sharing but without cycles --- .../tests/racket/contract/recursive-contract.rkt | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/pkgs/racket-pkgs/racket-test/tests/racket/contract/recursive-contract.rkt b/pkgs/racket-pkgs/racket-test/tests/racket/contract/recursive-contract.rkt index 437dcc087c..4497613108 100644 --- a/pkgs/racket-pkgs/racket-test/tests/racket/contract/recursive-contract.rkt +++ b/pkgs/racket-pkgs/racket-test/tests/racket/contract/recursive-contract.rkt @@ -85,4 +85,12 @@ (placeholder-set! ph (cons ph ph)) (contract c (make-reader-graph ph) 'pos 'neg) (void))) - ) + + (test/spec-passed + 'recursive-contract13 + '(let () + (define c + (recursive-contract + (or/c #f (cons/c c c)))) + (define x (cons #f #f)) + (contract c (cons (cons x x) (cons x x)) 'pos 'neg))))