From ec25ff99013c8541d2bb19732a11aeddb4a6c42b Mon Sep 17 00:00:00 2001
From: Neil Brown <neil@twistedsquare.com>
Date: Fri, 12 Sep 2008 14:37:11 +0000
Subject: [PATCH] Added some tests for the type-checking of poison statements
 in Rain

---
 testcases/automatic/unify-types-1.rain.test | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/testcases/automatic/unify-types-1.rain.test b/testcases/automatic/unify-types-1.rain.test
index ed26f56..3ac190e 100644
--- a/testcases/automatic/unify-types-1.rain.test
+++ b/testcases/automatic/unify-types-1.rain.test
@@ -92,4 +92,17 @@ cb ! b;
 ?cb ? true;
 %FAIL Invalid channel comm -- bad recv #3
 cb ? x;
+
+%PASS Valid poison
+poison !cb;
+poison !cx;
+poison !cxi8;
+poison ?cb;
+poison ?cx;
+poison ?cxi8;
+%FAIL Poison non-channel
+poison b;
+%FAIL Poison indeterminate channel-end
+poison cb;
+
 %