[GHC] #7710: AutoDeriveTypeable and synonyms
#7710: AutoDeriveTypeable and synonyms --------------------------------------+------------------------------------- Reporter: monoidal | Owner: Type: bug | Status: new Priority: normal | Component: Compiler Version: 7.7 | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: GHC rejects valid program | Blockedby: Blocking: | Related: --------------------------------------+------------------------------------- {{{ {-# LANGUAGE AutoDeriveTypeable, DeriveDataTypeable, TypeSynonymInstances #-} type T = Int }}} reports duplicate instance for `Typeable Int` error. In my opinion type synonyms should be excluded from -XAutoDeriveTypeable. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7710> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#7710: AutoDeriveTypeable and synonyms --------------------------------------+------------------------------------- Reporter: monoidal | Owner: dreixel Type: bug | Status: new Priority: normal | Component: Compiler Version: 7.7 | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: GHC rejects valid program | Blockedby: Blocking: | Related: --------------------------------------+------------------------------------- Changes (by dreixel): * owner: => dreixel Comment: Definitely. Will look into it. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7710#comment:1> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#7710: AutoDeriveTypeable and synonyms --------------------------------------+------------------------------------- Reporter: monoidal | Owner: dreixel Type: bug | Status: new Priority: normal | Component: Compiler Version: 7.7 | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: GHC rejects valid program | Blockedby: Blocking: | Related: --------------------------------------+------------------------------------- Comment(by jpm@…): commit 84742c08b029978cef8f985bd8c2615cdbab9321 {{{ Author: Jose Pedro Magalhaes <jpm@cs.ox.ac.uk> Date: Thu Feb 21 09:33:31 2013 +0000 Fix #7710: do not AutoDeriveTypeable for synonyms and type families compiler/hsSyn/HsDecls.lhs | 17 ++++++++++++++--- compiler/typecheck/TcDeriv.lhs | 2 +- 2 files changed, 15 insertions(+), 4 deletions(-) }}} -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7710#comment:2> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#7710: AutoDeriveTypeable and synonyms ---------------------------------+------------------------------------------ Reporter: monoidal | Owner: dreixel Type: bug | Status: closed Priority: normal | Component: Compiler Version: 7.7 | Resolution: fixed Keywords: | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: GHC rejects valid program Blockedby: | Blocking: Related: | ---------------------------------+------------------------------------------ Changes (by dreixel): * status: new => closed * resolution: => fixed Comment: Thanks; fixed, also for type families. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7710#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
participants (1)
-
GHC