From 307a4481f344cd1e36e959d24287f4497feb367d Mon Sep 17 00:00:00 2001 From: Krasimir Angelov Date: Tue, 20 Jan 2026 07:40:07 +0100 Subject: [PATCH] produce identW when needed --- src/compiler/api/GF/Grammar/Lookup.hs | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/compiler/api/GF/Grammar/Lookup.hs b/src/compiler/api/GF/Grammar/Lookup.hs index b86596be7..968127fe5 100644 --- a/src/compiler/api/GF/Grammar/Lookup.hs +++ b/src/compiler/api/GF/Grammar/Lookup.hs @@ -73,7 +73,8 @@ lookupIdentInfo (m,ModPGF{mpgf=pgf}) i = appHypos [] xs t es = foldl (appExpr xs) t es appHypos ((bt, v, ty):hypos) xs t es = - let x = identS v in Prod bt x (cnvType xs ty) (appHypos hypos (x:xs) t es) + let x = if v == "_" then identW else identS v + in Prod bt x (cnvType xs ty) (appHypos hypos (x:xs) t es) appExpr xs t e = App t (cnvExpr xs e)