From ba29bca7307e29353ed0fe539534cd40ddebedfe Mon Sep 17 00:00:00 2001 From: Krasimir Angelov Date: Fri, 13 Feb 2026 13:21:07 +0100 Subject: [PATCH] store the updated/checked type for all abstract functions --- src/compiler/api/GF/Compile/CheckGrammar.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/compiler/api/GF/Compile/CheckGrammar.hs b/src/compiler/api/GF/Compile/CheckGrammar.hs index bb1f7b707..719f541eb 100644 --- a/src/compiler/api/GF/Compile/CheckGrammar.hs +++ b/src/compiler/api/GF/Compile/CheckGrammar.hs @@ -161,8 +161,8 @@ checkInfo opts cwd sgr sm (c,info) = checkInModule cwd (snd sm) NoLoc empty $ do update sm c (AbsCat (Just (L loc cont))) AbsFun (Just (L loc typ)) md -> do - chIn loc "the type of function" $ - checkLType ga typ typeType + (typ,_) <- chIn loc "the type of function" $ + checkLType ga typ typeType typ <- normalForm ga typ -- to calculate let definitions md <- case md of Just (_,eqs) -> do eqs <- mapM (\(L loc eq) -> chIn loc "the definition of function" $