#5539: GHC panic - Simplifier ticks exhausted
---------------------------------+------------------------------------------
Reporter: hvr | Owner: simonpj
Type: bug | Status: new
Priority: high | Milestone: 7.4.1
Component: Compiler | Version: 7.3
Resolution: | Keywords:
Os: Linux | Architecture: x86_64 (amd64)
Failure: Compile-time crash | Difficulty: Unknown
Testcase: | Blockedby:
Blocking: | Related:
---------------------------------+------------------------------------------
Comment(by simonpj):
Actually INLINALBE things '''already are''' auto-specialised in calling
modules. Moreover, the RULE for that specialiation is exported so that
importing modules can take advantage of it rather than create their own
specialisations.
Example:
{{{
module T5539a where
{-# INLINABLE g #-}
g :: (Eq a, Num a) => a -> a
g 0 = 0
g n = 1 + g (n-1)
------------------
module T5536 where
import T5539a
f :: Int -> Int
f x = g x + 1
}}}
Mouule `T5539` automatically creates a version of `g` specialised at
`Int`, and exports the RULE
{{{
------ Local rules for imported ids --------
"SPEC T5539a.g [GHC.Types.Int]" [ALWAYS]
forall ($dEq_shF :: GHC.Classes.Eq GHC.Types.Int)
($dNum_shE :: GHC.Num.Num GHC.Types.Int).
T5539a.g @ GHC.Types.Int $dEq_shF $dNum_shE
= T5536.$sg
}}}
Is that what you want?
Simon
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5539#comment:37>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
