[GHC] #8468: ghc panic in deriving Generic1 on Array#

#8468: ghc panic in deriving Generic1 on Array# -----------------------------------+--------------------------------------- Reporter: ghorn | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: Compile-time crash Unknown/Multiple | Test Case: Difficulty: Unknown | Blocking: Blocked By: | Related Tickets: | -----------------------------------+--------------------------------------- Compiling the following code {{{ {-# Language DeriveGeneric, MagicHash #-} module Test where import GHC.Generics import GHC.Prim data Array a = Array (Array# a) newtype Vec a = MkVec {unVec :: Array a} deriving Generic1 }}} causes panic: {{{ [1 of 1] Compiling Test ( Test.hs, Test.o ) ghc: panic! (the 'impossible' happened) (GHC version 7.6.3 for x86_64-unknown-linux): No match in record selector tyConTyVars Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug }}} some comments from IRC: <monoidal> with deriving Generic1 we get "Can't make a derived instance of `Generic1 Array': Array must not have unlifted or polymorphic arguments" - so it seems the check is not done recursively on used types <monoidal> * deriving Generic1 on Array -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8468 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#8468: ghc panic in deriving Generic1 on Array# ---------------------------------------+----------------------------------- Reporter: ghorn | Owner: dreixel Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Compile-time crash | Unknown/Multiple Test Case: | Difficulty: Unknown Blocking: | Blocked By: | Related Tickets: ---------------------------------------+----------------------------------- Changes (by dreixel): * owner: => dreixel Comment: Thanks for reporting, I'll look into this. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8468#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#8468: ghc panic in deriving Generic1 on Array# ---------------------------------------+----------------------------------- Reporter: ghorn | Owner: dreixel Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Compile-time crash | Unknown/Multiple Test Case: | Difficulty: Unknown Blocking: | Blocked By: | Related Tickets: ---------------------------------------+----------------------------------- Changes (by ghorn): * cc: gregmainland@… (added) -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8468#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#8468: ghc panic in deriving Generic1 on Array#
---------------------------------------+-----------------------------------
Reporter: ghorn | Owner: dreixel
Type: bug | Status: new
Priority: normal | Milestone:
Component: Compiler | Version: 7.6.3
Resolution: | Keywords:
Operating System: Unknown/Multiple | Architecture:
Type of failure: Compile-time crash | Unknown/Multiple
Test Case: | Difficulty: Unknown
Blocking: | Blocked By:
| Related Tickets:
---------------------------------------+-----------------------------------
Comment (by Jose Pedro Magalhaes

#8468: ghc panic in deriving Generic1 on Array# ---------------------------------------+----------------------------------- Reporter: ghorn | Owner: dreixel Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Compile-time crash | Unknown/Multiple Test Case: T8468 | Difficulty: Unknown Blocking: | Blocked By: | Related Tickets: ---------------------------------------+----------------------------------- Changes (by dreixel): * status: new => closed * testcase: => T8468 * resolution: => fixed Comment: Fixed in HEAD, thanks. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8468#comment:4 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#8468: ghc panic in deriving Generic1 on Array# ---------------------------------------+----------------------------------- Reporter: ghorn | Owner: dreixel Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Compile-time crash | Unknown/Multiple Test Case: generics/T8468 | Difficulty: Unknown Blocking: | Blocked By: | Related Tickets: ---------------------------------------+----------------------------------- Changes (by simonpj): * testcase: T8468 => generics/T8468 -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8468#comment:5 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#8468: ghc panic in deriving Generic1 on Array# -------------------------------------+------------------------------------- Reporter: ghorn | Owner: dreixel Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Resolution: fixed | Keywords: Generics Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: Compile-time | Test Case: crash | generics/T8468 Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by RyanGlScott): * keywords: => Generics -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8468#comment:6 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
participants (1)
-
GHC