From 8b93f80c52d32c942a4f4a173cc47306c5049d20 Mon Sep 17 00:00:00 2001 From: Krasimir Angelov Date: Wed, 21 May 2025 13:56:19 +0200 Subject: [PATCH] don't typecheck record fields that are going to be discarded --- src/compiler/api/GF/Compile/TypeCheck/ConcreteNew.hs | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/src/compiler/api/GF/Compile/TypeCheck/ConcreteNew.hs b/src/compiler/api/GF/Compile/TypeCheck/ConcreteNew.hs index 94459ba90..fefbe2494 100644 --- a/src/compiler/api/GF/Compile/TypeCheck/ConcreteNew.hs +++ b/src/compiler/api/GF/Compile/TypeCheck/ConcreteNew.hs @@ -654,9 +654,7 @@ checkRecFields scope c ((l,t):lts) ltys = lttys <- checkRecFields scope c2 lts ltys return (ltty : lttys) (Nothing,ltys) -> do evalWarn ("Discarded field:" <+> l) - let (c1,c2) = split c - ltty <- tcRecField scope c1 l t Nothing - lttys <- checkRecFields scope c2 lts ltys + lttys <- checkRecFields scope c lts ltys return lttys -- ignore the field where takeIt l1 [] = (Nothing, [])