From 6fc8dad3c188e5bba95a9b42b6970b00347cbeb7 Mon Sep 17 00:00:00 2001
From: Zilin Chen <Zilin.Chen@nicta.com.au>
Date: Mon, 21 Nov 2016 16:31:52 +1100
Subject: [PATCH] compiler: #29 test much simpler now

---
 cogent/tests/pass_ticket-e29.cogent | 14 --------------
 1 file changed, 14 deletions(-)

diff --git a/cogent/tests/pass_ticket-e29.cogent b/cogent/tests/pass_ticket-e29.cogent
index 4e29549f8..6cf381868 100644
--- a/cogent/tests/pass_ticket-e29.cogent
+++ b/cogent/tests/pass_ticket-e29.cogent
@@ -1,20 +1,6 @@
 
 type WordArray a
 
-type WordArrayIndex = U32
-
-type R a b = <Success a | Error b>
-
-
-wordarray_get: all(a :< DSE). ((WordArray a)!, WordArrayIndex) -> a
-
-wordarray_get_bounded: all(a :< DSE). ((WordArray a)!, WordArrayIndex) -> R a ()
-wordarray_get_bounded  (arr, idx) =
-	if idx < wordarray_length[a] (arr) then
-		Success (wordarray_get[a] (arr, idx))
-	else
-		Error ()
-
 wordarray_length: all(a :< DSE). (WordArray a)! -> U32
 
 type Buffer = {