Polymorphism and typed TH
Consider
data A a = A
x = [||A||]
y = x :: Q (TExp (A Int))
$$x
is given type A a
, as expected. However, $$y
is also given type A a
. I would expect it to be A Int
. In other words, given p :: Q (TExp T1), $$p :: T2
I think GHC should verify the equation T1 ~ T2
.
Trac metadata
Trac field | Value |
---|---|
Version | 7.6.3 |
Type | Bug |
TypeOfFailure | OtherFailure |
Priority | normal |
Resolution | Unresolved |
Component | Template Haskell |
Test case | |
Differential revisions | |
BlockedBy | |
Related | |
Blocking | |
CC | |
Operating system | |
Architecture |