#4370: Bring back monad comprehensions
---------------------------------+------------------------------------------
Reporter: simonpj | Owner: nsch
Type: feature request | Status: new
Priority: normal | Milestone: 7.2.1
Component: Compiler | Version: 6.12.3
Keywords: | Testcase:
Blockedby: | Difficulty:
Os: Unknown/Multiple | Blocking:
Architecture: Unknown/Multiple | Failure: None/Unknown
---------------------------------+------------------------------------------
Comment(by simonpj):
The fact that you want to construct the dictionary argument to mmap in the
desugarer is suspicious. It's the type checker that builds dictionary
values, and rightly so because doing so can fail, if there isn't a
suitable instance; and the need for such an instance might influence the
infrerred type of the function.
As you know, the general plan is to attache overloaded methods to the
syntax tree, and many `Stmts` have such methods attached (`SyntaxExpr`).
Can't you use the same approach? Maybe if you explain more of what you
are doing?
Simon
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4370#comment:30>
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
