#5530: TyVarBndr inside type quotations don't have kinds ascribed
-------------------------------+--------------------------------------------
Reporter: nfrisby | Owner:
Type: feature request | Status: closed
Priority: normal | Milestone: 7.6.1
Component: Template Haskell | Version: 7.0.3
Resolution: wontfix | Keywords:
Testcase: | Blockedby:
Difficulty: | Os: Unknown/Multiple
Blocking: | Architecture: Unknown/Multiple
Failure: None/Unknown |
-------------------------------+--------------------------------------------
Changes (by igloo):
* status: new => closed
* resolution: => wontfix
* milestone: => 7.6.1
Comment:
Thanks for the suggestion.
As far as I know, `PlainTV` just means that the TV doesn't have a kind
signature.
It looks to me like we get `KindedTV` when the quasi-quoted code gives a
kind signature, e.g.:
{{{
Prelude Language.Haskell.TH> runQ [d| data T a = T a |]
[DataD [] T_7 [PlainTV a_9] [NormalC T_8 [(NotStrict,VarT a_9)]] []]
Prelude Language.Haskell.TH> runQ [d| data T (a :: *) = T a |]
[DataD [] T_10 [KindedTV a_12 StarK] [NormalC T_11 [(NotStrict,VarT
a_12)]] []]
}}}
which I believe is by design. I'm therefore closing this ticket, but
please reopen it if there is support on the mailing lists for an
alternative design.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5530#comment:1>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
