#3920: Kind parsing seems to be failing
---------------------------------+------------------------------------------
Reporter: LouisWasserman | Owner: igloo
Type: merge | Status: new
Priority: normal | Milestone:
Component: Template Haskell | Version: 6.12.1
Keywords: | Difficulty:
Os: Unknown/Multiple | Testcase: th/T3920
Architecture: Unknown/Multiple | Failure: None/Unknown
---------------------------------+------------------------------------------
Changes (by simonpj):
* owner: simonpj => igloo
* testcase: => th/T3920
* type: bug => merge
Comment:
Good bug, thank you. Bizarrely wrong! Fixed by
{{{
Wed Mar 17 12:35:19 GMT 2010 [email protected]
* Fix Trac #3920: Template Haskell kinds
Fix two places where we were doing foldl instead of foldr
after decomposing a Kind. Strange that the same bug appears
in two quite different places!
M ./compiler/deSugar/DsMeta.hs -1 +1
M ./compiler/typecheck/TcSplice.lhs -1 +1
}}}
This also fixes #3916, and the tests tests #3916 too.
Ian: merge if it goes smoothly.
Simon
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/3920#comment:3>
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
