September 2014 - ghc-tickets

[GHC] #8984: Improve output of failed GeneralizedNewtypeDeriving coercion due to type roles
by GHC 19 Dec '14

19 Dec '14

#8984: Improve output of failed GeneralizedNewtypeDeriving coercion due to type roles -------------------------------------------+------------------------------- Reporter: haasn | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: Compiler (Type checker) | Version: 7.8.1 Keywords: | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Unknown | Type of failure: Blocked By: | None/Unknown Related Tickets: | Test Case: | Blocking: -------------------------------------------+------------------------------- When trying to build acme-schoenfinkel (as an example), I came across an error like this: {{{ Control/Category/Schoenfinkel.hs:66:48: Could not coerce from ‘cat (cat b c, b) c’ to ‘cat (WrappedSchoenfinkel cat b c, b) c’ because ‘cat (cat b c, b) c’ and ‘cat (WrappedSchoenfinkel cat b c, b) c’ are different types. arising from the coercion of the method ‘app’ from type ‘forall b c. cat (cat b c, b) c’ to type ‘forall b c. WrappedSchoenfinkel cat (WrappedSchoenfinkel cat b c, b) c’ Possible fix: use a standalone 'deriving instance' declaration, so you can specify the instance context yourself When deriving the instance for (ArrowApply (WrappedSchoenfinkel cat)) }}} It was not immediately clear to me as a user that this was caused due to it wanting GNT which was now being blocked by type roles (rightfully so, as this instance allows UnsafeCoerce!), and beyond that, what the specific rule that triggered this was. In this case the failure is due to ‘WrappedSchoenfinkel cat b c’ not being nominally equal to ‘cat b c’, in the type ‘(WrappedSchoenfinkel cat b c, b)’, which is required to be nominally equal to ‘(cat b c, b)’ because it's used as a parameter to the variable ‘cat’. Printing a location breakdown and context information similar to this to the user would help understanding and debugging roles a lot. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8984> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 12

[GHC] #8749: Pattern synonyms crash GHCi
by GHC 18 Dec '14

18 Dec '14

#8749: Pattern synonyms crash GHCi ------------------------------------+------------------------------------- Reporter: monoidal | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.7 Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+------------------------------------- {{{ ghci -XPatternSynonyms > let pattern P x = x }}} causes a panic. I understand pattern synonyms are currently unsupported in GHCi, but we should give an error message, not a panic. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8749> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6

[GHC] #9426: ghci triggers 'ASSERT failed! file compiler/ghci/Linker.lhs, line 906'
by GHC 17 Dec '14

17 Dec '14

#9426: ghci triggers 'ASSERT failed! file compiler/ghci/Linker.lhs, line 906' -------------------------------------+------------------------------------- Reporter: slyfox | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.2 Keywords: | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Unknown | Type of failure: Blocked By: | None/Unknown Related Tickets: | Test Case: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Found by '''./validate --slow''': {{{ Unexpected failures: ghci/scripts ghci044 [bad stderr] (ghci) ghci/scripts ghci047 [bad stderr] (ghci) # run manially: $ LANG=C make fulltest stage=2 TEST="ghci044 ghci047" =====> ghci047(ghci) 87 of 4083 [0, 1, 0] cd ./ghci/scripts && HC='/home/st/fun/ghc/inplace/bin/ghc-stage2' HC_OPTS ='-dcore-lint -dcmm-lint -dno-debug-output -no-user-package-db -rtsopts -fno-ghci-history ' '/home/st/fun/ghc/inplace/bin/ghc-stage2' --interactive -v0 -ignore-dot-ghci -dcore-lint -dcmm-lint -dno-debug- output -no-user-package-db -rtsopts -fno-ghci-history <ghci047.script >ghci047.run.stdout 2>ghci047.run.stderr Actual stderr output differs from expected: --- ./ghci/scripts/ghci047.stderr 2014-07-31 12:05:34.000000000 +0300 +++ ./ghci/scripts/ghci047.run.stderr 2014-08-08 16:58:01.000000000 +0300 @@ -1,16 +1,14 @@ +*** Exception: ASSERT failed! file compiler/ghci/Linker.lhs, line 906 +*** Exception: ASSERT failed! file compiler/ghci/Linker.lhs, line 906 -<interactive>:38:1: - Couldn't match type ‘HFalse’ with ‘HTrue’ - Expected type: HTrue - Actual type: Or HFalse HFalse - In the expression: f - In the expression: f $ Baz 'a' - In an equation for ‘it’: it = f $ Baz 'a' - -<interactive>:39:1: - Couldn't match type ‘HFalse’ with ‘HTrue’ - Expected type: HTrue - Actual type: Or HFalse HFalse - In the expression: f - In the expression: f $ Quz - In an equation for ‘it’: it = f $ Quz +<interactive>:36:1: Not in scope: ‘f’ + +<interactive>:37:1: Not in scope: ‘f’ + +<interactive>:38:1: Not in scope: ‘f’ + +<interactive>:39:1: Not in scope: ‘f’ + +<interactive>:40:1: Not in scope: ‘f’ + +<interactive>:41:1: Not in scope: ‘f’ Actual stdout output differs from expected: --- ./ghci/scripts/ghci047.stdout 2014-07-31 12:05:34.000000000 +0300 +++ ./ghci/scripts/ghci047.run.stdout 2014-08-08 16:58:01.000000000 +0300 @@ -1,4 +0,0 @@ -1 -1 -1 -1 *** unexpected failure for ghci047(ghci) }}} The trigger in '''compiler/ghci/Linker.lhs:906''': {{{#!hs linkSomeBCOs dflags toplevs_only ie ce_in ul_bcos = do let nms = map unlinkedBCOName ul_bcos hvals <- fixIO ( \ hvs -> let ce_out = extendClosureEnv ce_in (zipLazy nms hvs) in mapM (linkBCO dflags ie ce_out) ul_bcos ) let ce_all_additions = zip nms hvals ce_top_additions = filter (isExternalName.fst) ce_all_additions ce_additions = if toplevs_only then ce_top_additions else ce_all_additions ce_out = -- make sure we're not inserting duplicate names into the -- closure environment, which leads to trouble. {- 906 -} ASSERT(all (not . (`elemNameEnv` ce_in)) (map fst ce_additions)) extendClosureEnv ce_in ce_additions return (ce_out, hvals) }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9426> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

[GHC] #9040: HPC doesnt work as expected on mac
by GHC 17 Dec '14

17 Dec '14

#9040: HPC doesnt work as expected on mac ------------------------------------+--------------------------------- Reporter: carter | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.2 Keywords: | Operating System: MacOS X Architecture: Unknown/Multiple | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+--------------------------------- on commit 716f3586e23faeb8a4a08e77ebdbfa645c15f9a8 of my in progress project git@github.com:wellposed/numerical-core.git , when i try test library coverage by the following command (asuming dependencies are installed) cabal clean ; cabal configure --enable-tests --enable-library-coverage; cabal build; cabal test i get the following output at the end Writing: numerical-core-0.1.0.0/Numerical.Nat.hs.html hpc: can not find numerical-core-0.1.0.0/Numerical.Array.Shape in ["./.hpc","./dist/hpc/mix/numerical-core-0.1.0.0","./dist/hpc/mix/spec- suite"] this apparently only happens on OS X. here are the build logs from my run https://gist.github.com/cartazio/11312249 (i'll amend that to link to a cleaner output later) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9040> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

[GHC] #8525: lib/integer/integerConstantFolding fails with -DDEBUG
by GHC 17 Dec '14

17 Dec '14

#8525: lib/integer/integerConstantFolding fails with -DDEBUG -------------------------------+------------------------------------------- Reporter: nomeata | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Test Suite | Version: 7.6.3 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: integerConstantFolding Difficulty: Unknown | Blocking: Blocked By: | Related Tickets: | -------------------------------+------------------------------------------- Hi, with `-DDEBUG` in `GhcStage2HcOpts`, the test integerConstantFolding fails: {{{ =====> integerConstantFolding(normal) 1103 of 3814 [0, 1, 0] cd ./lib/integer && $MAKE -s --no-print-directory integerConstantFolding </dev/null >integerConstantFolding.run.stdout 2>integerConstantFolding.run.stderr Actual stderr output differs from expected: --- /dev/null 2013-11-12 10:54:14.804286745 +0100 +++ ./lib/integer/integerConstantFolding.run.stderr 2013-11-12 15:33:12.384669953 +0100 @@ -0,0 +1,62 @@ +WARNING: file compiler/stgSyn/CoreToStg.lhs, line 269 + lvl{v r3Ok} [gid] True False +WARNING: file compiler/stgSyn/CoreToStg.lhs, line 269 + lvl4{v r3Oo} [gid] True False +WARNING: file compiler/stgSyn/CoreToStg.lhs, line 269 + lvl8{v r3Os} [gid] True False +WARNING: file compiler/stgSyn/CoreToStg.lhs, line 269 + lvl12{v r3Ow} [gid] True False +WARNING: file compiler/stgSyn/CoreToStg.lhs, line 269 + ww1{v r3OO} [gid] True False +WARNING: file compiler/stgSyn/CoreToStg.lhs, line 269 + lvl48{v r3P7} [gid] True False +WARNING: file compiler/stgSyn/CoreToStg.lhs, line 269 + lvl52{v r3Pb} [gid] True False +WARNING: file compiler/stgSyn/CoreToStg.lhs, line 269 + lvl56{v r3Pf} [gid] True False +WARNING: file compiler/stgSyn/CoreToStg.lhs, line 269 + lvl60{v r3Pj} [gid] True False +WARNING: file compiler/stgSyn/CoreToStg.lhs, line 269 + lvl64{v r3Pn} [gid] True False +WARNING: file compiler/stgSyn/CoreToStg.lhs, line 269 + lvl68{v r3Pr} [gid] True False +WARNING: file compiler/stgSyn/CoreToStg.lhs, line 269 + ww2{v r3Pv} [gid] True False +WARNING: file compiler/stgSyn/CoreToStg.lhs, line 269 + ww3{v r3Pw} [gid] True False +WARNING: file compiler/stgSyn/CoreToStg.lhs, line 269 + ww4{v r3PG} [gid] True False +WARNING: file compiler/stgSyn/CoreToStg.lhs, line 269 + ww5{v r3PH} [gid] True False +WARNING: file compiler/stgSyn/CoreToStg.lhs, line 269 + lvl90{v r3PR} [gid] True False +WARNING: file compiler/stgSyn/CoreToStg.lhs, line 269 + lvl94{v r3PV} [gid] True False +WARNING: file compiler/stgSyn/CoreToStg.lhs, line 269 + lvl98{v r3PZ} [gid] True False +WARNING: file compiler/stgSyn/CoreToStg.lhs, line 269 + lvl102{v r3Q3} [gid] True False +WARNING: file compiler/stgSyn/CoreToStg.lhs, line 269 + lvl106{v r3Q7} [gid] True False +WARNING: file compiler/stgSyn/CoreToStg.lhs, line 269 + lvl110{v r3Qb} [gid] True False +WARNING: file compiler/stgSyn/CoreToStg.lhs, line 269 + lvl134{v r3Qz} [gid] True False +WARNING: file compiler/stgSyn/CoreToStg.lhs, line 269 + lvl138{v r3QD} [gid] True False +WARNING: file compiler/stgSyn/CoreToStg.lhs, line 269 + lvl142{v r3QH} [gid] True False +WARNING: file compiler/stgSyn/CoreToStg.lhs, line 269 + lvl146{v r3QL} [gid] True False +WARNING: file compiler/stgSyn/CoreToStg.lhs, line 269 + lvl153{v r3QS} [gid] True False +WARNING: file compiler/stgSyn/CoreToStg.lhs, line 269 + lvl161{v r3R0} [gid] True False +WARNING: file compiler/stgSyn/CoreToStg.lhs, line 269 + lvl165{v r3R4} [gid] True False +WARNING: file compiler/stgSyn/CoreToStg.lhs, line 269 + lvl169{v r3R8} [gid] True False +WARNING: file compiler/stgSyn/CoreToStg.lhs, line 269 + lvl173{v r3Rc} [gid] True False +WARNING: file compiler/stgSyn/CoreToStg.lhs, line 269 + lvl177{v r3Rg} [gid] True False *** unexpected failure for integerConstantFolding(normal) }}} The warning is in `consistentCafInfo` source:compiler/stgSyn/CoreToStg.lhs and was was last touched by SPJ in [fdf86568], and originally introduced by simmonmar in 2e6d322e130a8c37807a14699bbcbf9eb08fc970. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8525> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6

[GHC] #9424: ghc-api/T8628 fails assert on debugged ghc
by GHC 17 Dec '14

17 Dec '14

#9424: ghc-api/T8628 fails assert on debugged ghc -------------------------------------+------------------------------------- Reporter: slyfox | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.3 Keywords: | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Unknown | Type of failure: Blocked By: | None/Unknown Related Tickets: | Test Case: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- ./validate --slow fails thusly: {{{ Unexpected failures: ghc-api T8628 [bad stderr] (normal) # run by hands: $ LANG=C make fulltest stage=2 TEST=T8628 =====> T8628(normal) 3453 of 4083 [0, 0, 0] cd ./ghc-api && $MAKE -s --no-print-directory T8628 </dev/null >T8628.run.stdout 2>T8628.run.stderr Actual stderr output differs from expected: --- /dev/null 2014-06-09 18:31:31.993762230 +0300 +++ ./ghc-api/T8628.run.stderr 2014-08-08 16:02:17.000000000 +0300 @@ -0,0 +1,2 @@ +WARNING: file compiler/simplCore/SimplEnv.lhs, line 539 $fShowX +WARNING: file compiler/simplCore/SimplEnv.lhs, line 539 $fShowX *** unexpected failure for T8628(normal) }}} '''compiler/simplCore/SimplEnv.lhs:539''' {{{#!hs refine :: InScopeSet -> Var -> Var refine in_scope v | isLocalId v = case lookupInScope in_scope v of Just v' -> v' {- 539 -} Nothing -> WARN( True, ppr v ) v -- This is an error! | otherwise = v }}} Is it really a bug as comment suggests? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9424> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

[GHC] #8584: Pattern synonym type signatures
by GHC 17 Dec '14

17 Dec '14

#8584: Pattern synonym type signatures ------------------------------------+------------------------------------- Reporter: cactus | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: Compiler | Version: Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: 5144 | Blocking: Related Tickets: | ------------------------------------+------------------------------------- Currently, the only way to specify a type signature for a pattern synonym is by adding type annotations to the right-hand side, like this: {{{ {-# LANGUAGE PatternSynonyms, ScopedTypeVariables #-} pattern Single x = ([x] :: [Int]) }}} Bespoke syntax for adding type signatures for pattern synonyms would probably be useful. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8584> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 8

[GHC] #8968: Pattern synonyms and GADTs
by GHC 17 Dec '14

17 Dec '14

#8968: Pattern synonyms and GADTs -------------------------------------+------------------------------------- Reporter: kosmikus | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler (Type | Version: 7.8.1-rc2 checker) | Operating System: Unknown/Multiple Keywords: | Type of failure: GHC rejects Architecture: Unknown/Multiple | valid program Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | -------------------------------------+------------------------------------- I think this one is different from #8966, but feel free to close one as duplicate if it turns out to be the same problem. The following program (using GADTs and pattern synonyms, but not kind polymorphism or data kinds) fails to check with ghc-7.8.1-rc2, but I think it should: {{{ {-# LANGUAGE GADTs, KindSignatures, PatternSynonyms #-} data X :: (* -> *) -> * -> * where Y :: f Int -> X f Int pattern C x = Y (Just x) }}} The error I get is the following: {{{ PatKind.hs:6:18: Couldn't match type ‘t’ with ‘Maybe’ ‘t’ is untouchable inside the constraints (t1 ~ Int) bound by a pattern with constructor Y :: forall (f :: * -> *). f Int -> X f Int, in a pattern synonym declaration at PatKind.hs:6:15-24 ‘t’ is a rigid type variable bound by the inferred type of C :: X t t1 x :: Int at PatKind.hs:1:1 Expected type: t Int Actual type: Maybe Int In the pattern: Just x In the pattern: Y (Just x) PatKind.hs:6:18: Could not deduce (t ~ Maybe) from the context (t1 ~ Int) bound by the type signature for (Main.$WC) :: t1 ~ Int => Int -> X t t1 at PatKind.hs:6:9 ‘t’ is a rigid type variable bound by the type signature for (Main.$WC) :: t1 ~ Int => Int -> X t t1 at PatKind.hs:1:1 Expected type: t Int Actual type: Maybe Int Relevant bindings include ($WC) :: Int -> X t t1 (bound at PatKind.hs:6:9) In the first argument of ‘Y’, namely ‘(Just x)’ In the expression: Y (Just x) }}} Note that I'd be perfectly happy to provide a type signature for the pattern synonym, but I don't know of any syntax I could use. The Wiki page at https://ghc.haskell.org/trac/ghc/wiki/PatternSynonyms mentions I might be able to write {{{ pattern C :: Int -> X Maybe Int }}} but this triggers a parse error. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8968> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 26

[GHC] #9417: Pattern synonyms across modules broken in Haddock
by GHC 17 Dec '14

17 Dec '14

#9417: Pattern synonyms across modules broken in Haddock -------------------------------------+------------------------------------- Reporter: Fuuzetsu | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.9 Keywords: | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Unknown | Type of failure: Blocked By: | None/Unknown Related Tickets: | Test Case: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Create modules as follows {{{#!hs -- PatSymDef.hs {-# Language PatternSynonyms #-} module PatSymDef where pattern Some a = Just a }}} {{{#!hs -- PatSymUse.hs {-# Language PatternSynonyms #-} module PatSymUse where import PatSymDef f :: Maybe Int -> Int f (Some a) = a f Nothing = 0 }}} Then run Haddock against them: {{{ [nix-shell:~/programming/haddock]$ ./dist/build/haddock/haddock -h /tmp/PatSymUse.hs /tmp/PatSymDef.hs -o /tmp Haddock coverage: Warning: Not found in environment: Some 50% ( 1 / 2) in 'PatSymDef' /tmp/PatSymUse.hs:9:4: Can't find interface-file declaration for data constructor Some Probable cause: bug in .hi-boot file, or inconsistent .hi file Use -ddump-if-trace to get an idea of which file caused the error In the pattern: Some a In an equation for ‘f’: f (Some a) = a }}} Here with -ddump-if-trace: {{{ [nix-shell:~/programming/haddock]$ ./dist/build/haddock/haddock -h /tmp/PatSymUse.hs /tmp/PatSymDef.hs -o /tmp --optghc='-ddump-if-trace' Haddock coverage: Considering whether to load base:Prelude Reading interface for base:Prelude; reason: Prelude is directly imported readIFace /nix/store/m347lhn3g6sh2s9pv7kz68qs2jyhzphg- ghc-7.9.20140805/lib/ghc-7.9.20140805/base_DiPQ1siqG3SBjHauL3L03p/Prelude.hi readIFace /nix/store/m347lhn3g6sh2s9pv7kz68qs2jyhzphg- ghc-7.9.20140805/lib/ghc-7.9.20140805/base_DiPQ1siqG3SBjHauL3L03p/Prelude.dyn_hi updating EPS_ updating EPS_ Considering whether to load base:GHC.Base {- SYSTEM -} Reading interface for base:GHC.Base; reason: Loading orphan modules (base:GHC.Base) readIFace /nix/store/m347lhn3g6sh2s9pv7kz68qs2jyhzphg- ghc-7.9.20140805/lib/ghc-7.9.20140805/base_DiPQ1siqG3SBjHauL3L03p/GHC/Base.hi readIFace /nix/store/m347lhn3g6sh2s9pv7kz68qs2jyhzphg- ghc-7.9.20140805/lib/ghc-7.9.20140805/base_DiPQ1siqG3SBjHauL3L03p/GHC/Base.dyn_hi updating EPS_ Considering whether to load base:GHC.Float {- SYSTEM -} Reading interface for base:GHC.Float; reason: Loading orphan modules (base:GHC.Float) readIFace /nix/store/m347lhn3g6sh2s9pv7kz68qs2jyhzphg- ghc-7.9.20140805/lib/ghc-7.9.20140805/base_DiPQ1siqG3SBjHauL3L03p/GHC/Float.hi readIFace /nix/store/m347lhn3g6sh2s9pv7kz68qs2jyhzphg- ghc-7.9.20140805/lib/ghc-7.9.20140805/base_DiPQ1siqG3SBjHauL3L03p/GHC/Float.dyn_hi updating EPS_ Considering whether to load base:GHC.Real {- SYSTEM -} Reading interface for base:GHC.Real; reason: Loading orphan modules (base:GHC.Real) readIFace /nix/store/m347lhn3g6sh2s9pv7kz68qs2jyhzphg- ghc-7.9.20140805/lib/ghc-7.9.20140805/base_DiPQ1siqG3SBjHauL3L03p/GHC/Real.hi readIFace /nix/store/m347lhn3g6sh2s9pv7kz68qs2jyhzphg- ghc-7.9.20140805/lib/ghc-7.9.20140805/base_DiPQ1siqG3SBjHauL3L03p/GHC/Real.dyn_hi updating EPS_ loadHiBootInterface main@main:PatSymDef Considering whether to load base:Data.Maybe {- SYSTEM -} Reading interface for base:Data.Maybe; reason: The name ‘Data.Maybe.Just’ is mentioned explicitly readIFace /nix/store/m347lhn3g6sh2s9pv7kz68qs2jyhzphg- ghc-7.9.20140805/lib/ghc-7.9.20140805/base_DiPQ1siqG3SBjHauL3L03p/Data/Maybe.hi readIFace /nix/store/m347lhn3g6sh2s9pv7kz68qs2jyhzphg- ghc-7.9.20140805/lib/ghc-7.9.20140805/base_DiPQ1siqG3SBjHauL3L03p/Data/Maybe.dyn_hi updating EPS_ Starting fork { Declaration for Maybe Loading decl for Data.Maybe.Maybe updating EPS_ Considering whether to load ghc-prim:GHC.Prim {- SYSTEM -} Reading interface for ghc-prim:GHC.Prim; reason: Need home interface for wired-in thing * updating EPS_ Start interface-file tc_con_decl Nothing Done interface-file tc_con_decl Data.Maybe.Nothing Start interface-file tc_con_decl Just Done interface-file tc_con_decl Data.Maybe.Just tcIfaceDecl4 Data.Maybe.Maybe } ending fork Declaration for Maybe Starting fork { Constructor Data.Maybe.Nothing } ending fork Constructor Data.Maybe.Nothing Starting fork { Constructor Data.Maybe.Just } ending fork Constructor Data.Maybe.Just ==================== Interface statistics ==================== Renamer stats: 6 interfaces read 1 type/class/variable imported, out of 776 read 0 instance decls imported, out of 42 read 0 rule decls imported, out of 53 read Need decl for PatSymDef.Some Considering whether to load main@main:PatSymDef {- SYSTEM -} Warning: Not found in environment: Some 50% ( 1 / 2) in 'PatSymDef' Considering whether to load base:Prelude Considering whether to load main@main:PatSymDef updating EPS_ Considering whether to load base:GHC.Base {- SYSTEM -} Considering whether to load base:GHC.Float {- SYSTEM -} Considering whether to load base:GHC.Real {- SYSTEM -} loadHiBootInterface main@main:PatSymUse Considering whether to load base:Data.Maybe {- SYSTEM -} Considering whether to load ghc-prim:GHC.Types {- SYSTEM -} Reading interface for ghc-prim:GHC.Types; reason: The name ‘GHC.Types.Int’ is mentioned explicitly readIFace /nix/store/m347lhn3g6sh2s9pv7kz68qs2jyhzphg- ghc-7.9.20140805/lib/ghc-7.9.20140805/ghcpr_BE58KUgBe9ELCsPXiJ1Q2r/GHC/Types.hi readIFace /nix/store/m347lhn3g6sh2s9pv7kz68qs2jyhzphg- ghc-7.9.20140805/lib/ghc-7.9.20140805/ghcpr_BE58KUgBe9ELCsPXiJ1Q2r/GHC/Types.dyn_hi updating EPS_ Considering whether to load ghc-prim:GHC.Types {- SYSTEM -} Considering whether to load main@main:PatSymDef {- SYSTEM -} Considering whether to load base:Data.Maybe {- SYSTEM -} Considering whether to load ghc-prim:GHC.Types {- SYSTEM -} Considering whether to load ghc-prim:GHC.Types {- SYSTEM -} Need decl for PatSymDef.Some Considering whether to load main@main:PatSymDef {- SYSTEM -} /tmp/PatSymUse.hs:9:4: Can't find interface-file declaration for data constructor Some Probable cause: bug in .hi-boot file, or inconsistent .hi file Use -ddump-if-trace to get an idea of which file caused the error In the pattern: Some a In an equation for ‘f’: f (Some a) = a }}} Originally reported to me against Haddock 2.14.3, GHC 7.8.3 and I can confirm both there and on yesterday's GHC HEAD. It'd be great if whoever is involved with pattern synonyms could take a look. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9417> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 8

[GHC] #9514: Haddock panics when exporting a module with pattern synonyms
by GHC 17 Dec '14

17 Dec '14

#9514: Haddock panics when exporting a module with pattern synonyms -------------------------------------+------------------------------------- Reporter: Artyom.Kazak | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.3 Keywords: haddock | Operating System: Linux Architecture: x86_64 (amd64) | Type of failure: Compile- Difficulty: Unknown | time crash Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- First of all: Haddock version: '''2.14.3''', GHC version: '''7.8.3'''. Create 2 files, `PatSymDef.hs` and `PatSymUse.hs`: {{{#!hs -- PatSymDef.hs {-# Language PatternSynonyms #-} module PatSymDef where pattern Pat = () }}} {{{#!hs -- PatSymUse.hs {-# Language PatternSynonyms #-} module PatSymUse (module PatSymDef) where import PatSymDef }}} Run Haddock on them: {{{ [yom@shiny tmp]$ haddock -h PatSymDef.hs PatSymUse.hs Haddock coverage: Warning: Not found in environment: PatSymDef.Pat 50% ( 1 / 2) in 'PatSymDef' haddock: panic! (the 'impossible' happened) (GHC version 7.8.3 for x86_64-unknown-linux): mkUsage <<details unavailable>> Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug }}} And with `-ddump-if-trace`: {{{ [yom@shiny tmp]$ haddock -h PatSymDef.hs PatSymUse.hs --optghc='-ddump-if- trace' Haddock coverage: Considering whether to load base:Prelude Reading interface for base:Prelude; reason: Prelude is directly imported readIFace /usr/lib/ghc-7.8.3/base-4.7.0.1/Prelude.hi readIFace /usr/lib/ghc-7.8.3/base-4.7.0.1/Prelude.dyn_hi updating EPS_ updating EPS_ Considering whether to load base:GHC.Base {- SYSTEM -} Reading interface for base:GHC.Base; reason: Loading orphan modules (base:GHC.Base) readIFace /usr/lib/ghc-7.8.3/base-4.7.0.1/GHC/Base.hi readIFace /usr/lib/ghc-7.8.3/base-4.7.0.1/GHC/Base.dyn_hi updating EPS_ Considering whether to load base:GHC.Float {- SYSTEM -} Reading interface for base:GHC.Float; reason: Loading orphan modules (base:GHC.Float) readIFace /usr/lib/ghc-7.8.3/base-4.7.0.1/GHC/Float.hi readIFace /usr/lib/ghc-7.8.3/base-4.7.0.1/GHC/Float.dyn_hi updating EPS_ Considering whether to load base:GHC.Real {- SYSTEM -} Reading interface for base:GHC.Real; reason: Loading orphan modules (base:GHC.Real) readIFace /usr/lib/ghc-7.8.3/base-4.7.0.1/GHC/Real.hi readIFace /usr/lib/ghc-7.8.3/base-4.7.0.1/GHC/Real.dyn_hi updating EPS_ loadHiBootInterface main:PatSymDef Starting fork { Declaration for Monad Loading decl for GHC.Base.Monad updating EPS_ Considering whether to load ghc-prim:GHC.Prim {- SYSTEM -} Reading interface for ghc-prim:GHC.Prim; reason: Need home interface for wired-in thing * updating EPS_ Considering whether to load ghc-prim:GHC.Prim {- SYSTEM -} tc-iface-class1 Monad tc-iface-class2 Monad tc-iface-class3 Monad tc-iface-class4 Monad buildClass buildClass GHC.Base.Monad } ending fork Declaration for Monad Need decl for Control.Applicative.Applicative Considering whether to load base:Control.Applicative {- SYSTEM -} Reading interface for base:Control.Applicative; reason: Need decl for Control.Applicative.Applicative readIFace /usr/lib/ghc-7.8.3/base-4.7.0.1/Control/Applicative.hi readIFace /usr/lib/ghc-7.8.3/base-4.7.0.1/Control/Applicative.dyn_hi updating EPS_ Starting fork { Declaration for Applicative Loading decl for Control.Applicative.Applicative updating EPS_ Considering whether to load ghc-prim:GHC.Prim {- SYSTEM -} Considering whether to load ghc-prim:GHC.Prim {- SYSTEM -} tc-iface-class1 Applicative tc-iface-class2 Applicative tc-iface-class3 Applicative tc-iface-class4 Applicative buildClass buildClass Control.Applicative.Applicative } ending fork Declaration for Applicative Need decl for Control.Monad.MonadPlus Considering whether to load base:Control.Monad {- SYSTEM -} Reading interface for base:Control.Monad; reason: Need decl for Control.Monad.MonadPlus readIFace /usr/lib/ghc-7.8.3/base-4.7.0.1/Control/Monad.hi readIFace /usr/lib/ghc-7.8.3/base-4.7.0.1/Control/Monad.dyn_hi updating EPS_ Starting fork { Declaration for MonadPlus Loading decl for Control.Monad.MonadPlus updating EPS_ Considering whether to load ghc-prim:GHC.Prim {- SYSTEM -} Considering whether to load ghc-prim:GHC.Prim {- SYSTEM -} tc-iface-class1 MonadPlus tc-iface-class2 MonadPlus tc-iface-class3 MonadPlus tc-iface-class4 MonadPlus buildClass buildClass Control.Monad.MonadPlus } ending fork Declaration for MonadPlus Starting fork { Declaration for Alternative Loading decl for Control.Applicative.Alternative updating EPS_ Considering whether to load ghc-prim:GHC.Prim {- SYSTEM -} Considering whether to load ghc-prim:GHC.Prim {- SYSTEM -} tc-iface-class1 Alternative tc-iface-class2 Alternative tc-iface-class3 Alternative tc-iface-class4 Alternative buildClass buildClass Control.Applicative.Alternative } ending fork Declaration for Alternative ==================== Interface statistics ==================== Renamer stats: 7 interfaces read 4 type/class/variable imported, out of 1234 read 0 instance decls imported, out of 97 read 0 rule decls imported, out of 53 read Need decl for PatSymDef.Pat Considering whether to load main:PatSymDef {- SYSTEM -} Warning: Not found in environment: PatSymDef.Pat 50% ( 1 / 2) in 'PatSymDef' Considering whether to load base:Prelude Considering whether to load main:PatSymDef updating EPS_ Considering whether to load base:GHC.Base {- SYSTEM -} Considering whether to load base:GHC.Float {- SYSTEM -} Considering whether to load base:GHC.Real {- SYSTEM -} loadHiBootInterface main:PatSymUse haddock: panic! (the 'impossible' happened) (GHC version 7.8.3 for x86_64-unknown-linux): mkUsage <<details unavailable>> Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9514> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4