- ghc-tickets - Haskell.org

[GHC] #9997: "A module cannot import itself"-regression
by GHC 16 Jan '15

16 Jan '15

#9997: "A module cannot import itself"-regression -------------------------------------+------------------------------------- Reporter: hvr | Owner: Type: bug | Status: new Priority: highest | Milestone: 7.10.1 Component: Compiler | Version: 7.10.1-rc1 Keywords: regression | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Blocked By: Test Case: | Related Tickets: Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- The following module could be compiled with GHC 7.8.4 and older, but fails with GHC 7.10: {{{#!hs {-# LANGUAGE PackageImports #-} module Control.DeepSeq where import "deepseq" Control.DeepSeq }}} {{{ $ ghci -Wall DeepSeq.hs GHCi, version 7.10.0.20141227: http://www.haskell.org/ghc/ :? for help [1 of 1] Compiling Control.DeepSeq ( DeepSeq.hs, interpreted ) DeepSeq.hs:5:1: A module cannot import itself: Control.DeepSeq Failed, modules loaded: none. λ:2> }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9997> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

Ping
by Jan Stolarek 15 Jan '15

15 Jan '15

Just pinging the list to see if it still exists

1 0

[GHC] #9984: Show, Read, Eq, Ord instances for Control.Applicative.Const
by GHC 15 Jan '15

15 Jan '15

#9984: Show, Read, Eq, Ord instances for Control.Applicative.Const -------------------------------------+------------------------------------- Reporter: fumieval | Owner: Type: feature | Status: new request | Milestone: Priority: low | Version: 7.8.4 Component: | Operating System: Unknown/Multiple libraries/base | Type of failure: None/Unknown Keywords: | Blocked By: Architecture: | Related Tickets: Unknown/Multiple | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- As mentioned in https://www.haskell.org/pipermail/libraries/2013-October/021531.html, the following instances can be derived clearly: * `Show a => Show (Const a b)` * `Read a => Read (Const a b)` * `Eq a => Eq (Const a b)` * `Ord a => Ord (Const a b)` The absence of these instances makes debugging harder. I suggest handcrafted Show/Read instances for neat representation. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9984> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 7

Re: [GHC] #5821: SPECIALISE fails with a cryptic warning
by GHC 15 Jan '15

15 Jan '15

#5821: SPECIALISE fails with a cryptic warning -------------------------------------+------------------------------------- Reporter: rl | Owner: ezyang Type: bug | Status: closed Priority: normal | Milestone: 7.10.1 Component: Compiler | Version: 7.5 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Incorrect | Unknown/Multiple warning at compile-time | Test Case: Blocked By: | simplCore/should_compile/T5821 Related Tickets: | Blocking: | Differential Revisions: Phab:D610 -------------------------------------+------------------------------------- Changes (by simonpj): * status: patch => closed * testcase: => simplCore/should_compile/T5821 * resolution: => fixed Comment: Right, I've fixed this properly now. Simon -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5821#comment:15> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5908: Issues with RebindableSyntax
by GHC 15 Jan '15

15 Jan '15

#5908: Issues with RebindableSyntax -------------------------------------+------------------------------------- Reporter: scooty-puff | Owner: Type: bug | Status: closed Priority: normal | Milestone: 7.6.1 Component: Compiler | Version: 7.0.3 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: GHC rejects | Unknown/Multiple valid program | Test Case: Blocked By: | rebindable/T5908 Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Changes (by simonpj): * testcase: rebindable/T5821 => rebindable/T5908 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5908#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5908: Issues with RebindableSyntax
by GHC 15 Jan '15

15 Jan '15

#5908: Issues with RebindableSyntax ----------------------------------------------+---------------------------- Reporter: scooty-puff | Owner: Type: bug | Status: closed Priority: normal | Milestone: 7.6.1 Component: Compiler | Version: 7.0.3 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: GHC rejects valid program | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | rebindable/T5821 | Blocking: ----------------------------------------------+---------------------------- Comment (by Simon Peyton Jones <simonpj@…>): In [changeset:"c823b73cb2ca8e2392e2a4c48286879cc7baa51c/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="c823b73cb2ca8e2392e2a4c48286879cc7baa51c" Test Trac #5821 And rename the wrongly named rebindable/T5821 to T5908 (Trac #5908) }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5908#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5821: SPECIALISE fails with a cryptic warning
by GHC 15 Jan '15

15 Jan '15

#5821: SPECIALISE fails with a cryptic warning -------------------------------------+------------------------------------- Reporter: rl | Owner: ezyang Type: bug | Status: patch Priority: normal | Milestone: 7.10.1 Component: Compiler | Version: 7.5 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Incorrect | Unknown/Multiple warning at compile-time | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: Phab:D610 -------------------------------------+------------------------------------- Comment (by Simon Peyton Jones <simonpj@…>): In [changeset:"c823b73cb2ca8e2392e2a4c48286879cc7baa51c/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="c823b73cb2ca8e2392e2a4c48286879cc7baa51c" Test Trac #5821 And rename the wrongly named rebindable/T5821 to T5908 (Trac #5908) }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5821#comment:14> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5821: SPECIALISE fails with a cryptic warning
by GHC 15 Jan '15

15 Jan '15

#5821: SPECIALISE fails with a cryptic warning -------------------------------------+------------------------------------- Reporter: rl | Owner: ezyang Type: bug | Status: patch Priority: normal | Milestone: 7.10.1 Component: Compiler | Version: 7.5 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Incorrect | Unknown/Multiple warning at compile-time | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: Phab:D610 -------------------------------------+------------------------------------- Comment (by Simon Peyton Jones <simonpj@…>): In [changeset:"788413297eaddfa259d2ab76459a916a62d2604c/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="788413297eaddfa259d2ab76459a916a62d2604c" Refactor handling of SPECIALISE pragmas (Trac #5821) The provoking cause was Trac #5821, which concerned type families, but in fixing it I did the usual round of tidying up and docmenting. The main comment is now Note [Handling SPECIALISE pragmas] in TcBinds. It is "wrinkle 2" that fixes #5821. }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5821#comment:13> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #9985: GHC panic with ViewPatterns and GADTs in a proc pattern
by GHC 14 Jan '15

14 Jan '15

#9985: GHC panic with ViewPatterns and GADTs in a proc pattern -------------------------------------+------------------------------------- Reporter: Rafbill | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.4 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: Compile-time Unknown/Multiple | crash Test Case: | Blocked By: Blocking: | Related Tickets: Differential Revisions: | -------------------------------------+------------------------------------- The following code causes a ghc panic with versions 7.8.4 and 7.9. {{{#!hs module A where {-# LANGUAGE GADTs, ViewPatterns, PatternSynonyms, DataKinds, Arrows, TypeOperators, TypeFamilies, UndecidableInstances #-} import Control.Arrow data Nat = Z | S Nat data Vec n a where VNil :: Vec Z a VCons :: a -> Vec n a -> Vec (S n) a viewVNil :: Vec Z a -> () viewVNil VNil = () viewVCons :: Vec (S n) a -> (a, Vec n a) viewVCons (VCons a as) = (a, as) pattern (:>) :: a -> Vec n a -> Vec (S n) a pattern a :> as <- (viewVCons -> (a, as)) pattern VNil' <- (viewVNil -> ()) type family n + m where n + Z = n n + S m = S (n + m) type family P2 n where P2 Z = S Z P2 (S n) = P2 n + P2 n class A n where a :: Arrow b => b (Vec (P2 n) a) a instance A Z where a = proc (a :> VNil) -> returnA -< a }}} If the pattern (a :> VNil) is changed to (a :> _) or (a :> VNil'), the code compiles. GADTs pattern are not allowed to appear in proc patterns, but view patterns seems to be able to bypass this restriction, #9953, and the check on subpatterns. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9985> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

Re: [GHC] #4426: Simplify the rules for implicit quantification
by GHC 14 Jan '15

14 Jan '15

#4426: Simplify the rules for implicit quantification -------------------------------------+------------------------------------- Reporter: simonpj | Owner: Type: feature request | Status: new Priority: highest | Milestone: 7.12.1 Component: Compiler | Version: 6.12.3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Blocked By: | Test Case: Related Tickets: #7880 | Blocking: | Differential Revisions: Phab:D211 -------------------------------------+------------------------------------- Changes (by liyang): * cc: ghc.haskell.org@… (added) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4426#comment:21> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0