add a test case to be sure recursive-contract accepts

values with sharing but without cycles
2014-06-13 03:01:40 -05:00 · 2014-06-13 03:01:40 -05:00 · 3c6f0d5d04
commit 3c6f0d5d04
parent 17451d9662
1 changed files with 9 additions and 1 deletions
--- 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))))