From ac427d63f2363b20c09211ae35be63fbfaf8bee5 Mon Sep 17 00:00:00 2001
From: Krasimir Angelov <kr.angelov@gmail.com>
Date: Tue, 22 Oct 2024 09:02:03 +0200
Subject: [PATCH] fix compilation in -resource mode

---
 src/compiler/api/GF/Compile/CheckGrammar.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/compiler/api/GF/Compile/CheckGrammar.hs b/src/compiler/api/GF/Compile/CheckGrammar.hs
index 20bc3ee70..a1545cbd5 100644
--- a/src/compiler/api/GF/Compile/CheckGrammar.hs
+++ b/src/compiler/api/GF/Compile/CheckGrammar.hs
@@ -65,7 +65,7 @@ checkRestrictedInheritance cwd sgr (name,mo) = checkInModule cwd mo NoLoc empty
                              -- the restr. modules themself, with restr. infos
   mapM_ checkRem mrs
  where
-   mos = modules sgr
+   mos = [mo | mo@(_,ModInfo{}) <- modules sgr]
    checkRem ((i,m),mi) = do
      let (incl,excl) = partition (isInherited mi) (Map.keys (jments m))
      let incld c   = Set.member c (Set.fromList incl)