#3102: The impossible happened with implicit parameters
--------------------------------------+-------------------------------------
Reporter: Ashley Yakeley | Owner: chak
Type: bug | Status: reopened
Priority: normal | Milestone: 6.12.1
Component: Compiler (Type checker) | Version: 6.10.1
Resolution: | Keywords:
Difficulty: Unknown | Os: Linux
Testcase: | Architecture: Unknown/Multiple
Failure: None/Unknown |
--------------------------------------+-------------------------------------
Changes (by Ashley Yakeley):
* status: closed => reopened
* resolution: fixed =>
Comment:
Better than panic, but it's still wrong, because "a = (?p::Int) => a" is
not an infinite type.
For instance, a = "(?p::Int) => String" satisfies "a = (?p::Int) => a".
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/3102#comment:5>
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
