#3670: Allow RULES for higher-ranked terms
------------------------------------------------+---------------------------
Reporter: rl | Owner:
Type: feature request | Status: closed
Priority: normal | Milestone:
Component: Compiler | Version: 6.13
Resolution: fixed | Keywords:
Difficulty: | Os:
Unknown/Multiple
Testcase: simplCore/should_compile/rule2.hs | Architecture:
Unknown/Multiple
Failure: None/Unknown |
------------------------------------------------+---------------------------
Changes (by simonpj):
* testcase: => simplCore/should_compile/rule2.hs
* difficulty: =>
* status: new => closed
* resolution: => fixed
* failure: => None/Unknown
Comment:
Good idea. Fixed by
{{{
Tue Nov 17 12:54:17 GMT 2009 [email protected]
* Improvement to typecheck higher-rank rules better
See Note [Typechecking rules] in TcRules.
Suggested by Roman
M ./compiler/typecheck/TcRules.lhs -5 +20
}}}
Simon
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/3670#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
