September 2015 - ghc-tickets

[GHC] #10849: Injective type families broke debug build
by GHC 11 Sep '15

11 Sep '15

#10849: Injective type families broke debug build -------------------------------------+------------------------------------- Reporter: nomeata | Owner: jstolarek Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.2 (Type checker) | Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: GHC rejects Unknown/Multiple | valid program Test Case: | Blocked By: Blocking: | Related Tickets: Differential Revisions: | -------------------------------------+------------------------------------- Hi, since changeset:3744578 Travis observes these failures when built with DEBUG on: {{{ Compile failed (status 256) errors were: ghc-stage2: panic! (the 'impossible' happened) (GHC version 7.11.20150903 for x86_64-unknown-linux): ASSERT failed! file compiler/typecheck/TcInteract.hs, line 1381 Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug *** unexpected failure for T5490(normal) Actual stderr output differs from expected: --- ./indexed-types/should_fail/T5439.stderr.normalised 2015-09-03 04:54:51.184120403 +0000 +++ ./indexed-types/should_fail/T5439.comp.stderr.normalised 2015-09-03 04:54:51.184120403 +0000 @@ -1,25 +1,5 @@ +ghc: panic! (the 'impossible' happened) + (GHC version 7.11.20150903 for x86_64-unknown-linux): + ASSERT failed! file compiler/typecheck/TcInteract.hs, line 1381 -T5439.hs:82:28: - Couldn't match type â€˜Attempt (HElemOf rs)â€™ - with â€˜Attempt (HHead (HDrop n0 l0)) -> Attempt (HElemOf l0)â€™ - Expected type: f (Attempt (HNth n0 l0) -> Attempt (HElemOf l0)) - Actual type: f (Attempt (WaitOpResult (WaitOps rs))) - Relevant bindings include - register :: Bool -> Peano n -> WaitOps (HDrop n rs) -> IO Bool - (bound at T5439.hs:64:9) - ev :: f (Attempt (WaitOpResult (WaitOps rs))) - (bound at T5439.hs:61:22) - ops :: WaitOps rs (bound at T5439.hs:61:18) - registerWaitOp :: WaitOps rs - -> f (Attempt (WaitOpResult (WaitOps rs))) -> IO Bool - (bound at T5439.hs:61:3) - In the first argument of â€˜completeâ€™, namely â€˜evâ€™ - In the expression: complete ev - -T5439.hs:82:39: - Couldn't match expected type â€˜Peano n0â€™ - with actual type â€˜Attempt Î±0â€™ - In the second argument of â€˜($)â€™, namely - â€˜Failure (e :: SomeException)â€™ - In the second argument of â€˜($)â€™, namely - â€˜inj $ Failure (e :: SomeException)â€™ \ No newline at end of file +Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug \ No newline at end of file *** unexpected failure for T5439(normal) }}} }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10849> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

[GHC] #10806: Type error and type level (<=) together cause GHC to hang
by GHC 11 Sep '15

11 Sep '15

#10806: Type error and type level (<=) together cause GHC to hang -------------------------------------+------------------------------------- Reporter: htebalaka | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.2 (Type checker) | Keywords: | Operating System: MacOS X Architecture: | Type of failure: Other Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Revisions: | -------------------------------------+------------------------------------- The following incorrect type in the function wrongArity triggers an infinite loop in GHC, though only in the presence of triggersLoop. The issue is somehow related to the use of (<=) in constraints of the Q data constructor; if I remove either of the constraints or add an (a <= c) constraint it works as you would expect. {{{#!hs {-# LANGUAGE GADTs, ExplicitNamespaces, TypeOperators, DataKinds #-} import GHC.TypeLits (Nat, type (<=)) data Q a where Q :: (a <= b, b <= c) => proxy a -> proxy b -> Q c wrongArity :: a -> a wrongArity _ a = a triggersLoop :: Q b -> Q b -> Bool triggersLoop (Q _ _) (Q _ _) = undefined }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10806> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 9

Re: [GHC] #7175: Panic when wrongly using a type family as return types for GADTs
by GHC 11 Sep '15

11 Sep '15

#7175: Panic when wrongly using a type family as return types for GADTs -------------------------------------+------------------------------------- Reporter: goldfire | Owner: Type: bug | Status: closed Priority: normal | Milestone: 7.6.1 Component: Compiler | Version: 7.6.1-rc1 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: Compile-time | Test Case: crash | typecheck/should_fail/T7175 Blocked By: | Blocking: Related Tickets: | -------------------------------------+------------------------------------- Comment (by Simon Peyton Jones <simonpj@…>): In [changeset:"a870738a3b34d264c63656783e84168a230d7da4/ghc" a870738/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="a870738a3b34d264c63656783e84168a230d7da4" Improve rejigConRes (again) I think this patch finally works around the delicacy in the strictness of TcTyClsDecls.rejigConRes. See the notes with that function and Note [Checking GADT return types]. As a result, we fix Trac #10836, and improve Trac #7175 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7175#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #6018: Injective type families
by GHC 11 Sep '15

11 Sep '15

#6018: Injective type families -------------------------------------+------------------------------------- Reporter: lunaris | Owner: jstolarek Type: feature request | Status: closed Priority: normal | Milestone: 8.0.1 Component: Compiler | Version: 7.4.1 Resolution: fixed | Keywords: | TypeFamilies, Injective Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: T6018, | T6018fail, T6018rnfail, T6018th, | T6018failclosed1, T6018failclosed2, | T6018failclosed3, T6018failclosed4, | T6018failclosed5, T6018failclosed6, | T6018failclosed7, T6018failclosed8, | T6018failclosed9, | T6018failclosed10, | T6018failclosed11, | T6018failclosed12, T6018ghci, | T6018ghcifail, T6018ghcirnfail Blocked By: | Blocking: Related Tickets: #4259, #10832, | Differential Revisions: Phab:D202 #10833 | -------------------------------------+------------------------------------- Comment (by Simon Peyton Jones <simonpj@…>): In [changeset:"a7f690972629672510c71149d7d7c6ffe6217201/ghc" a7f6909/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="a7f690972629672510c71149d7d7c6ffe6217201" A CFunEqCan can be Derived This fixes the ASSERTION failures in indexed-types/should_fail/T5439 typecheck/should_fail/T5490 when GHC is compiled with -DDEBUG See Phab:D202 attached to Trac #6018 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/6018#comment:115> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

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

11 Sep '15

#4426: Simplify the rules for implicit quantification -------------------------------------+------------------------------------- Reporter: simonpj | Owner: simonpj Type: feature request | Status: new Priority: highest | Milestone: 8.0.1 Component: Compiler | Version: 6.12.3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: #7880 | Differential Revisions: Phab:D211 -------------------------------------+------------------------------------- Changes (by simonpj): * owner: => simonpj Comment: Yes, I am working on it, as part of some refactoring in the front end that I'm busy with. Thanks for the offer though! (There are plenty of other tickets, so you should not lack for opportunity.) Simon -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4426#comment:24> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7830: Error: operand out of range
by GHC 11 Sep '15

11 Sep '15

#7830: Error: operand out of range -------------------------------------+------------------------------------- Reporter: erikd | Owner: Type: bug | Status: new Priority: highest | Milestone: 8.0.1 Component: Compiler | Version: 7.8.1-rc1 Resolution: | Keywords: Operating System: Linux | Architecture: powerpc Type of failure: Installing GHC | Test Case: failed | Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by erikd): Looked through the git log to see if I could find possible breaking commits. The most obvious one was this: {{{ commit d3c1dda60d0ec07fc7f593bfd83ec9457dfa7984 Author: Peter Trommler <ptrommler(a)acm.org> Date: Fri Jul 3 19:09:06 2015 +0200 Implement PowerPC 64-bit native code backend for Linux }}} but this commit builds fine. Currently running a git bisect. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7830#comment:22> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7482: GHC.Event overwrites main IO managers hooks to RTS
by GHC 11 Sep '15

11 Sep '15

#7482: GHC.Event overwrites main IO managers hooks to RTS -------------------------------------+------------------------------------- Reporter: AndreasVoellmy | Owner: Type: bug | Status: new Priority: normal | Milestone: 8.0.1 Component: libraries/base | Version: 7.4.1 Resolution: | Keywords: IO | Manager, RTS Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Changes (by thoughtpolice): * milestone: 7.8.1 => 8.0.1 Comment: Moving out to 8.0.1 (since this was milestoned to an old release). -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7482#comment:9> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7830: Error: operand out of range
by GHC 11 Sep '15

11 Sep '15

#7830: Error: operand out of range -------------------------------------+------------------------------------- Reporter: erikd | Owner: Type: bug | Status: new Priority: highest | Milestone: 8.0.1 Component: Compiler | Version: 7.8.1-rc1 Resolution: | Keywords: Operating System: Linux | Architecture: powerpc Type of failure: Installing GHC | Test Case: failed | Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Changes (by thoughtpolice): * milestone: 7.8.1 => 8.0.1 Comment: Moving to 8.0.1 (since presumably we won't fix this in the 7.8 branch :) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7830#comment:21> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #1407: Add the ability to :set -l{foo} in .ghci files
by GHC 11 Sep '15

11 Sep '15

#1407: Add the ability to :set -l{foo} in .ghci files -------------------------------------+------------------------------------- Reporter: guest | Owner: archblob Type: feature request | Status: new Priority: normal | Milestone: 7.10.3 Component: GHCi | Version: 6.6.1 Resolution: | Keywords: Operating System: Windows | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: Phab:D194 -------------------------------------+------------------------------------- Changes (by thoughtpolice): * milestone: 7.10.1 => 7.10.3 Comment: Moving to 7.10.3, in case we want to investigate this, since it causes some failures. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/1407#comment:23> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #367: Infinite loops can hang Concurrent Haskell
by GHC 11 Sep '15

11 Sep '15

#367: Infinite loops can hang Concurrent Haskell -------------------------------------+------------------------------------- Reporter: simonpj | Owner: ezyang Type: bug | Status: new Priority: lowest | Milestone: ⊥ Component: Compiler | Version: 6.4.1 Resolution: None | Keywords: scheduler | allocation Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: Incorrect result | Test Case: at runtime | concurrent/should_run/T367, | concurrent/should_run/T367_letnoescape Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by fryguybob): I thought I had left a note here before, but it appears that I have not! In my work with hardware transactions we run into this when working with lots of cores on an STM red-black tree. When some thread A performs a rotation while another thread B is searching through the rotated node thread B can enter a non-allocating infinite loop due to seeing an inconsistent view of memory. I think that hardware transactions make this occur more frequently, but there is nothing about the STM that prevents this. We always build with `-fno-omit-yields` now and do not see any issues. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/367#comment:43> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0