From 6027c10a0ce4b9c6282276125876092ffadac027 Mon Sep 17 00:00:00 2001 From: bjorn Date: Fri, 23 May 2008 08:47:07 +0000 Subject: Get rid of the 'f' type parameter to the module types. This was only ever instantiated with Option, and made it diificult to change the options type. --- src-3.0/GF/Compile/GrammarToGFCC.hs | 2 +- src-3.0/GF/Compile/ModDeps.hs | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) (limited to 'src-3.0/GF/Compile') diff --git a/src-3.0/GF/Compile/GrammarToGFCC.hs b/src-3.0/GF/Compile/GrammarToGFCC.hs index 4fd843770..f061f3b34 100644 --- a/src-3.0/GF/Compile/GrammarToGFCC.hs +++ b/src-3.0/GF/Compile/GrammarToGFCC.hs @@ -540,7 +540,7 @@ prTrace tr n = trace ("-- OBSERVE" +++ A.prt tr +++ show n +++ show tr) n -- | this function finds out what modules are really needed in the canonical gr. -- its argument is typically a concrete module name -requiredCanModules :: (Ord i, Show i) => Bool -> M.MGrammar i f a -> i -> [i] +requiredCanModules :: (Ord i, Show i) => Bool -> M.MGrammar i a -> i -> [i] requiredCanModules isSingle gr c = nub $ filter notReuse ops ++ exts where exts = M.allExtends gr c ops = if isSingle diff --git a/src-3.0/GF/Compile/ModDeps.hs b/src-3.0/GF/Compile/ModDeps.hs index 8331057d1..b5b1b798c 100644 --- a/src-3.0/GF/Compile/ModDeps.hs +++ b/src-3.0/GF/Compile/ModDeps.hs @@ -125,7 +125,7 @@ openInterfaces ds m = do -- | this function finds out what modules are really needed in the canonical gr. -- its argument is typically a concrete module name -requiredCanModules :: (Ord i, Show i) => Bool -> MGrammar i f a -> i -> [i] +requiredCanModules :: (Ord i, Show i) => Bool -> MGrammar i a -> i -> [i] requiredCanModules isSingle gr c = nub $ filter notReuse ops ++ exts where exts = allExtends gr c ops = if isSingle -- cgit v1.2.3