summaryrefslogtreecommitdiff
path: root/src/GF/Compile
diff options
context:
space:
mode:
authoraarne <aarne@cs.chalmers.se>2006-01-19 17:27:46 +0000
committeraarne <aarne@cs.chalmers.se>2006-01-19 17:27:46 +0000
commit62105801a1669d1b6566ba07da8c18b9c5f66f56 (patch)
tree81d90d4e26ccd7aaf01d8a6278d82cb36d713998 /src/GF/Compile
parentae1d654a5b3f53afb556b6975ebc174da70defc2 (diff)
workaround for a compilation bug for param defs (to be fixed)
Diffstat (limited to 'src/GF/Compile')
-rw-r--r--src/GF/Compile/CheckGrammar.hs1
1 files changed, 1 insertions, 0 deletions
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)