dbus-0.10.7 triggers internal error: internal: extractDecl

[ghc-mirror]

Original reporter: simons@

The haddock binary shipped with GHC 7.8.1-rc1 (version 2.14.0) fails with an internal error while processing the documentation of the dbus-0.10.7 library. A complete build log (from Linux/x86_64) is available at http://hydra.cryp.to/build/44040/nixlog/1/raw.

[ghc-mirror]

Original reporter: fuuzetsu@

Interesting, I can replicate with GHC and Haddock HEAD. Build instructions for anyone not wanting to go through the log:

cabal unpack dbus-0.10.7 && cd dbus-0.10.7
cabal sandbox init && cabal install --only-dependencies --enable-documentation
cabal configure --disable-split-objs --disable-library-profiling --enable-shared --enable-library-vanilla --enable-executable-dynamic --disable-tests  --ghc-option=-optl=-Wl
cabal haddock

I'll try to look at it today but no promises.

[ghc-mirror]

Original reporter: haddock@

Be sure to check exporting:

• Constructor of a data family instance
• Record field of a data family instance
• Constructor of an associated data family instance
• Record field of an associated data family instance

[ghc-mirror]

Original reporter: fuuzetsu@

Smaller test case

{-# LANGUAGE TypeFamilies #-}
-- This tests that we are able to extract record selectors for
-- associated types when the type itself is not exported. Making this
-- bug exhibit is very simple: simply mention a record field defined
-- inside of the associated type anywhere in the export list.
module Bug294 (problemField, T(..), TO(..)) where

class T t where
  data TO t :: *

instance T () where
  data TO () = AT { problemField :: Integer }