August 2014 - ghc-tickets

[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

[GHC] #9161: Pattern synonyms interact badly with data kinds
by GHC 17 Dec '14

17 Dec '14

#9161: Pattern synonyms interact badly with data kinds -------------------------------------------------+------------------------- Reporter: Iceland_jack | Owner: Type: bug | Status: new Priority: lowest | Milestone: Component: Compiler | Version: Keywords: renamer, pattern synonyms, | 7.8.2 data kinds | Operating System: Architecture: Unknown/Multiple | Linux Difficulty: Unknown | Type of failure: Blocked By: | None/Unknown Related Tickets: | Test Case: | Blocking: -------------------------------------------------+------------------------- If we define a pattern `A` and use it as a type: {{{ {-# LANGUAGE PatternSynonyms, DataKinds #-} pattern A = () b :: A b = undefined }}} we get the following error: {{{ Prelude> :load tmp.XDGqzccOAV.hs [1 of 1] Compiling Main ( /tmp/tmp.XDGqzccOAV.hs, interpreted ) /tmp/tmp.XDGqzccOAV.hs:5:9: GHC internal error: ‘A’ is not in scope during type checking, but it passed the renamer tcl_env of environment: [] In the type signature for ‘blah’: blah :: A Failed, modules loaded: none. }}} Also occurs with different arities of `A` (the arity of the pattern and type can differ) and defining it as an operator (enabling the `TypeOperators` pragma). -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9161> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 10

[GHC] #9226: Internal error when using equality constraint in pattern synonyms
by GHC 17 Dec '14

17 Dec '14

#9226: Internal error when using equality constraint in pattern synonyms -------------------------------------+------------------------------------- Reporter: Iceland_jack | Owner: Type: bug | Status: new Priority: lowest | Milestone: Component: Compiler | Version: 7.8.2 Keywords: renamer, pattern | Operating System: Linux synonyms, GADTs | Type of failure: GHC rejects Architecture: x86 | valid program Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | -------------------------------------+------------------------------------- While going through [http://www.andres-loeh.de/dgp2005.pdf Extensible datatypes] I had the following code: {{{ {-# LANGUAGE GADTs, PatternSynonyms, ScopedTypeVariables, Rank2Types #-} data Rep a where RUnit :: Rep () RInt :: Rep Int RChar :: Rep Char REither :: Rep a -> Rep b -> Rep (Either a b) RPair :: Rep a -> Rep b -> Rep (a, b) foo :: (Rep a, a) -> Bool foo (RUnit, ()) = True }}} And I wanted to make a pattern synonyms matching `(RUnit, ())` in `foo`, my initial attempt was: {{{ pattern PUnit1 = (RUnit, ()) }}} gives the error (`punit1.log`) while writing {{{ pattern PUnit2 = (RUnit, ()) :: (Rep (), ()) }}} compiles but can't be used in `foo`. Trying: {{{ pattern PUnit3 = (RUnit, ()) :: (a ~ ()) => (Rep a, a) }}} gives a ''GHC internal error'' (`punit3.log`). I tried various other patterns such as: {{{ pattern PUnit4 <- (RUnit, ()) pattern PUnit5 <- (RUnit, ()) :: (Rep (), ()) pattern PUnit6 <- (RUnit, ()) :: (a ~ ()) => (Rep a, a) pattern PUnit7 = (RUnit, ()) :: forall a. (a ~ ()) => (Rep a, a) pattern PUnit8 <- (RUnit, ()) :: forall a. (a ~ ()) => (Rep a, a) ... }}} None of which work. The final goal was to rewrite: {{{ eq :: Rep a -> a -> a -> Bool eq rep a b = case (rep, a, b) of (RUnit, (), ()) -> True (RInt, n1, n2) -> n1 == n2 (RChar, c1, c2) -> c1 == c2 (REither l r, Left a, Left b) -> eq l a b (REither l r, Right a, Right b) -> eq r a b (REither{}, _, _) -> False (RPair l r, (a1, a2), (b1, b2)) -> eq l a1 b1 && eq r a2 b2 }}} as something like {{{ pattern PUnit = (RUnit, ()) -- (a ~ ()) => (Rep a, a) pattern PInt n = (RInt, n) -- (a ~ Int) => (Rep a, a) -- ... eq :: Rep a -> a -> a -> Bool eq rep a b = case ((rep, a), (rep, b)) of (PUnit, PUnit) -> True (PInt n1, PInt n2) -> n1 == n2 (PChar c1, PChar c2) -> c1 == c2 (PLeft l l1, PLeft l l2) -> eq l l1 l2 (PRight r r1, PRight r r2) -> eq r r1 r2 ((REither{}, _), _) -> False (PFst l (a1, b1), PSnd r (a2, b2)) -> eq l a1 b1 && eq r a2 b2 }}} where one can avoid pattern matching against the `Rep` constructor directly. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9226> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6

[GHC] #9353: prefetch primops are not currently useful
by GHC 15 Dec '14

15 Dec '14

#9353: prefetch primops are not currently useful -------------------------------------+------------------------------------- Reporter: MikeIzbicki | 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: -------------------------------------+------------------------------------- I wanted to use GHC's new prefetch primops to speed up a cover tree data structure I've been working on. The current implementation, however, is insufficient. The pure primops do not work at all. I propose an alternative using a seq-like syntax. ------- **The problem** Consider the function: {{{ prefetchAddr3# :: Addr# -> Int# -> Addr# }}} It is used like: {{{ -- addr# :: Addr# let prefetchAddr# = prefetchAddr3# addr# 0 ... do some stuff not involving addr# doRealWork prefetchAddr# }}} The problem is that we want the prefetch operation to get inserted at the let statement before "do some stuff...", but it doesn't get inserted there. It gets inserted directly before the call to doRealWork. This doesn't give the prefetch enough time to actually put the memory in cache, and so we still get a cache miss. I made several attempts to get around this, but they all failed due to dead code elimination. The `prefetchMutableByteArray#` functions solve this problem by incorporating an explicit state parameter. This forces the compiler to insert the prefetch operation at the location it is actually called in the code. This function, however, can only be used within the ST and IO monads, so it is of limited use. ------ ** The solution** The solution is to restructure the pure primops to use a seq-like format. For example, the prefetchAddr3# function above would become: {{{ prefetchAddr3# :: Addr# -> a -> a }}} Then we would call the function like: {{{ prefetchAddr3# addr# someOtherOp ... do some stuff not involving addr# doRealWork prefetchAddr# }}} This would correctly insert the prefetch instruction at the location it appears in the haskell code. In particular, the prefetch will occur whenever the second parameter is evaluated. This format has the advantage that it can work in non-monadic code. In my cover tree structure, I've implemented searching the tree as a `fold` operation. Every time the fold branches, only one of the branches is guaranteed to be in the cache. So I get a cache miss when I go down the other branches. I want to use the prefetch primop to prefetch the next branch the fold will go down. The fold function is pure, and I don't want to have to wedge it into the ST monad just for prefetching. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9353> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 14