isInstance does not work on Typeable with base-4.8 anymore
> :set -XTemplateHaskell
> :m +Data.Typeable
> :m +Language.Haskell.TH
--- With GHC 7.8 or earlier versions of GHC (I only tried with GHC 7.6, but my friends tried on 7.8 and earlier versions)
> $(isInstance ''Typeable [ConT ''Char] >>= stringE.show)
"True"
--- With GHC 7.10.1
> $(isInstance ''Typeable [ConT ''Char] >>= stringE.show)
"False"
I have noticed that standalone derivings of Typeable instances in Data.Typeable are disappared magically in base-4.8 of GHC 7.10,also one cannot query the instances of it by using :i Typeable in GHCi, however, obviously, I can use typeOf function in base-4.8 to get the TypeRep of Char.
The problem is that isInstance in template-haskell library doesn't know Char and many other types are instances of Typeable anymore.
Trac metadata
| Trac field | Value |
|---|---|
| Version | 7.10.1 |
| Type | Bug |
| TypeOfFailure | OtherFailure |
| Priority | normal |
| Resolution | Unresolved |
| Component | libraries/base |
| Test case | |
| Differential revisions | |
| BlockedBy | |
| Related | |
| Blocking | |
| CC | |
| Operating system | |
| Architecture |
Edited by songzh