compiler: #29 test much simpler now

au-ts · Jan 22, 2018 · 6fc8dad · 6fc8dad
1 parent feab60f
commit 6fc8dad
Showing 1 changed file with 0 additions and 14 deletions.
diff --git 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 = {