test

vmchale · Feb 20, 2025 · 82e5f6c · 82e5f6c
1 parent 27dd3e6
commit 82e5f6c
Show file tree

Hide file tree

Showing 3 changed files with 16 additions and 0 deletions.
diff --git 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.🍏 b/test/data/any.🍏
@@ -0,0 +1 @@
+λbs. (∨)/ₒ #f bs :: bool
diff --git a/test/harness/ab_harness.c 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);
+}