From 62105801a1669d1b6566ba07da8c18b9c5f66f56 Mon Sep 17 00:00:00 2001 From: aarne Date: Thu, 19 Jan 2006 17:27:46 +0000 Subject: [PATCH] workaround for a compilation bug for param defs (to be fixed) --- src/GF/Compile/CheckGrammar.hs | 1 + 1 file changed, 1 insertion(+) diff --git a/src/GF/Compile/CheckGrammar.hs b/src/GF/Compile/CheckGrammar.hs index 931a84a58..0684d82f2 100644 --- a/src/GF/Compile/CheckGrammar.hs +++ b/src/GF/Compile/CheckGrammar.hs @@ -185,6 +185,7 @@ checkResInfo gr (c,info) = do return (c, ResOper pty' pde') ResParam (Yes pcs) -> chIn "parameter type" $ do +---- mapM ((mapM (computeLType gr . snd)) . snd) pcs mapM_ ((mapM_ (checkIfParType gr . snd)) . snd) pcs return (c,info)