From 6f9e360b33122b7a9d248eb27757eade537404df Mon Sep 17 00:00:00 2001
From: voidlizard <dzuikov@gmail.com>
Date: Mon, 3 Mar 2025 21:49:12 +0300
Subject: [PATCH] bf6 pm fix

---
 .../Data/Config/Suckless/Script/Internal.hs   | 26 +++++++++++++++----
 1 file changed, 21 insertions(+), 5 deletions(-)

diff --git a/miscellaneous/suckless-conf/lib/Data/Config/Suckless/Script/Internal.hs b/miscellaneous/suckless-conf/lib/Data/Config/Suckless/Script/Internal.hs
index 2acd91db..75f96588 100644
--- a/miscellaneous/suckless-conf/lib/Data/Config/Suckless/Script/Internal.hs
+++ b/miscellaneous/suckless-conf/lib/Data/Config/Suckless/Script/Internal.hs
@@ -1690,13 +1690,15 @@ internalEntries = do
         e -> throwIO (BadFormException @c (mkList e))
 
       entry $ bindMatch ref $ \case
-        [SymbolVal "_", b] -> pure  b
+        [SymbolVal "_", b] ->do
+          if bf6TypeOfPred pred == bf6TypeOf b then pure  b else pure nil
 
-        [a, b] | bf6TypeOf a == bf6TypeOf b -> do
+        [a, b] | bf6TypeOfPred pred == bf6TypeOf b -> do
           if a == b then pure b else pure nil
 
-        [a,b] -> apply_ a [b] >>= \w -> do
-          if isFalse w then pure nil else pure b
+        [a,b] -> do
+          apply_ a [b] >>= \w -> do
+            if isFalse w then pure nil else pure b
 
         e -> throwIO (BadFormException @c (mkList e))
 
@@ -2275,6 +2277,19 @@ bf6TypeOf = \case
   OpaqueValue{} -> pure $ mkSym "opaque"
   _ -> Nothing
 
+
+bf6TypeOfPred :: forall c . (IsContext c)
+          => Id
+          -> Maybe (Syntax c)
+bf6TypeOfPred = \case
+  "list?"   -> pure $ mkSym "list"
+  "sym?"    -> pure $ mkSym "symbol"
+  "str?"    -> pure $ mkSym "string"
+  "int?"    -> pure $ mkSym "int"
+  "real?"   -> pure $ mkSym "real"
+  "bool?"   -> pure $ mkSym "bool"
+  _ -> Nothing
+
 termMatches :: forall c m . ( IsContext c
                             , MonadUnliftIO m
                             , Exception (BadFormException c)
@@ -2290,7 +2305,8 @@ termMatches pred what = case (pred, what) of
     maybe nil mkList <$> runMaybeT do
       for (emit as bs) $ \case
         Nothing    -> mzero
-        Just (SymbolVal w, b) -> pure $ mkList [mkSym w, b]
+        Just (SymbolVal w, b) -> do
+          pure $ mkList [mkSym w, b]
         Just (a,b) -> lift (apply_ a [b]) >>= \case
           ListVal (e:es) -> pure (mkList (e:es))
           e | e /= nil -> pure $ mkList [mkSym "_", e]