#5001: makeCorePair: arity missing
---------------------------------+------------------------------------------
Reporter: maeder | Owner:
Type: bug | Status: infoneeded
Priority: high | Milestone: 7.2.1
Component: Compiler | Version: 7.0.2
Keywords: | Testcase:
Blockedby: | Difficulty:
Os: Unknown/Multiple | Blocking:
Architecture: Unknown/Multiple | Failure: Incorrect warning at
compile-time
---------------------------------+------------------------------------------
Changes (by michalt):
* cc: michal.terepeta@… (added)
Comment:
While checking another bug I've come across this one. Small example:
{{{
module M1 where
class MyEnum a where
myEnum :: [a]
instance MyEnum () where
{-# INLINABLE myEnum #-}
myEnum = [()]
}}}
{{{
module M2 where
import M1
{-# SPECIALISE myEnum :: [()] #-}
}}}
Compiling with HEAD gives:
{{{
~/bugs/ghc/4227 0 > ~/dev/ghc/inplace/bin/ghc-stage2 --make -O -fforce-
recomp M2
[1 of 2] Compiling M1 ( M1.hs, M1.o )
[2 of 2] Compiling M2 ( M2.hs, M2.o )
makeCorePair: arity missing myEnum{v dcc} [lid]
}}}
Interestingly if I move the SPECIALISE pragma into `M1` module, there is
no
warning:
{{{
module M1 where
class MyEnum a where
myEnum :: [a]
instance MyEnum () where
{-# INLINABLE myEnum #-}
myEnum = [()]
{-# SPECIALISE myEnum :: [()] #-}
}}}
{{{
~/bugs/ghc/4227 0 > ~/dev/ghc/inplace/bin/ghc-stage2 --make -O -fforce-
recomp M1
[1 of 1] Compiling M1 ( M1.hs, M1.o )
}}}
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5001#comment:5>
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
