#4226: Lifting constraints is questionably correct for implicit parameters.
----------------------------------------+-----------------------------------
Reporter: dolio | Owner:
Type: proposal | Status: new
Priority: normal | Milestone:
Component: Compiler (Type checker) | Version: 6.12.1
Keywords: implicit parameters | Difficulty:
Os: Linux | Testcase:
Architecture: x86_64 (amd64) | Failure: Other
----------------------------------------+-----------------------------------
Comment(by simonpj):
I agree that it's most unexpected that `f` and `g` behave differently in
your last example. I would not say it's the expected behaviour! I'll
check this in the new type inference engine when it's done. Thanks for
pointing it out.
Simon
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4226#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
