#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
