From f5fe93450d0f24751a26208b6b9157cc91c91153 Mon Sep 17 00:00:00 2001 From: Krasimir Angelov Date: Wed, 11 Feb 2026 16:21:47 +0100 Subject: [PATCH] bugfix after the elimination of PW --- src/compiler/api/GF/Compile/Rename.hs | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/compiler/api/GF/Compile/Rename.hs b/src/compiler/api/GF/Compile/Rename.hs index 99e3570ec..e871ea1e6 100644 --- a/src/compiler/api/GF/Compile/Rename.hs +++ b/src/compiler/api/GF/Compile/Rename.hs @@ -305,7 +305,8 @@ renamePattern env patt = _ -> checkError ("not a pattern macro" <+> ppPatt Qualified 0 patt) return (PM c', []) - PV x -> checks [ renid' (Vr x) >>= \t' -> case t' of + PV x | x /= identW + -> checks [ renid' (Vr x) >>= \t' -> case t' of QC c -> return (PP c [],[]) _ -> checkError (pp "not a constructor") , return (patt, [x])