December 2014 - ghc-tickets

[GHC] #9896: panic: wrongKindOfFamily
by GHC 18 Dec '14

18 Dec '14

#9896: panic: wrongKindOfFamily -------------------------------------+------------------------------------- Reporter: luite | 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: -------------------------------------+------------------------------------- The following code panics with GHC HEAD: {{{#!hs {-# LANGUAGE TypeFamilies #-} class Test a where type TestT a :: * instance Test Bool where newtype TestT Bool = Int }}} {{{ $ ghc Panic2.hs [1 of 1] Compiling Main ( Panic2.hs, Panic2.o ) Panic2.hs:7:3:ghc.exe: panic! (the 'impossible' happened) (GHC version 7.9.20141217 for i386-unknown-mingw32): wrongKindOfFamily TestT Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9896> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

[GHC] #9897: Couldn't match type `Id (Id Char)' with `Char'
by GHC 18 Dec '14

18 Dec '14

#9897: Couldn't match type `Id (Id Char)' with `Char' -------------------------------------+------------------------------------- Reporter: erisco | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler (Type | Version: 7.8.3 checker) | Operating System: Windows Keywords: | Type of failure: GHC Architecture: x86_64 (amd64) | rejects valid program Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- 'foo' is expected to type check given that 'bar' and 'qux' type check. {{{ ghc_bug.hs:21:7: Couldn't match type `Id (Id Char)' with `Char' Expected type: (:.:) Id Id Char Actual type: Char In the expression: 'x' In an equation for `foo': foo = 'x' }}} {{{#!hs {-# LANGUAGE TypeOperators, TypeFamilies #-} module Main where type family (:.:) g f a where (:.:) g f a = g (f a) -- type family Id x where Id x = x -- -- Type checks bar :: Id (Id Char) bar = 'x' -- Type checks qux = 'x' :: (Id :.: Id) Char -- Couldn't match type `Id (Id Char)' with `Char' foo :: (Id :.: Id) Char foo = 'x' }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9897> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

[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] #9893: Switching on TypeFamilies extension stops code from typechecking
by GHC 17 Dec '14

17 Dec '14

#9893: Switching on TypeFamilies extension stops code from typechecking -------------------------------------+------------------------------------- Reporter: phischu | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.3 Keywords: | Operating System: Architecture: x86_64 (amd64) | Unknown/Multiple Difficulty: Unknown | Type of failure: GHC Blocked By: | rejects valid program Related Tickets: | Test Case: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- The following code has the `TypeFamilies` extension enabled but does not use it. It does not typecheck with GHC 7.8.3. If we do not enable `TypeFamilies` (i.e. delete the first line) it typechecks. {{{ {-# LANGUAGE TypeFamilies #-} module ExistentialFamilies where import Control.Monad.ST (runST,ST) un :: () un = runST f where f = return un :: ST s () }}} This happens when trying to compile the program as well as when trying to load it into ghci. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9893> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

Re: [GHC] #5267: Missing type checks for arrow command combinators
by GHC 17 Dec '14

17 Dec '14

#5267: Missing type checks for arrow command combinators -------------------------------------+------------------------------------- Reporter: peteg | Owner: ross Type: bug | Status: new Priority: low | Milestone: 7.10.1 Component: Compiler | Version: 7.0.3 (Type checker) | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: GHC | Related Tickets: accepts invalid program | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by simonpj): * difficulty: => Unknown Comment: There *is* something to do in the type checker, namely to plumb the type constraints correctly. See the changes to `newArrowScope` and `escapeArrowScope` in the above patch. This fixes the assertion failure. I'm still not confident about all this, and I'd love someone who understands arrows to review the type inference code for arrows. So I'll leave the ticket open. But it's better, I think. Simon -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5267#comment:23> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #9892: Decomposition of AppTy broken
by GHC 17 Dec '14

17 Dec '14

#9892: Decomposition of AppTy broken -------------------------------------+------------------------------------- Reporter: simonpj | 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: -------------------------------------+------------------------------------- This program (taken from `lens`) wrongly fails in GHC's HEAD {{{ {-# LANGUAGE UndecidableInstances #-} import Control.Applicative import Control.Category import Prelude hiding ((.),id) newtype FocusingPlus w k s a = FocusingPlus { unfocusingPlus :: k (s, w) a } instance Functor (k (s, w)) => Functor (FocusingPlus w k s) where fmap f (FocusingPlus as) = FocusingPlus (fmap f as) instance Applicative (k (s, w)) => Applicative (FocusingPlus w k s) where pure = FocusingPlus . pure FocusingPlus kf <*> FocusingPlus ka = FocusingPlus (kf <*> ka) }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9892> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

[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

Re: [GHC] #5267: Missing type checks for arrow command combinators
by GHC 17 Dec '14

17 Dec '14

#5267: Missing type checks for arrow command combinators ------------------------------------------------+-------------------------- Reporter: peteg | Owner: ross Type: bug | Status: new Priority: low | Milestone: 7.10.1 Component: Compiler (Type checker) | Version: 7.0.3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: GHC accepts invalid program | Unknown/Multiple Test Case: | Difficulty: Blocking: | Blocked By: | Related Tickets: ------------------------------------------------+-------------------------- Comment (by Simon Peyton Jones <simonpj@…>): In [changeset:"f50d62bb6c0357991fabf938bc971d528bbf5cc4/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="f50d62bb6c0357991fabf938bc971d528bbf5cc4" Fix the scope-nesting for arrows Previously we were capturing the *entire environment* when moving under a 'proc', for the newArrowScope/escapeArrowScope thing. But that a blunderbuss, and in any case isn't right (the untouchable-type-varaible invariant gets invalidated). So I fixed it to be much more refined: just the LocalRdrEnv and constraints are captured. I think this is right; but if not we should just add more fields to ArrowCtxt, not return to the blunderbuss. This patch fixes the ASSERT failure in Trac #5267 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5267#comment:22> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0