From 258f99ac4c52fdfd50ca741494cf5af104ea09f4 Mon Sep 17 00:00:00 2001
From: Danny Yoo <dyoo@cs.wpi.edu>
Date: Tue, 8 Nov 2011 15:48:43 -0500
Subject: [PATCH] adding simple test for circularity

---
 tests/more-tests/sharing.expected |  4 ++++
 tests/more-tests/sharing.rkt      | 16 ++++++++++++++++
 2 files changed, 20 insertions(+)

diff --git a/tests/more-tests/sharing.expected b/tests/more-tests/sharing.expected
index 00b60fb..00964c9 100644
--- a/tests/more-tests/sharing.expected
+++ b/tests/more-tests/sharing.expected
@@ -1,6 +1,10 @@
 1
 1
 1
+
+true
+false
+
 1
 2
 1
diff --git a/tests/more-tests/sharing.rkt b/tests/more-tests/sharing.rkt
index 7c1916c..5e64e1a 100644
--- a/tests/more-tests/sharing.rkt
+++ b/tests/more-tests/sharing.rkt
@@ -8,8 +8,24 @@
 (car (cdr infinite-ones))
 (car (cdr (cdr infinite-ones)))
 
+(newline)
+(equal? (shared ([a (cons 1 (cons 2 a))])
+                a)
+        (shared ([a (cons 1 b)]
+                 [b (cons 2 c)]
+                 [c (cons 1 b)])
+                a))
+(equal? (shared ([a (cons 1 (cons 2 a))])
+                a)
+        (shared ([a (cons 1 b)]
+                 [b (cons 2 b)])
+                a))
 
 
+
+
+
+(newline)
 (define 1-and-2 (shared ([a (cons 1 b)]
                          [b (cons 2 a)])
                         a))