December 2014 - ghc-tickets

Re: [GHC] #5401: LANGUAGE pragma parser nit
by GHC 02 Dec '14

02 Dec '14

#5401: LANGUAGE pragma parser nit -------------------------------------+------------------------------------- Reporter: nwf | Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 7.0.3 (Parser) | Keywords: Resolution: duplicate | Architecture: x86_64 (amd64) Operating System: Linux | Difficulty: Unknown Type of failure: GHC | Blocked By: rejects valid program | Related Tickets: #3645 Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * status: new => closed * resolution: => duplicate * related: => #3645 * milestone: 7.10.1 => Comment: This is a duplicate of #3645. That ticket has more discussion already. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5401#comment:8> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #3645: Layout and pragmas
by GHC 02 Dec '14

02 Dec '14

#3645: Layout and pragmas -------------------------------------+------------------------------------- Reporter: igloo | Owner: Type: feature | Status: new request | Milestone: 7.10.1 Priority: low | Version: 6.10.4 Component: Compiler | Keywords: (Parser) | Architecture: Unknown/Multiple Resolution: | Difficulty: Unknown Operating System: | Blocked By: Unknown/Multiple | Related Tickets: Type of failure: | None/Unknown | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Comment (by thomie): #5401 is a duplicate of this ticket. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/3645#comment:18> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #9240: "read . show ≡ id" not satisfied by Data.Fixed
by GHC 02 Dec '14

02 Dec '14

#9240: "read . show ≡ id" not satisfied by Data.Fixed ------------------------------------+------------------------------------- Reporter: hvr | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.10.1 Component: libraries/base | Version: 7.2.1 Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: #9213 | ------------------------------------+------------------------------------- As pointed out in #9213, the desired property "read . show ≡ id" is not satisfied for all resolutions. For instance, consider the following example: {{{ > data B7 > instance HasResolution B7 where resolution _ = 128 > 1.070 :: Fixed B7 1.062 > 1.062 :: Fixed B7 1.054 > read "1.070" :: Fixed B7 1.062 > read "1.062" :: Fixed B7 1.054 }}} This behaviour can be reproduced all the way back to GHC 7.2.1 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9240> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

[GHC] #9818: Add `Natural` number type to `base`
by GHC 02 Dec '14

02 Dec '14

#9818: Add `Natural` number type to `base` -------------------------------------+------------------------------------- Reporter: hvr | Owner: Type: feature request | Status: new Priority: normal | Milestone: 7.10.1 Component: Compiler | Version: Keywords: | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Unknown | Type of failure: Blocked By: | None/Unknown Related Tickets: #3650 | Test Case: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- See original proposal at http://thread.gmane.org/gmane.comp.lang.haskell.libraries/23300 which was generally met with unanimous support for adding such a type. Request for CLC-arbitration (and its conclusion) on two more or less controversial details lacking consensus: https://groups.google.com/forum/#!msg/haskell-core- libraries/CVylSkkHCWE/Cqn7VEgR24sJ -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9818> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 12

Re: [GHC] #3699: Wildcards in type functions
by GHC 02 Dec '14

02 Dec '14

#3699: Wildcards in type functions -------------------------------------+------------------------------------- Reporter: | Owner: MartijnVanSteenbergen | Status: new Type: feature | Milestone: 7.10.1 request | Version: 6.10.4 Priority: low | Keywords: Component: Compiler | Architecture: Unknown/Multiple (Type checker) | Difficulty: Unknown Resolution: | Blocked By: Operating System: | Related Tickets: Unknown/Multiple | Type of failure: | None/Unknown | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * difficulty: => Unknown * component: Compiler => Compiler (Type checker) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/3699#comment:11> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #3701: allow existential wrapper newtypes
by GHC 02 Dec '14

02 Dec '14

#3701: allow existential wrapper newtypes -------------------------------------+------------------------------------- Reporter: duncan | Owner: Type: feature | Status: new request | Milestone: 7.10.1 Priority: low | Version: 6.10.4 Component: Compiler | Keywords: (Type checker) | Architecture: Unknown/Multiple Resolution: | Difficulty: Unknown Operating System: | Blocked By: Unknown/Multiple | Related Tickets: Type of failure: | None/Unknown | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * difficulty: => Unknown * component: Compiler => Compiler (Type checker) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/3701#comment:12> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #3094: Some GHC.* module should export word size and heap object header size
by GHC 02 Dec '14

02 Dec '14

#3094: Some GHC.* module should export word size and heap object header size -------------------------------------+------------------------------------- Reporter: duncan | Owner: Type: bug | Status: new Priority: normal | Milestone: 6.12.1 Component: libraries | Version: 6.10.1 (other) | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: None/Unknown | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * status: closed => new * failure: => None/Unknown * resolution: fixed => Comment: GHC.Constants doesn't export anything at the moment, but there's a comment that says: {{{ -- TODO: This used to include HaskellConstants.hs, but that has now gone. -- We probably want to include the constants in platformConstants somehow -- instead. }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/3094#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7947: Name conflict with DerivingDataTypeable, StandaloneDeriving and qualified imports
by GHC 02 Dec '14

02 Dec '14

#7947: Name conflict with DerivingDataTypeable, StandaloneDeriving and qualified imports -------------------------------------+------------------------------------- Reporter: a.ulrich | Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 7.7 (Type checker) | Keywords: Resolution: fixed | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: GHC | Related Tickets: rejects valid program | Test Case: | deriving/should_compile/T7947 | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by simonpj): * status: new => closed * testcase: => deriving/should_compile/T7947 * resolution: => fixed Comment: Great catch, fortunately quite easy to fix. Thanks for bringing it up Thomie. Simon -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7947#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7947: Name conflict with DerivingDataTypeable, StandaloneDeriving and qualified imports
by GHC 02 Dec '14

02 Dec '14

#7947: Name conflict with DerivingDataTypeable, StandaloneDeriving and qualified imports -------------------------------------+------------------------------------- Reporter: a.ulrich | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.7 (Type checker) | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: GHC | Related Tickets: rejects valid program | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Comment (by Simon Peyton Jones <simonpj@…>): In [changeset:"c41d214a8dd8e2fe7ae9a3446aeda1a07328b831/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="c41d214a8dd8e2fe7ae9a3446aeda1a07328b831" Unique-ify the names of top-level auxiliary bindings in derived instances (Trac #7947) The problem and its solution are explained in Note [Auxiliary binders] in TcGenDeriv }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7947#comment:2> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4921: report ambiguous type variables more consistently
by GHC 02 Dec '14

02 Dec '14

#4921: report ambiguous type variables more consistently -------------------------------------+------------------------------------- Reporter: Saizan | Owner: Type: feature | Status: closed request | Milestone: 7.10.1 Priority: low | Version: 7.0.1 Component: Compiler | Keywords: (Type checker) | Architecture: Unknown/Multiple Resolution: fixed | Difficulty: Unknown Operating System: | Blocked By: Unknown/Multiple | Related Tickets: Type of failure: | None/Unknown | Test Case: | typecheck/should_fail/T4921 | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by simonpj): * status: new => closed * testcase: => typecheck/should_fail/T4921 * resolution: => fixed -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4921#comment:7> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0