Add ⊣ and ⊢

2 files changed, 27 insertions, 4 deletions

diff --git a/apl9.h b/apl9.h
index ca7ed7c..413c52c 100644
--- a/apl9.h
+++ b/apl9.h
@@ -115,6 +115,7 @@ Symbol *getsym(Symtab *, Rune *);
 Symtab *newsymtab(void);
 
 /* Monadic functions from functions.h */
+Array *fnSame(Array *);
 Array *fnTally(Array *);
 Array *fnEnclose(Array *);
 Array *fnNest(Array *);
@@ -122,6 +123,8 @@ Array *fnRavel(Array *);
 Array *fnShape(Array *);
 
 /* Dyadic functions from functions.h */
+Array *fnLeft(Array *, Array *);
+Array *fnRight(Array *, Array *);
 Array *fnCatenateFirst(Array *, Array *);
 Array *fnReshape(Array *, Array *);
 
diff --git a/functions.c b/functions.c
index 71e5400..cf5402a 100644
--- a/functions.c
+++ b/functions.c
@@ -22,8 +22,8 @@ fnmonad monadfunctiondefs[] = {
 	0, /* ⌊ */
 	0, /* ⊥ */
 	0, /* ⊤ */
-	0, /* ⊣ */
-	0, /* ⊢ */
+	fnSame, /* ⊣ */
+	fnSame, /* ⊢ */
 	0, /* = */
 	0, /* ≠ */
 	0, /* ≤ */
@@ -77,8 +77,8 @@ fndyad dyadfunctiondefs[] = {
 	0, /* ⌊ */
 	0, /* ⊥ */
 	0, /* ⊤ */
-	0, /* ⊣ */
-	0, /* ⊢ */
+	fnLeft, /* ⊣ */
+	fnRight, /* ⊢ */
 	0, /* = */
 	0, /* ≠ */
 	0, /* ≤ */
@@ -119,6 +119,12 @@ fndyad dyadfunctiondefs[] = {
 /* Monadic functions */
 
 Array *
+fnSame(Array *right)
+{
+	return right;
+}
+
+Array *
 fnTally(Array *right)
 {
 	return mkscalarint(right->rank==0 ? 1 : right->shape[0]);
@@ -168,6 +174,20 @@ fnShape(Array *right)
 /* Dyadic functions */
 
 Array *
+fnLeft(Array *left, Array *right)
+{
+	USED(right);
+	return left;
+}
+
+Array *
+fnRight(Array *left, Array *right)
+{
+	USED(left);
+	return right;
+}
+
+Array *
 fnCatenateFirst(Array *left, Array *right)
 {
 	/* not even close to being right, but it works for stranding :) */