diff options
| author | bernardy <bernardy@chalmers.se> | 2007-12-17 10:15:20 +0000 |
|---|---|---|
| committer | bernardy <bernardy@chalmers.se> | 2007-12-17 10:15:20 +0000 |
| commit | 701c57f25a28fcd80cffcddfae7005535a1f4c48 (patch) | |
| tree | 93adb88321921859595e08908ece4f1415bab822 /src | |
| parent | 83159c434b539cc73d4a3c629a7d36c676d255e1 (diff) | |
Workaround a ghc 6.8.2 bug
Diffstat (limited to 'src')
| -rw-r--r-- | src/GF/CF/PPrCF.hs | 3 |
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)) = |
