INLINEABLE on class method triggers the error for INLINE
class Foo f where
foo :: f
{-# INLINEABLE foo #-}
causes the following error
The INLINE pragma for `foo' lacks an accompanying binding
(You cannot give a INLINE pragma for a record selector or class method)
Which incorrectly refers to INLINE and not the used INLINEABLE.
Trac metadata
Trac field | Value |
---|---|
Version | 7.6.3 |
Type | Bug |
TypeOfFailure | OtherFailure |
Priority | normal |
Resolution | Unresolved |
Component | Compiler |
Test case | |
Differential revisions | |
BlockedBy | |
Related | |
Blocking | |
CC | aspergesoepje@gmail.com |
Operating system | |
Architecture |