GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-08-20 03:06:25 -06:00
Code Issues Packages Projects Releases Wiki Activity

store the updated/checked type for all abstract functions

Browse Source
This commit is contained in:
Krasimir Angelov
2026-02-13 13:21:07 +01:00
parent 3f35d779f1
commit ba29bca730
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/compiler/api/GF/Compile/CheckGrammar.hs
+2 -2
View File
@@ -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))) update sm c (AbsCat (Just (L loc cont)))
AbsFun (Just (L loc typ)) md -> do AbsFun (Just (L loc typ)) md -> do
chIn loc "the type of function" $ (typ,_) <- chIn loc "the type of function" $
checkLType ga typ typeType checkLType ga typ typeType
typ <- normalForm ga typ -- to calculate let definitions typ <- normalForm ga typ -- to calculate let definitions
md <- case md of md <- case md of
Just (_,eqs) -> do eqs <- mapM (\(L loc eq) -> chIn loc "the definition of function" $ Just (_,eqs) -> do eqs <- mapM (\(L loc eq) -> chIn loc "the definition of function" $