- ghc-tickets - Haskell.org

[GHC] #10036: Update Cabal before final 7.10 release
by GHC 09 Feb '15

09 Feb '15

#10036: Update Cabal before final 7.10 release -------------------------------------+------------------------------------- Reporter: ezyang | Owner: Type: bug | Status: new Priority: high | Milestone: 7.10.1 Component: libraries | Version: 7.10.1-rc2 (other) | Operating System: Unknown/Multiple Keywords: | Type of failure: None/Unknown Architecture: | Blocked By: Unknown/Multiple | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- It will be good to get this fix into the released version of Cabal, so that 7.10-built cabal installs do the right thing when operating older versions of GHC. https://github.com/haskell/cabal/pull/2391 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10036> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

[GHC] #10020: GHC 7.10 rejects nullary type class with associated data
by GHC 09 Feb '15

09 Feb '15

#10020: GHC 7.10 rejects nullary type class with associated data -------------------------------------+------------------------------------- Reporter: | Owner: RyanGlScott | Status: new Type: bug | Milestone: Priority: normal | Version: 7.10.1-rc1 Component: Compiler | Operating System: Unknown/Multiple Keywords: | Type of failure: GHC rejects Architecture: | valid program Unknown/Multiple | Blocked By: Test Case: | Related Tickets: Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- In GHC 7.8.4, the following code is legal: {{{#!hs {-# LANGUAGE NullaryTypeClasses, TypeFamilies #-} module NullaryData where class NullaryClass where data NullaryData }}} In GHC 7.10, {{{NullaryTypeClasses}}} was [https://ghc.haskell.org/trac/ghc/ticket/8993 deprecated] in favor of {{{MultiParamTypeClasses}}}. However, running this code on GHC 7.10-rc1: {{{#!hs {-# LANGUAGE MultiParamTypeClasses, TypeFamilies #-} module NullaryData where class NullaryClass where data NullaryData }}} results in this error: {{{ NullaryData.hs:4:1: The associated type ‘NullaryData’ mentions none of the type or kind variables of the class ‘NullaryClass’ In the class declaration for ‘NullaryClass’ }}} It's probably related to [https://ghc.haskell.org/trac/ghc/ticket/9167 this earlier bugfix]. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10020> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

[GHC] #10050: template haskell Ppr missing parentheses for SigT
by GHC 09 Feb '15

09 Feb '15

#10050: template haskell Ppr missing parentheses for SigT -------------------------------------+------------------------------------- Reporter: aavogt | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.4 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Blocked By: Test Case: | Related Tickets: Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- {{{#!hs ppr (SigE (VarE (mkName "a")) (SigT (VarT (mkName "x")) (VarT (mkName "k")))) }}} prints as "a :: x :: k". Ghc can't parse that, so I think it should be printed as "a :: (x :: k)" -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10050> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

[GHC] #10004: rec {} causes "head:empty list" exception
by GHC 09 Feb '15

09 Feb '15

#10004: rec {} causes "head:empty list" exception -------------------------------------+------------------------------------- Reporter: alanz | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.11 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Blocked By: Test Case: | Related Tickets: Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Using GHC HEAD 7.11.20150116 (and before) Trying to load the following into ghci {{{#!hs {-# LANGUAGE RecursiveDo #-} bar :: IO () bar = do rec {} return () }}} results in {{{ > :load "/home/alanz/mysrc/github/alanz/ghc- exactprint/tests/examples/Foo.hs" [1 of 1] Compiling Main ( /home/alanz/mysrc/github/alanz/ghc- exactprint/tests/examples/Foo.hs, interpreted ) *** Exception: Prelude.head: empty list > }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10004> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

Re: [GHC] #4834: Implement Functor => Applicative => Monad Hierarchy (aka AMP phase 3)
by GHC 09 Feb '15

09 Feb '15

#4834: Implement Functor => Applicative => Monad Hierarchy (aka AMP phase 3) -------------------------------------+------------------------------------- Reporter: gidyn | Owner: Type: task | Status: closed Priority: high | Milestone: 7.10.1 Component: libraries/base | Version: 7.0.1 Resolution: fixed | Keywords: report- Operating System: Unknown/Multiple | impact Type of failure: None/Unknown | Architecture: Blocked By: | Unknown/Multiple Related Tickets: #8004 | Test Case: | Blocking: | Differential Revisions: Phab:D13 -------------------------------------+------------------------------------- Changes (by hvr): * status: new => closed * resolution: => fixed -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4834#comment:12> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4834: Implement Functor => Applicative => Monad Hierarchy (aka AMP phase 3)
by GHC 09 Feb '15

09 Feb '15

#4834: Implement Functor => Applicative => Monad Hierarchy (aka AMP phase 3) -------------------------------------+------------------------------------- Reporter: gidyn | Owner: Type: task | Status: new Priority: high | Milestone: 7.10.1 Component: libraries/base | Version: 7.0.1 Resolution: | Keywords: report- Operating System: Unknown/Multiple | impact Type of failure: None/Unknown | Architecture: Blocked By: | Unknown/Multiple Related Tickets: #8004 | Test Case: | Blocking: | Differential Revisions: Phab:D13 -------------------------------------+------------------------------------- Comment (by hvr): Replying to [comment:10 Herbert Valerio Riedel <hvr@…>]: > In [changeset:"a741e69a230eb6d6e3373ad1fbe53c73b5f95077/ghc"]: ...also merged to ghc-7.10 via 262f7a85bb1d40770245b990527eb0bee7c20195 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4834#comment:11> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7788: Recursive type family causes <<loop>>
by GHC 09 Feb '15

09 Feb '15

#7788: Recursive type family causes <<loop>> -------------------------------------+------------------------------------- Reporter: shachaf | Owner: simonpj Type: bug | Status: new Priority: normal | Milestone: 7.12.1 Component: Compiler (Type | Version: 7.6.2 checker) | Keywords: Resolution: | Architecture: Operating System: Unknown/Multiple | Unknown/Multiple Type of failure: Incorrect result | Test Case: at runtime | Blocking: Blocked By: | Differential Revisions: Related Tickets: | -------------------------------------+------------------------------------- Changes (by thoughtpolice): * priority: high => normal * milestone: 7.10.1 => 7.12.1 Comment: Since this seems to be a regression, but also something of a corner case involving recursive type families, I'm pushing this one out to 7.12 and 'normal' priority (as 7.10 is feature complete). -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7788#comment:11> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4834: Implement Functor => Applicative => Monad Hierarchy (aka AMP phase 3)
by GHC 09 Feb '15

09 Feb '15

#4834: Implement Functor => Applicative => Monad Hierarchy (aka AMP phase 3) -------------------------------------+------------------------------------- Reporter: gidyn | Owner: Type: task | Status: new Priority: high | Milestone: 7.10.1 Component: libraries/base | Version: 7.0.1 Resolution: | Keywords: report- Operating System: Unknown/Multiple | impact Type of failure: None/Unknown | Architecture: Blocked By: | Unknown/Multiple Related Tickets: #8004 | Test Case: | Blocking: | Differential Revisions: Phab:D13 -------------------------------------+------------------------------------- Comment (by Herbert Valerio Riedel <hvr@…>): In [changeset:"a741e69a230eb6d6e3373ad1fbe53c73b5f95077/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="a741e69a230eb6d6e3373ad1fbe53c73b5f95077" Provide default implementation of `Monad(return)` This was dropped last-minute from d94de87252d0fe2ae97341d186b03a2fbe136b04 (re #4834) together with the default implementation for `(>>)` (see 65f887e1a0d864526f6a2609a3afc2c151c25e38 for explanation). However, the risk of accidental mutually recursive definitions of `return`/`pure` is rather low as unlike with the `(>>) = (*>)` default, any cyclic definitions would necessarily wind up being new ones, rather than changing the semantics for old operations and introducing bottoms. On the other hand, not having the default method implementation in place in GHC 7.10 would complicate/delay any future attempt to clean-up the `Monad`-class. This finally allows (for `base >= 4.8`) to define a F/A/M instance-chain with the following minimal definitions (while ignoring that `return` is still a class-method in `Monad`) instance Functor M where fmap = ... instance Applicative M where pure = ... (<*>) = ... instance Monad M where (>>=) = ... Reviewed By: ekmett, austin Differential Revision: https://phabricator.haskell.org/D647 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4834#comment:10> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4834: Implement Functor => Applicative => Monad Hierarchy (aka AMP phase 3) (was: New Functor => Applicative => Monad Hierarchy)
by GHC 09 Feb '15

09 Feb '15

#4834: Implement Functor => Applicative => Monad Hierarchy (aka AMP phase 3) -------------------------------------+------------------------------------- Reporter: gidyn | Owner: Type: task | Status: new Priority: high | Milestone: 7.10.1 Component: libraries/base | Version: 7.0.1 Resolution: | Keywords: report- Operating System: Unknown/Multiple | impact Type of failure: None/Unknown | Architecture: Blocked By: | Unknown/Multiple Related Tickets: #8004 | Test Case: | Blocking: | Differential Revisions: Phab:D13 -------------------------------------+------------------------------------- -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4834#comment:9> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #8004: Applicative/Monad proposal related warnings (AMP phase 1)
by GHC 09 Feb '15

09 Feb '15

#8004: Applicative/Monad proposal related warnings (AMP phase 1) -------------------------------------+------------------------------------- Reporter: quchen | Owner: quchen Type: feature request | Status: closed Priority: high | Milestone: 7.8.1 Component: Compiler | Version: 7.6.3 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Blocked By: | Test Case: Related Tickets: #4834 | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Changes (by hvr): * related: => #4834 Comment: Phase 3 is covered by the (re-purposed) #4834 ticket -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8004#comment:22> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0