From 750ef2ca30b7e075d0a0b1404ee2dc741b3f2166 Mon Sep 17 00:00:00 2001 From: aarne Date: Tue, 23 May 2006 22:20:00 +0000 Subject: bug fix in with-modules and gr checker; factoring out cats to Common --- src/GF/Infra/Modules.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/GF/Infra/Modules.hs') diff --git a/src/GF/Infra/Modules.hs b/src/GF/Infra/Modules.hs index e8f372896..3f61247a5 100644 --- a/src/GF/Infra/Modules.hs +++ b/src/GF/Infra/Modules.hs @@ -58,7 +58,7 @@ data MGrammar i f a = MGrammar {modules :: [(i,ModInfo i f a)]} data ModInfo i f a = ModMainGrammar (MainGrammar i) | ModMod (Module i f a) - | ModWith (ModuleType i) ModuleStatus i [i] [OpenSpec i] + | ModWith (ModuleType i) ModuleStatus i [(i,MInclude i)] [OpenSpec i] deriving Show data Module i f a = Module { -- cgit v1.2.3