From d76ae2d8bf246d9e70a8a58ac4780c78854c05df Mon Sep 17 00:00:00 2001
From: Masatake YAMATO <yamato@redhat.com>
Date: Sun, 16 May 2021 02:10:17 +0900
Subject: [PATCH] prelude: introduce _amember

Signed-off-by: Masatake YAMATO <yamato@redhat.com>
---
 main/CommonPrelude.c  |  18 ++++++++++++++++++
 main/CommonPrelude.ps | Bin 2891 -> 3205 bytes
 2 files changed, 18 insertions(+)

diff --git a/main/CommonPrelude.c b/main/CommonPrelude.c
index c6102fa343..8def2544cf 100644
--- a/main/CommonPrelude.c
+++ b/main/CommonPrelude.c
@@ -141,4 +141,22 @@ const char ctagsCommonPrelude []=
 "        pop false\n"
 "    } ifelse\n"
 "} __bddef\n"
+"\n"
+"(array key _AMEMBER true|fales)\n"
+"/_amember {\n"
+"    false 3 1 roll\n"
+"    % false array key\n"
+"    exch {\n"
+"        % false key elt\n"
+"        1 index\n"
+"        % false key elt key\n"
+"        eq {\n"
+"            % false key\n"
+"            exch pop true exch\n"
+"            exit\n"
+"        } if\n"
+"        % false key\n"
+"    } forall\n"
+"    pop\n"
+"} __bddef\n"
 ;
diff --git a/main/CommonPrelude.ps b/main/CommonPrelude.ps
index e1fd95b4c73ae06c1fa5ef37b5e02a6e0bf8d310..10b0e39abaa3bc4a58a5c3f2ada170eb89a88ba2 100644
GIT binary patch
delta 324
zcmX>t)+)Kdo4cM%BeAF`u~H#BwNfG8(bv`2$u&r!q^LBtCM_{1wOEr&KRz)xH8&}>
zNTHfb0SJJ?#i<I$3Wf?r`8hdYAyud#+$6AQYDIDeR1ZiWOcBVU)SMEq5(R~N1)xEh
zc`2zCPyq~uAeX`AQVWqxL^Bnx2qX@+ydb{->=iH%O*#|e0vnLxT7}FsxHOVG!D6)v
YY57HoP@e)#<f>JOk55WTNloJd0PN0Hg8%>k

delta 7
OcmZpbJT11tn;QTNKmvvU