OverloadedStrings cause error in annotation
The following code
{-# LANGUAGE OverloadedStrings #-}
{-# ANN module "HLint: ignore Eta reduce" #-}
main = putStrLn "hello"
results in
/tmp/Foo.hs:3:1:
No instance for (Data.Data.Data a0) arising from an annotation
The type variable ‘a0’ is ambiguous
Note: there are several potential instances:
instance (Data.Data.Data a, Data.Data.Data b) =>
Data.Data.Data (Either a b)
-- Defined in ‘Data.Data’
instance Data.Data.Data t => Data.Data.Data (Data.Proxy.Proxy t)
-- Defined in ‘Data.Data’
instance (GHC.Types.Coercible a b, Data.Data.Data a,
Data.Data.Data b) =>
Data.Data.Data (Data.Type.Coercion.Coercion a b)
-- Defined in ‘Data.Data’
...plus 31 others
In the annotation: {-# ANN module "HLint: ignore Eta reduce" #-}
/tmp/Foo.hs:3:16:
No instance for (Data.String.IsString a0)
arising from the literal ‘"HLint: ignore Eta reduce"’
The type variable ‘a0’ is ambiguous
Note: there is a potential instance available:
instance Data.String.IsString [Char] -- Defined in ‘Data.String’
In the annotation: {-# ANN module "HLint: ignore Eta reduce" #-}
when using GHC 7.10.3, and similar for GHC 8 RC
Trac metadata
| Trac field | Value |
|---|---|
| Version | 7.10.3 |
| Type | Bug |
| TypeOfFailure | OtherFailure |
| Priority | normal |
| Resolution | Unresolved |
| Component | Compiler |
| Test case | |
| Differential revisions | |
| BlockedBy | |
| Related | |
| Blocking | |
| CC | |
| Operating system | |
| Architecture |