- ghc-tickets - Haskell.org

[GHC] #12930: DDEBUG build broken
by GHC 07 Dec '16

07 Dec '16

#12930: DDEBUG build broken -------------------------------------+------------------------------------- Reporter: mpickering | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- {{{ Again, Travis is failing to build master since a while. Unfortunately, only the author of commits get mailed by Travis, so I did not notice it so far. But usually, when Travis reports a build failure, this is something actionable! If in doubt, contact me. The breakage at the moment occurs only with -DDEBUG on: Compile failed (exit code 1) errors were: ghc-stage2: panic! (the 'impossible' happened) (GHC version 8.1.20161118 for x86_64-unknown-linux): No match in record selector is_iloc Please report this as a GHC bug: https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.haskell… *** unexpected failure for rn017(normal) Compile failed (exit code 1) errors were: ghc-stage2: panic! (the 'impossible' happened) (GHC version 8.1.20161118 for x86_64-unknown-linux): No match in record selector is_iloc Please report this as a GHC bug: https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.haskell… *** unexpected failure for T7672(normal) And started appearing, unless I am mistaken, with From: Matthew Pickering < matthewtpickering(a)gmail.com > Date: Fri, 18 Nov 2016 16:28:30 +0000 Subject: [PATCH] Optimise whole module exports We directly build up the correct AvailInfos rather than generating lots of singleton instances and combining them with expensive calls to unionLists. There are two other small changes. * Pushed the nubAvails call into the explicit export list branch as we construct them correctly and uniquely ourselves. * fix_faminst only needs to check the first element of the export list as we maintain the (yucky) invariant that the parent is the first thing in it. Reviewers: simonpj, austin, bgamari Reviewed By: simonpj, bgamari Subscribers: simonpj, thomie, niteria Differential Revision: https://phabricator.haskell.org/D2657 Matthew, can you verify that this is a regression introduce here? Greetings, Joachim }}} The failing tests are `rn017` and `T7672`. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12930> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

[GHC] #12933: Wrong class instance selection with Data.Kind.Type
by GHC 07 Dec '16

07 Dec '16

#12933: Wrong class instance selection with Data.Kind.Type -------------------------------------+------------------------------------- Reporter: julm | Owner: Type: bug | Status: new Priority: highest | Milestone: Component: Compiler | Version: 8.0.1 Keywords: TypeInType | Operating System: Unknown/Multiple Architecture: | Type of failure: GHC accepts Unknown/Multiple | invalid program Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- If you consider the following code: {{{#!hs {-# LANGUAGE GADTs #-} {-# LANGUAGE FlexibleInstances #-} module Bug where import GHC.Exts (Constraint) import Data.Kind -- | Partial singleton for a kind type. data SKind k where SKiTy :: SKind Type SKiCo :: SKind Constraint instance Show (SKind k) where show SKiTy = "*" show SKiCo = "Constraint" class IKind k where kind :: SKind k instance IKind Constraint where kind = SKiCo }}} Then, the main below will compile even though there is no (IKind Type) instance, and it will print "Constraint" two times, instead of an expected "Constraint" then "*": {{{#!hs main :: IO () main = do print (kind::SKind Constraint) print (kind::SKind Type) }}} And, the main below will print "*" two times, instead of an expected "*" then "Constraint": {{{#!hs instance IKind Type where kind = SKiTy main :: IO () main = do print (kind::SKind Type) print (kind::SKind Constraint) }}} This can be worked around by replacing Type with a new data type Ty to select the right class instances, using two type families Ty_of_Type and Type_of_Ty, as done in the attached Workaround.hs. Sorry if this bug has already been fixed in HEAD: I was unable to find neither a bug report similar, nor a Linux x86_64 build of HEAD for me to test. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12933> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

Re: [GHC] #3231: Permission denied error with runProcess/openFile
by GHC 07 Dec '16

07 Dec '16

#3231: Permission denied error with runProcess/openFile -------------------------------------+------------------------------------- Reporter: NeilMitchell | Owner: simonmar Type: bug | Status: new Priority: normal | Milestone: Component: Core Libraries | Version: 6.10.4 Resolution: | Keywords: Operating System: Windows | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: #9775 | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by Phyx-): * related: => #9775 Comment: I'll operate on the assumption that these two are related. Mainly because the first few examples here had a call out to a cygwin program or something with a call to `_exec`. In which case `WaitForSingleObject` does not do what you expect. I am fixing this is `process`. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/3231#comment:54> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4820: "Invalid object in isRetainer" when doing retainer profiling in GHC 7 branch
by GHC 06 Dec '16

06 Dec '16

#4820: "Invalid object in isRetainer" when doing retainer profiling in GHC 7 branch ----------------------------------+-------------------------------------- Reporter: dleuschner | Owner: Type: bug | Status: new Priority: highest | Milestone: 8.2.1 Component: Profiling | Version: 8.0.1 Resolution: | Keywords: Operating System: MacOS X | Architecture: x86_64 (amd64) Type of failure: Runtime crash | Test Case: Blocked By: | Blocking: Related Tickets: #11978 | Differential Rev(s): Wiki Page: | ----------------------------------+-------------------------------------- Changes (by bgamari): * status: infoneeded => new -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4820#comment:12> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #12549: Panic on ":t datatypeName"
by GHC 06 Dec '16

06 Dec '16

#12549: Panic on ":t datatypeName" --------------------------------------+--------------------------------- Reporter: johnleo | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 Keywords: | Operating System: MacOS X Architecture: x86_64 (amd64) | Type of failure: None/Unknown Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: --------------------------------------+--------------------------------- Reproduction: {{{#!hs GHCi, version 8.1.20160826: http://www.haskell.org/ghc/ :? for help Loaded GHCi configuration from /Users/leo/.ghci Prelude> :m + GHC.Generics :m + GHC.Generics Prelude GHC.Generics> :t datatypeName :t datatypeName ghc-stage2: panic! (the 'impossible' happened) (GHC version 8.1.20160826 for x86_64-apple-darwin): ASSERT failed! CallStack (from HasCallStack): assertPprPanic, called at compiler/types/TyCoRep.hs:2094:44 in ghc:TyCoRep checkValidSubst, called at compiler/types/TyCoRep.hs:2122:17 in ghc:TyCoRep substTy, called at compiler/typecheck/TcMType.hs:793:24 in ghc:TcMType in_scope InScope {k1_a1X8} tenv [a1X0 :-> k1_a1X8[tau:3]] cenv [] tys [k_a1X4[tau:3] → (k1_a1X0 → *) → k1_a1X0 → ★] cos [] needInScope [a1X4 :-> k_a1X4[tau:3]] Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12549> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 33

[GHC] #12929: GHC 8.0.1 Armv7 Missing -N option
by GHC 06 Dec '16

06 Dec '16

#12929: GHC 8.0.1 Armv7 Missing -N option -------------------------------------+------------------------------------- Reporter: brent80 | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 Keywords: arm armv7 | Operating System: Linux Architecture: arm | Type of failure: Incorrect Test Case: Run program | error/warning at compile-time with +RTS -N2 | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- System: Raspberry Pi 2 running Raspbian Jessie; LLVM 3.7 installed. GHC: GHC 8.0.1 ARMv7 binary downloaded from GHC webpage (ghc-8.0.1-armv7-deb8-linux.tar.xz). gcc version 4.9.2 (Raspbian 4.9.2-10) Compiled program with -threaded Can't run binary with +RTS -N2 ./single-well-micrologix +RTS -N2 single-well-micrologix: unknown RTS option: -N2 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12929> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

Re: [GHC] #2168: ghci should show haddock comments for identifier
by GHC 06 Dec '16

06 Dec '16

#2168: ghci should show haddock comments for identifier -------------------------------------+------------------------------------- Reporter: j.waldmann | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: GHCi | Version: 6.8.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by davean): * cc: davean (added) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2168#comment:28> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #12925: GHC panic: Can't serialise IfaceTcTyVar
by GHC 06 Dec '16

06 Dec '16

#12925: GHC panic: Can't serialise IfaceTcTyVar -------------------------------------+------------------------------------- Reporter: RyanGlScott | Owner: Type: bug | Status: new Priority: high | Milestone: 8.2.1 Component: Compiler | Version: 8.1 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: GHC rejects Unknown/Multiple | valid program Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- This bug currently prevents `vector` from being built with GHC HEAD. Here is a minimized test case: {{{ module Bug where data Foo a x = Foo x refoo :: Foo a x -> Foo b x refoo (Foo x) = Foo x {-# RULES "refoo/refoo" forall s. refoo (refoo s) = s #-} }}} You'll need to compile with optimizations on to trigger this: {{{ $ /opt/ghc/head/bin/ghc -O1 Bug.hs [1 of 1] Compiling Bug (.hs -> .o) Bug.hs:10:1: warning: [-Winline-rule-shadowing] Rule "refoo/refoo" may never fire because ‘refoo’ might inline first Probable fix: add an INLINE[n] or NOINLINE[n] pragma for ‘refoo’ Bug.hs:10:1: warning: [-Winline-rule-shadowing] Rule "refoo/refoo" may never fire because ‘refoo’ might inline first Probable fix: add an INLINE[n] or NOINLINE[n] pragma for ‘refoo’ ghc: panic! (the 'impossible' happened) (GHC version 8.1.20161125 for x86_64-unknown-linux): Can't serialise IfaceTcTyVar a_ary[sk:1] Call stack: CallStack (from HasCallStack): prettyCurrentCallStack, called at compiler/utils/Outputable.hs:1076:58 in ghc:Outputable callStackDoc, called at compiler/utils/Outputable.hs:1080:37 in ghc:Outputable pprPanic, called at compiler/iface/IfaceType.hs:1331:10 in ghc:IfaceType Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug }}} If I had to guess, this commit ( http://git.haskell.org/ghc.git/commit/5f349fe24066e7b0af85934664e27636d2e84… ) is responsible. Simon, do you know what's going on here? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12925> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

[GHC] #12548: Exported pattern synonyms does not mark top-level bindings in RHS as used
by GHC 06 Dec '16

06 Dec '16

#12548: Exported pattern synonyms does not mark top-level bindings in RHS as used -------------------------------------+------------------------------------- Reporter: pkmx | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 Keywords: | Operating System: Unknown/Multiple PatternSynonyms | Architecture: | Type of failure: Incorrect Unknown/Multiple | warning at compile-time Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- {{{#!hs {-# LANGUAGE PatternSynonyms #-} module Foo (pattern P) where x :: Int x = 0 pattern P :: Int pattern P <- _ where P = x }}} gives: {{{ Foo.hs:6:1: warning: [-Wunused-top-binds] Defined but not used: ‘x’ }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12548> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

Re: [GHC] #1791: heap overflow should generate an exception
by GHC 06 Dec '16

06 Dec '16

#1791: heap overflow should generate an exception -------------------------------------+------------------------------------- Reporter: guest | Owner: Type: feature request | Status: new Priority: normal | Milestone: ⊥ Component: Runtime System | Version: 6.8 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: outofmem2 Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by dobenour): I created a patch for this, but it is just a best-effort implementation. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/1791#comment:15> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0