From 14b4e82067bc933c9eb91fbf04009d6d432dc124 Mon Sep 17 00:00:00 2001
From: Krasimir Angelov <kr.angelov@gmail.com>
Date: Thu, 12 Feb 2026 22:21:06 +0100
Subject: [PATCH] added renaming of PImplArg

---
 src/compiler/api/GF/Compile/Rename.hs | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/compiler/api/GF/Compile/Rename.hs b/src/compiler/api/GF/Compile/Rename.hs
index e871ea1e6..e9933a05e 100644
--- a/src/compiler/api/GF/Compile/Rename.hs
+++ b/src/compiler/api/GF/Compile/Rename.hs
@@ -340,6 +340,10 @@ renamePattern env patt =
         (p',vs) <- renp p
         return (PAs x p', x:vs)
 
+      PImplArg p -> do
+        (p,vs) <- renp p
+        return (PImplArg p, vs)
+
       _ -> return (patt,[])
 
     renid = renameIdentTerm env