#1614: Type checker does not use functional dependency to avoid ambiguity --------------------------------------+------------------------------------- Reporter: guest | Owner: Type: bug | Status: new Priority: normal | Milestone: _|_ Component: Compiler (Type checker) | Version: 6.7 Resolution: | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Difficulty: Unknown Testcase: | Blockedby: Blocking: | Related: --------------------------------------+------------------------------------- Comment(by igloo): If I understand correctly, it was chak's code that worked, not the code in the original description. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/1614#comment:12 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler