summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorbernardy <bernardy@chalmers.se>2007-12-17 10:15:20 +0000
committerbernardy <bernardy@chalmers.se>2007-12-17 10:15:20 +0000
commit701c57f25a28fcd80cffcddfae7005535a1f4c48 (patch)
tree93adb88321921859595e08908ece4f1415bab822 /src
parent83159c434b539cc73d4a3c629a7d36c676d255e1 (diff)
Workaround a ghc 6.8.2 bug
Diffstat (limited to 'src')
-rw-r--r--src/GF/CF/PPrCF.hs3
1 files changed, 3 insertions, 0 deletions
diff --git a/src/GF/CF/PPrCF.hs b/src/GF/CF/PPrCF.hs
index d40a93c57..1c2203e94 100644
--- a/src/GF/CF/PPrCF.hs
+++ b/src/GF/CF/PPrCF.hs
@@ -34,6 +34,9 @@ prCFTree (CFTree (fun, (_,trees))) = prCFFun fun ++ prs trees where
prs ts = " " ++ unwords (map ps ts)
ps t@(CFTree (_,(_,[]))) = prCFTree t
ps t = prParenth (prCFTree t)
+{-# NOINLINE prCFTree #-}
+-- Workaround ghc 6.8.2 bug
+
prCFRule :: CFRule -> String
prCFRule (fun,(cat,its)) =