From 82e5f6c1da91a63f565dab54745620064aa2a69d Mon Sep 17 00:00:00 2001
From: Vanessa McHale <vamchale@gmail.com>
Date: Thu, 20 Feb 2025 16:39:47 -0500
Subject: [PATCH] test

---
 of/Test.hs                       |  1 +
 "test/data/any.\360\237\215\217" |  1 +
 test/harness/ab_harness.c        | 14 ++++++++++++++
 3 files changed, 16 insertions(+)
 create mode 100644 "test/data/any.\360\237\215\217"
 create mode 100644 test/harness/ab_harness.c

diff --git a/of/Test.hs b/of/Test.hs
index ad74dec3d..c019a1f46 100644
--- a/of/Test.hs
+++ b/of/Test.hs
@@ -48,6 +48,7 @@ main = do
             , ccOut pwd "math/numbertheory/radical.🍎" "ii" sys "30"
             , ccOut pwd "math/numbertheory/factors.🍏" "ia" sys "1 3\n2,3,5\n"
             , ccOut pwd "test/data/primeMask.🍎" "ib" sys "1 10\n1,1,0,1,0,1,0,0,0,1\n"
+            , ccOut pwd "test/data/any.🍏" "ab" sys "1\n"
             , ccOut pwd "test/examples/regress.🍎" "aaf2" sys "-0.950000 1.000000"
             ]
   where
diff --git "a/test/data/any.\360\237\215\217" "b/test/data/any.\360\237\215\217"
new file mode 100644
index 000000000..6b5a362bf
--- /dev/null
+++ "b/test/data/any.\360\237\215\217"
@@ -0,0 +1 @@
+λbs. (∨)/ₒ #f bs :: bool
diff --git a/test/harness/ab_harness.c b/test/harness/ab_harness.c
new file mode 100644
index 000000000..bff720efb
--- /dev/null
+++ b/test/harness/ab_harness.c
@@ -0,0 +1,14 @@
+#include <stdio.h>
+#include<string.h>
+#include <stdlib.h>
+
+#include"../../include/apple_abi.h"
+
+extern B ab(U);
+
+int main(int argc, char *argv[]) {
+    B xs[] = {false,false,true,false,true,false};
+    V(6,xs,x);
+    printf("%d\n", ab(x));
+    free(x);
+}