compiler: make a pass and fail for #29

[skip ci]
au-ts · Jan 10, 2018 · 44c404f · 44c404f
1 parent 200bb0d
commit 44c404f
Show file tree

Hide file tree

Showing 2 changed files with 13 additions and 1 deletion.
diff --git a/cogent/tests/fail_ticket-e29.cogent b/cogent/tests/fail_ticket-e29.cogent
@@ -0,0 +1,12 @@
+
+type WordArray a
+
+wordarray_length: all(a :< DSE). (WordArray a)! -> U32
+
+type Buffer = {
+  data  : WordArray U8
+, bound : U32
+}
+
+buf_length: Buffer! -> U32
+buf_length buf = wordarray_length (buf.data)
diff --git a/cogent/tests/pass_ticket-e29.cogent b/cogent/tests/pass_ticket-e29.cogent
@@ -9,4 +9,4 @@ type Buffer = {
 }
 
 buf_length: Buffer! -> U32
-buf_length buf = wordarray_length (buf.data)
+buf_length buf = wordarray_length[U8] (buf.data)