#5084: Error message with INLINE/SPECIALISE pragma for class method ------------------------------------------+--------------------------------- Reporter: batterseapower | Owner: Type: feature request | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 7.0.3 Resolution: fixed | Keywords: Testcase: typecheck/should_fail/T5084 | Blockedby: Difficulty: | Os: Unknown/Multiple Blocking: | Architecture: Unknown/Multiple Failure: GHC accepts invalid program | ------------------------------------------+--------------------------------- Changes (by simonpj):
* status: patch => closed * testcase: => typecheck/should_fail/T5084 * resolution: => fixed Comment: I found a much simpler way to do this, in `TcClassDcl`. However it's in a bit that Pedro is meddling with, so I have made the change in the `ghc- generics` branch: {{{ commit 191292aaa7f56f32fc546478f43aa89ac67c95a3 Author: Simon Peyton Jones <simo...@microsoft.com> Date: Thu Apr 21 14:03:07 2011 +0100 Fix Trac #5084 Complain about an INLINE pragma in a class decl when there's no corresponding default method compiler/typecheck/TcClassDcl.lhs | 29 +++++++++++++++++------------ 1 files changed, 17 insertions(+), 12 deletions(-) }}} Plus I added a test (also on the `ghc-generics` branch of `testsuite`. Simon -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5084#comment:2> 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