September 2014 - ghc-tickets

Re: [GHC] #4879: Deprecate exports
by GHC 27 Sep '14

27 Sep '14

#4879: Deprecate exports -------------------------------------+------------------------------------- Reporter: basvandijk | Owner: Type: feature | Status: new request | Milestone: 7.10.1 Priority: normal | Version: 7.0.1 Component: Compiler | 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 hvr): * cc: ekmett (added) Comment: With all the class generalisation work going on in `base`, this may be desirable to have for GHC 7.10 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4879#comment:17> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #1487: unix package: test needed for getLoginName
by GHC 26 Sep '14

26 Sep '14

#1487: unix package: test needed for getLoginName -------------------------------------+------------------------------------- Reporter: simonmar | Owner: Type: bug | Status: new Priority: lowest | Milestone: Component: | Version: libraries/unix | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: Linux | Difficulty: Easy (less than 1 Type of failure: Incorrect | hour) result at runtime | Blocked By: Test Case: | Related Tickets: #8293 Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Comment (by thomie): A [http://www.haskell.org/pipermail/libraries/2014-September/023798.html library proposal] to solve this. The test has been [https://github.com/haskell/unix/commit/e7ce4a66113a910af6327b3192e9ce4879a4… disabled] again for the time being. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/1487#comment:26> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4817: Missing new flags description in the user guide
by GHC 26 Sep '14

26 Sep '14

#4817: Missing new flags description in the user guide -------------------------------------+------------------------------------- Reporter: andressr | Owner: Type: bug | Status: closed Priority: normal | Milestone: 7.4.2 Component: | Version: 7.4.1 Documentation | Keywords: Resolution: fixed | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: Documentation bug | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by asr): * cc: asr (added) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4817#comment:6> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5806: Make TimeLocale an instance of Def
by GHC 26 Sep '14

26 Sep '14

#5806: Make TimeLocale an instance of Def -------------------------------------+------------------------------------- Reporter: chrisdone | Owner: Type: feature | Status: closed request | Milestone: Priority: normal | Version: 7.2.2 Component: libraries | Keywords: /old-time | Architecture: Unknown/Multiple Resolution: wontfix | Difficulty: Unknown Operating System: | Blocked By: Unknown/Multiple | Related Tickets: Type of failure: | None/Unknown | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by asr): * cc: andres.sicard.ramirez@… (removed) * cc: asr (added) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5806#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4489: The new flag -fwarn-missing-import-lists does not recognize the (..) form of import.
by GHC 26 Sep '14

26 Sep '14

#4489: The new flag -fwarn-missing-import-lists does not recognize the (..) form of import. -------------------------------------+------------------------------------- Reporter: andressr | Owner: Type: bug | Status: closed Priority: normal | Milestone: 7.4.1 Component: Compiler | Version: Resolution: fixed | Keywords: Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Unknown Type of failure: | Blocked By: None/Unknown | Related Tickets: Test Case: | rename/should_compile/T4489 | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by asr): * cc: andres.sicard.ramirez@… (removed) * cc: asr (added) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4489#comment:7> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4284: Adding parentheses introduces type error
by GHC 26 Sep '14

26 Sep '14

#4284: Adding parentheses introduces type error -------------------------------------+------------------------------------- Reporter: jpbernardy | Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 6.12.3 (Type checker) | Keywords: higher-rank Resolution: fixed | polymorphism Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Unknown Type of failure: GHC | Blocked By: rejects valid program | Related Tickets: Test Case: | typecheck/should_compile/T4284 | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by asr): * cc: andres.sicard.ramirez@… (removed) * cc: asr (added) * difficulty: => Unknown -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4284#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #3304: define gcd 0 0 = 0
by GHC 26 Sep '14

26 Sep '14

#3304: define gcd 0 0 = 0 -------------------------------------+------------------------------------- Reporter: stevec | Owner: Type: proposal | Status: closed Priority: normal | Milestone: 7.2.1 Component: | Version: 7.1 libraries/base | Keywords: Resolution: fixed | 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 asr): * cc: andres.sicard.ramirez@… (removed) * cc: asr, hvr, ekmett (added) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/3304#comment:24> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5462: Deriving clause for arbitrary classes
by GHC 26 Sep '14

26 Sep '14

#5462: Deriving clause for arbitrary classes -------------------------------------+------------------------------------- Reporter: simonpj | Owner: dreixel Type: feature | Status: new request | Milestone: ⊥ Priority: normal | Version: 7.2.1 Component: Compiler | Keywords: Generics Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: #7346 None/Unknown | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Comment (by rwbarton): Well, I was imagining that you would simply reduce the constraints using whatever instances are in scope, just like when inferring the type of a top-level definition. However, now I see that this falls apart in the presence of non-uniform recursion. Quite annoying... but in this case there seems to potentially be a genuine choice involved, so it might be sensible to just reject "deriving" then and require the user to write their own instance head. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5462#comment:32> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5462: Deriving clause for arbitrary classes
by GHC 26 Sep '14

26 Sep '14

#5462: Deriving clause for arbitrary classes -------------------------------------+------------------------------------- Reporter: simonpj | Owner: dreixel Type: feature | Status: new request | Milestone: ⊥ Priority: normal | Version: 7.2.1 Component: Compiler | Keywords: Generics Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: #7346 None/Unknown | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Comment (by simonpj): You know what I'm going to say. Can you write a wiki page that specifies the feature, as seen by the programmer, as precisely as possible. When it is legal? What instance declaration is generated? What is the context on that instance declaration. If there are any implementation wrinkles, they can appear in a separate section on the wiki page. Thanks Simon -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5462#comment:31> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5462: Deriving clause for arbitrary classes
by GHC 26 Sep '14

26 Sep '14

#5462: Deriving clause for arbitrary classes -------------------------------------+------------------------------------- Reporter: simonpj | Owner: dreixel Type: feature | Status: new request | Milestone: ⊥ Priority: normal | Version: 7.2.1 Component: Compiler | Keywords: Generics Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: #7346 None/Unknown | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Comment (by dreixel): Replying to [comment:29 rwbarton]: > Can't we determine the context for the derived instance from the contexts of the default method type signatures? Not really. Look at the [http://www.haskell.org/haskellwiki/GHC.Generics serialisation example from the wiki page]: {{{ putDefault :: (Generic a, GSerialize (Rep a)) => a -> [Bit] }}} Nothing here tells us that we need `Serialize` constraints on the datatype parameters. More info comes from the K1 instance, though: {{{ instance (Serialize a) => GSerialize (K1 i a) where gput (K1 x) = put x }}} Here we see that the constructor arguments will require a `Serialize` instance. So if parameter `a` appears as argument to a constructor, we should introduce the constraint `Serialize a`. But this is non-trivial in general... the constraint might be part in an instance of the form `K1 i a :*: g`, for example. I think going for Andres's proposal is still the best idea, as it is simple and relates to something people already know. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5462#comment:30> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0