April 2014 - ghc-tickets

[GHC] #8978: Type synonyms are not *exactly* synonyms
by GHC 14 Apr '14

14 Apr '14

#8978: Type synonyms are not *exactly* synonyms ----------------------------+---------------------------------------------- Reporter: joelteon | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.1 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: GHC rejects valid program Unknown/Multiple | Test Case: Difficulty: Unknown | Blocking: Blocked By: | Related Tickets: | ----------------------------+---------------------------------------------- {{{ {-# LANGUAGE FlexibleContexts #-} {-# LANGUAGE TypeFamilies #-} type Syn a = Associated a class Eq (Associated a) => Foo a where type Associated a :: * foo :: a -> Syn a -> Bool instance Foo () where type Associated () = Int foo _ x = x == x }}} In 7.6.3 and 7.8.1-rc2, this file compiles. In 7.8.1 release, GHC produces this error: {{{ No instance for (Eq (Syn ())) arising from a use of ‘==’ In the expression: x == x In an equation for ‘foo’: foo _ x = x == x In the instance declaration for ‘Foo ()’ }}} even though there is an Eq instance for Associated (), and Syn is just a type synonym. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8978> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 19

Re: [GHC] #7056: GHCi loadArchive "libiconv.a":failed Unknown PEi386 section name `.drectve'
by GHC 13 Apr '14

13 Apr '14

#7056: GHCi loadArchive "libiconv.a":failed Unknown PEi386 section name `.drectve' ----------------------------+---------------------------------------------- Reporter: songpp | Owner: thoughtpolice Type: bug | Status: new Priority: high | Milestone: 7.8.3 Component: GHCi | Version: 7.4.1 Resolution: | Keywords: loadArchive Unknown PEi386 Operating System: Windows | Architecture: x86 Type of failure: GHCi | Difficulty: Unknown crash | Blocked By: 3658 Test Case: | Related Tickets: #2487, #7103, #7889 Blocking: 8530 | ----------------------------+---------------------------------------------- Comment (by ezyang): 3noch: The fix for drectve should have made it into GHC 7.8.2. This bug is still open because we ostensibly want to relax the Windows linker's object checks. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7056#comment:23> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #2123: implement waitForProcess using signals
by GHC 13 Apr '14

13 Apr '14

#2123: implement waitForProcess using signals -------------------------------------+------------------------------------- Reporter: simonmar | Owner: Type: task | Status: new Priority: lowest | Milestone: 7.6.2 Component: | Version: 6.8.2 libraries/process | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: Unknown/Multiple | Difficulty: Moderate (less Type of failure: None/Unknown | than a day) Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------- Changes (by redneb): * cc: redneb@… (added) * failure: => None/Unknown -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2123#comment:13> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #8491: Make BlockAlloc.c comments slightly more accurate
by GHC 13 Apr '14

13 Apr '14

#8491: Make BlockAlloc.c comments slightly more accurate ------------------------------------+------------------------------------- Reporter: ezyang | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+------------------------------------- I think this patch makes the comments for BlockAlloc slightly more accurate, but I'd like someone to double check for me. {{{ diff --git a/rts/sm/BlockAlloc.c b/rts/sm/BlockAlloc.c index 18c167f..41a2279 100644 --- a/rts/sm/BlockAlloc.c +++ b/rts/sm/BlockAlloc.c @@ -45,7 +45,7 @@ static void initMBlock(void *mblock); bd->free is either: - zero for a non-group-head; bd->link points to the head - (-1) for the head of a free block group - - or it points within the block + - or it points within the block (group) bd->blocks is either: - zero for a non-group-head; bd->link points to the head }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8491> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

Re: [GHC] #5364: Access RTS flag values from inside Haskell programs
by GHC 13 Apr '14

13 Apr '14

#5364: Access RTS flag values from inside Haskell programs -------------------------------------+------------------------------------ Reporter: ezyang | Owner: Type: feature request | Status: new Priority: normal | Milestone: 7.6.2 Component: libraries/base | Version: 7.3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Changes (by ezyang): * cc: hvr (added) * difficulty: => Unknown Old description: > Strictly speaking, it is already possible to do this since > includes/rts/Flags.h exports RtsFlags, which can be accessed with a mini > wrapper function. We should add this wrapper function so we can import > it, and then write code which reads out the contents of all the various > parameters so that users can introspect this at runtime. Maybe put them > in the GHC.RTS module. New description: Strictly speaking, it is already possible to do this since `includes/rts/Flags.h` exports `RtsFlags`, which can be accessed with a mini wrapper function. We should add this wrapper function so we can import it, and then write code which reads out the contents of all the various parameters so that users can introspect this at runtime. Maybe put them in the `GHC.RTS` module. -- -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5364#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5082: Emit warnings when conflicting flags are supplied
by GHC 13 Apr '14

13 Apr '14

#5082: Emit warnings when conflicting flags are supplied -------------------------------------+------------------------------------ Reporter: ezyang | Owner: Type: feature request | Status: new Priority: low | Milestone: ⊥ Component: Compiler | Version: 7.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Changes (by ezyang): * priority: normal => low * difficulty: => Unknown -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5082#comment:2> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7068: Extensive Memory usage (regression)
by GHC 12 Apr '14

12 Apr '14

#7068: Extensive Memory usage (regression) -------------------------------------------------+------------------------- Reporter: waldheinz | Owner: Type: bug | simonpj Priority: high | Status: new Component: Compiler | Milestone: 7.8.3 Resolution: | Version: 7.4.1 Operating System: Unknown/Multiple | Keywords: Type of failure: Compile-time performance bug | Architecture: Test Case: | Unknown/Multiple Blocking: | Difficulty: | Unknown | Blocked By: | Related Tickets: -------------------------------------------------+------------------------- Changes (by George): * cc: george.colpitts@… (added) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7068#comment:12> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7068: Extensive Memory usage (regression)
by GHC 12 Apr '14

12 Apr '14

#7068: Extensive Memory usage (regression) -------------------------------------------------+------------------------- Reporter: waldheinz | Owner: Type: bug | simonpj Priority: high | Status: new Component: Compiler | Milestone: 7.8.3 Resolution: | Version: 7.4.1 Operating System: Unknown/Multiple | Keywords: Type of failure: Compile-time performance bug | Architecture: Test Case: | Unknown/Multiple Blocking: | Difficulty: | Unknown | Blocked By: | Related Tickets: -------------------------------------------------+------------------------- Comment (by George): When I try to reproduce on ghc 7.8.1 and Vec-1.0.1 with pcapriotti's instructions above I get a compilation error: {{{ ghc -fforce-recomp --make -O1 Data/Vec/LinAlg.hs -fspec-constr [1 of 3] Compiling Data.Vec.Nat ( Data/Vec/Nat.hs, Data/Vec/Nat.o ) [2 of 3] Compiling Data.Vec.Base ( Data/Vec/Base.hs, Data/Vec/Base.o ) [3 of 3] Compiling Data.Vec.LinAlg ( Data/Vec/LinAlg.hs, Data/Vec/LinAlg.o ) Data/Vec/LinAlg.hs:241:10: Illegal instance declaration for ‘SetDiagonal v m’ The liberal coverage condition fails in class ‘SetDiagonal’ for functional dependency: ‘m -> v’ Reason: lhs type ‘m’ does not determine rhs type ‘v’ In the instance declaration for ‘SetDiagonal v m’ Data/Vec/LinAlg.hs:580:10: Illegal instance declaration for ‘Pivot a (() :. v)’ The liberal coverage condition fails in class ‘Pivot’ for functional dependency: ‘m -> a’ Reason: lhs type ‘() :. v’ does not determine rhs type ‘a’ In the instance declaration for ‘Pivot a (() :. v)’ }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7068#comment:11> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #8989: nofib should record and report more fine-grained binary size information
by GHC 11 Apr '14

11 Apr '14

#8989: nofib should record and report more fine-grained binary size information -----------------------------------------+--------------------------------- Reporter: ezyang | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: NoFib benchmark suite | Version: 7.9 Keywords: | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Unknown | Type of failure: None/Unknown Blocked By: | Test Case: Related Tickets: | Blocking: -----------------------------------------+--------------------------------- Probably by section would be best; this way we can distinguish between increases in code size, as opposed to increases from other sources. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8989> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7730: :info and polykinds
by GHC 11 Apr '14

11 Apr '14

#7730: :info and polykinds --------------------------------------------+------------------------------ Reporter: monoidal | Owner: archblob Type: bug | Status: new Priority: normal | Milestone: 7.8.1 Component: Compiler (Type checker) | Version: 7.6.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Test Case: | Difficulty: Unknown Blocking: | Blocked By: | Related Tickets: #8776 --------------------------------------------+------------------------------ Comment (by archblob): Well, I'm talking a lot, but to summarize, my impression was that the current output format of ``` pprIfaceDecl ``` should also be kept, and just print differently when called from :info, but if that is not the case and if the format is amenable to change I will go ahead and make it look like ``` ppr_ty_thing ``` does. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7730#comment:17> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0