#3916: incorrect kind inference in template haskell
-------------------------------+--------------------------------------------
Reporter: nicolas.frisby | Owner:
Type: bug | Status: new
Priority: normal | Component: Template Haskell
Version: 6.12.1 | Keywords: kinds
Os: MacOS X | Testcase:
Architecture: x86 | Failure: Incorrect result at runtime
-------------------------------+--------------------------------------------
It looks like a foldl needs to be changed to a foldr somewhere in the code
that translates results from GHC's kind inference to the Template Haskell
Kind data type.
Given this data declaration:
{{{
data F f a = F (f a a a a)
}}}
the kind ascribed to {{{f}}}, as provided in the {{{Info}}} data structure
resultant of reifying {{{F}}}, is
{{{
(((* -> *) -> *) -> *) -> *
}}}
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/3916>
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
