- ghc-tickets - Haskell.org

Re: [GHC] #7633: Checkable "minimal complete definitions"
by GHC 19 Sep '13

19 Sep '13

#7633: Checkable "minimal complete definitions" -------------------------------------------------+------------------------- Reporter: shachaf | Owner: Type: feature request | Status: patch Priority: normal | Milestone: 7.8.1 Component: Compiler | Version: 7.6.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Test Case: warnings/minimal/WarnMinimal | Difficulty: Blocking: | Unknown | Blocked By: | Related Tickets: #6028 -------------------------------------------------+------------------------- Changes (by hvr): * testcase: => warnings/minimal/WarnMinimal -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7633#comment:37> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #703: all binaries built by ghc have executable stacks
by GHC 19 Sep '13

19 Sep '13

#703: all binaries built by ghc have executable stacks ----------------------------+---------------------------------------------- Reporter: duncan | Owner: ezyang Type: merge | Status: merge Priority: normal | Milestone: 6.6.1 Component: | Version: 7.6.3 Compiler (NCG) | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: Linux | Difficulty: Moderate (less than a day) Type of failure: | Blocked By: None/Unknown | Related Tickets: Test Case: N/A | Blocking: | ----------------------------+---------------------------------------------- Comment (by juhpetersen): I just tested ghc-7.7.20130828 on Fedora 20 (devel) and it looks okay at least. I will try to look into ghc-7.6.3 more. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/703#comment:27> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5987: Too many symbols in ghc package DLL
by GHC 19 Sep '13

19 Sep '13

#5987: Too many symbols in ghc package DLL -------------------------------------+------------------------------------ Reporter: igloo | Owner: Type: bug | Status: closed Priority: highest | Milestone: 7.8.1 Component: Compiler | Version: 7.5 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: 3658 | Related Tickets: -------------------------------------+------------------------------------ Changes (by akio): * cc: tkn.akio@… (added) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5987#comment:22> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7800: Error message when deriving Typeable without PolyKinds
by GHC 19 Sep '13

19 Sep '13

#7800: Error message when deriving Typeable without PolyKinds -------------------------------------------------+------------------------- Reporter: monoidal | Owner: Type: bug | dreixel Priority: normal | Status: new Component: Compiler | Milestone: 7.8.1 Resolution: | Version: 7.7 Operating System: Unknown/Multiple | Keywords: Type of failure: Incorrect warning at | Architecture: compile-time | Unknown/Multiple Test Case: | Difficulty: Blocking: | Unknown | Blocked By: | Related Tickets: -------------------------------------------------+------------------------- Comment (by dreixel): Sorry, I forgot about this. And I won't have much time to look at it before ICFP. So yes, please do change the message; it's an improvement. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7800#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7800: Error message when deriving Typeable without PolyKinds
by GHC 19 Sep '13

19 Sep '13

#7800: Error message when deriving Typeable without PolyKinds -------------------------------------------------+------------------------- Reporter: monoidal | Owner: Type: bug | dreixel Priority: normal | Status: new Component: Compiler | Milestone: 7.8.1 Resolution: | Version: 7.7 Operating System: Unknown/Multiple | Keywords: Type of failure: Incorrect warning at | Architecture: compile-time | Unknown/Multiple Test Case: | Difficulty: Blocking: | Unknown | Blocked By: | Related Tickets: -------------------------------------------------+------------------------- Comment (by monoidal): dreixel: I think it would be good to fix this before 7.8. Is it OK that I only edit the message to include "If you are deriving Typeable for a polykinded datatype, make sure PolyKinds is on"? This is rather blunt but it's a working solution. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7800#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #8202: ghc panic applyTypeToArgs
by GHC 19 Sep '13

19 Sep '13

#8202: ghc panic applyTypeToArgs -----------------------------------+--------------------------------------- Reporter: hth313 | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: Compile-time crash Unknown/Multiple | Test Case: Difficulty: Unknown | Blocking: Blocked By: | Related Tickets: | -----------------------------------+--------------------------------------- Building https://github.com/hth313/hthforth with ghc 7.6.2 on Linux or with 7.6.3 on ppc results in a ghc panic. (It works with ghc 7.2.2 on Mac OS X, I have not tested with any version between 7.2.2 and 7.6.2). Use cabal to build hthforth, vector-bytestring 0.0.0.2 is needed when using ghc 7.6 and it can be downloaded from https://github.com/basvandijk /vector-bytestring (it is currently not on Hackage). [..] [13 of 18] Compiling Language.Forth.Machine[boot] ( src/Language/Forth/Machine.hs-boot, dist/build/ppforth/ppforth- tmp/Language/Forth/Machine.o-boot ) [15 of 18] Compiling Language.Forth.Core[boot] ( src/Language/Forth/Core .hs-boot, dist/build/ppforth/ppforth-tmp/Language/Forth/Core.o-boot ) [17 of 18] Compiling Language.Forth.Core ( src/Language/Forth/Core.hs, dist/build/ppforth/ppforth-tmp/Language/Forth/Core.o ) ghc: panic! (the 'impossible' happened) (GHC version 7.6.2 for x86_64-unknown-linux): applyTypeToArgs main:Language.Forth.Machine.$wlvl{v r1CC} [gid] @ cell{tv i589} [tv] ww_i9uI{v} [lid] ww_i9uJ{v} [lid] ww_i9uK{v} [lid] ww_i9uL{v} [lid] ww_i9uM{v} [lid] ww_i9uN{v} [lid] ww_i9uO{v} [lid] ww_i9uP{v} [lid] ww_i9uQ{v} [lid] ww_i9uR{v} [lid] transformers-0.3.0.0:Control.Monad.Trans.Reader.ReaderT{tc r1fq} (base:GHC.IORef.IORef{tc r1fp} haskeline-0.7.0.3:System.Console.Haskeline.History.History{tc r1fo}) (transformers-0.3.0.0:Control.Monad.Trans.Reader.ReaderT{tc r1fq} (base:GHC.IORef.IORef{tc r1fp} haskeline-0.7.0.3:System.Console.Haskeline.Command.KillRing.KillRing{tc r1fn}) (transformers-0.3.0.0:Control.Monad.Trans.Reader.ReaderT{tc r1fq} haskeline-0.7.0.3:System.Console.Haskeline.Prefs.Prefs{tc r1fO} (transformers-0.3.0.0:Control.Monad.Trans.Reader.ReaderT{tc r1fq} (haskeline-0.7.0.3:System.Console.Haskeline.InputT.Settings{tc r1fX} <nt>ghc-prim:GHC.Types.IO{tc 32I}) <nt>ghc-prim:GHC.Types.IO{tc 32I}))) (base:Data.Either.Either{tc 344} base:GHC.Base.String{tc 36u} (main:Language.Forth.Types.Lit{tc r10z} cell{tv i589} [tv]), main:Language.Forth.Machine.Machine{tc r1ev} cell{tv i589} [tv]) Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8202> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

Re: [GHC] #3333: GHCi doesn't load weak symbols
by GHC 19 Sep '13

19 Sep '13

#3333: GHCi doesn't load weak symbols ---------------------------------+----------------------------------------- Reporter: heatsink | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.6.2 Component: GHCi | Version: 6.10.4 Resolution: | Keywords: weak, dynamic loading Operating System: Linux | Architecture: x86 Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: 3658 Blocking: | Related Tickets: ---------------------------------+----------------------------------------- Comment (by akio): Replying to [comment:32 ezyang]: > igloo: If the patch is already implemented and does not cause any trouble for anybody, I think we should take it. It is not that complicated either. Indeed it would be nice if this can be fixed in the GHCi linker, too. I rebased the patches. They validate on Linux. I also tried to validate on Windows but haven't managed to do it, due to some other issues (probably I haven't set up my environment correctly). (I accidentally attached an unrelated patch {{{0001-Test-for- Trac-8242.patch}}}, but I don't know how I can delete it. Sorry for the noise) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/3333#comment:33> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #6124: Spurious non-exhaustive warning with GADT and newtypes
by GHC 18 Sep '13

18 Sep '13

#6124: Spurious non-exhaustive warning with GADT and newtypes -------------------------------------------------+------------------------- Reporter: joeyadams | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.8.1 Component: Compiler (Type checker) | Version: 7.4.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Incorrect warning at | Unknown/Multiple compile-time | Difficulty: Test Case: | Unknown Blocking: | Blocked By: | Related Tickets: -------------------------------------------------+------------------------- Changes (by bgamari): * cc: bgamari@… (added) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/6124#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5762: GHC gives incorrect warnings with simple applications of the view patterns extension
by GHC 18 Sep '13

18 Sep '13

#5762: GHC gives incorrect warnings with simple applications of the view patterns extension -------------------------------------------------+------------------------- Reporter: jmg | Owner: Type: bug | Status: new Priority: normal | Milestone: _|_ Component: Compiler | Version: 7.3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Incorrect warning at | Unknown/Multiple compile-time | Difficulty: Test Case: | Unknown Blocking: | Blocked By: | Related Tickets: -------------------------------------------------+------------------------- Comment (by hvr): !PatternGuards can result in a similar spurious warning, i.e. {{{#!hs module Foo where foo :: Either t t -> t foo x | Left l <- x = l | Right r <- x = r bar :: Either t t -> t bar x = v where v | Left l <- x = l | Right r <- x = r }}} leads to {{{ Foo.hs:4:1: Warning: Pattern match(es) are non-exhaustive In an equation for `foo': Patterns not matched: _ Foo.hs:10:5: Warning: Pattern match(es) are non-exhaustive In an equation for `v': Patterns not matched: }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5762#comment:2> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7574: Register allocator chokes on certain branches with literals
by GHC 18 Sep '13

18 Sep '13

#7574: Register allocator chokes on certain branches with literals -------------------------------------+------------------------------------- Reporter: thoughtpolice | Owner: simonmar Type: bug | Status: new Priority: highest | Milestone: 7.8.1 Component: Compiler (NCG) | Version: 7.7 Resolution: | Keywords: ncg, codegen Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: Compile-time | Difficulty: Unknown crash | Blocked By: 7573 Test Case: | Related Tickets: #7571,#7534, codeGen/should_compile/T7574 | #7814 Blocking: | -------------------------------------+------------------------------------- Comment (by thoughtpolice): Thank you Simon. I'm quite busy at the moment - and I've also had a partially working patch (probably similar to yours,) but mine also threw away too much code when discarding unreachable blocks. I mean to brain- dump it to you, but I imagine you can manage :) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7574#comment:25> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0