Add strangely working file for #47

au-ts · Jan 12, 2017 · 3cf6dbc · 3cf6dbc
1 parent 2aa389c
commit 3cf6dbc
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/cogent/tests/pass_ticket-47.cogent b/cogent/tests/pass_ticket-47.cogent
@@ -0,0 +1,6 @@
+type RbtElemAO k v acc obsv
+type RbtConsumeF k v acc obsv = RbtElemAO k v acc obsv -> acc
+type RbtCondF k v acc obsv = (RbtElemAO k v acc obsv)! -> Bool
+
+rbtFTrue: all(k:< DS, v :<DS, acc, obsv). RbtCondF k v acc obsv
+rbtFTrue _ = True