#5936: Support for data families in generics ---------------------------------+------------------------------------------ Reporter: reinerp | Owner: dreixel Type: feature request | Status: patch Priority: normal | Milestone: 7.6.1 Component: Compiler | Version: 7.4.1 Keywords: | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: None/Unknown Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: | ---------------------------------+------------------------------------------
Comment(by jpm@…): commit 156ec95a8e92cc8314db134311d2fbb0269f0679 {{{ Author: Jose Pedro Magalhaes <j...@cs.ox.ac.uk> Date: Thu Jun 21 12:23:01 2012 +0100 Allow deriving Generic1 This completes the support for generic programming introduced in GHC 7.2. Generic1 allows defining generic functions that operate on type containers, such as `fmap`, for instance. Along the way we have fixed #5936 and #5939, allowing deriving Generic/Generic1 for data families, and disallowing deriving Generic/Generic1 for instantiated types. Most of this patch is Nicolas Frisby's work. compiler/basicTypes/OccName.lhs | 5 +- compiler/prelude/PrelNames.lhs | 13 +- compiler/typecheck/TcDeriv.lhs | 158 +++++++---- compiler/typecheck/TcGenGenerics.lhs | 514 ++++++++++++++++++++++++++-------- 4 files changed, 521 insertions(+), 169 deletions(-) }}} -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5936#comment:10> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs