#7974: Panic on a context with additional variable -------------------------------+-------------------------------------------- Reporter: monoidal | Owner: Type: bug | Status: new Priority: normal | Component: Compiler Version: 7.7 | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: Compile-time crash | Blockedby: Blocking: | Related: -------------------------------+-------------------------------------------- Comment(by simonpj@…): commit 1cbfddb0b85b198b8fb6543d57d212b17d2a37e4 {{{ Author: Simon Peyton Jones <simonpj@microsoft.com> Date: Mon Jun 10 18:28:37 2013 +0100 Make sure we quantify over the context in data constructors This was exposed by Trac #7974. A stupid bug! compiler/typecheck/TcTyClsDecls.lhs | 37 +++++++++++++++++------------------ 1 files changed, 18 insertions(+), 19 deletions(-) }}} -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7974#comment:1> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler