[GHC] #10423: Can't infer Monad n from (Monad m, m ~ n)
GHC
ghc-devs at haskell.org
Tue Jun 2 10:40:23 UTC 2015
#10423: Can't infer Monad n from (Monad m, m ~ n)
-------------------------------------+-------------------------------------
Reporter: Feuerbach | Owner:
Type: bug | Status: closed
Priority: normal | Milestone:
Component: Compiler (Type | Version: 7.11
checker) | Keywords:
Resolution: fixed | Architecture:
Operating System: Unknown/Multiple | Unknown/Multiple
Type of failure: None/Unknown | Test Case:
Blocked By: | typecheck/should_compile/T10423
Related Tickets: | Blocking:
| Differential Revisions:
-------------------------------------+-------------------------------------
Changes (by simonpj):
* status: new => closed
* testcase: => typecheck/should_compile/T10423
* resolution: => fixed
Comment:
Fixed, thank you.
Simon
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10423#comment:4>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list