#5612: Better support for kinds in Template Haskell
-------------------------------+--------------------------------------------
Reporter: guest | Owner: lunaris
Type: feature request | Status: closed
Priority: low | Milestone: 7.6.1
Component: Compiler | Version: 7.3
Resolution: fixed | Keywords: PolyKinds, TemplateHaskell
Os: Unknown/Multiple | Architecture: Unknown/Multiple
Failure: Other | Difficulty: Unknown
Testcase: | Blockedby:
Blocking: | Related:
-------------------------------+--------------------------------------------
Comment(by goldfire):
The current implementation of this feature has a constructor
{{{PromotedT}}} used to denote a promoted data constructor used as a type.
However, if the {{{Name}}} passed to this constructor is created with
{{{mkName}}} and is ambiguous (because both a native type and data
constructor exist with the same name), the {{{PromotedT}}} behaves just
like a {{{ConT}}}.
The one-line patch I will post shortly fixes this problem, defaulting
{{{PromotedT}}} to use the promoted data constructor. The behavior of
unambiguous {{{PromotedT}}}s is unaffected.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5612#comment:25>
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
