projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5c4a4c4) | patch
Don't allow specialisation of class methods (fixes Trac #5001)
authorSimon Peyton Jones <simonpj@microsoft.com>
Mon, 13 Jun 2011 14:03:38 +0000 (15:03 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Mon, 13 Jun 2011 14:03:38 +0000 (15:03 +0100)
commit777b8c4bd6f8a76f2fd365aa43451b7af098e9ef
tree7a04537ea04c8513dc4a593728e204f851ed8fbdtree | snapshot
parent5c4a4c4bfe2a007f41f42ebab689bcd7219bed0dcommit | diff
Don't allow specialisation of class methods (fixes Trac #5001)

It doesn't make sense to specialise class methods -- their
code is simply a record selector.  Moreover, such methods
don't (currently) have an inl_sat field in their InlinePragma
which made DsBinds.makeCoreArity bleat.

This patch just ignores such pragmas, with a warning.
compiler/deSugar/DsBinds.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)