bugfix after the elimination of PW

2026-08-19 10:46:22 -06:00 · 2026-02-11 16:21:47 +01:00
parent 880d3aa76c
commit f5fe93450d
1 changed files with 2 additions and 1 deletions
@@ -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])