#1050: Using an inferred type as a type signature fails --------------------------------------+------------------------------------- Reporter: simonpj | Owner: Type: bug | Status: closed Priority: low | Milestone: _|_ Component: Compiler (Type checker) | Version: 6.6 Resolution: fixed | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Difficulty: Unknown Testcase: | Blockedby: Blocking: | Related: --------------------------------------+------------------------------------- Changes (by simonpj): * status: new => closed * resolution: => fixed Comment: GHC always checks each type signature for ambiguity; if that faile, it just stops, since ambiguous signatures can lead to futher errors. If there are no sigatures, it goes ahead and tries to typecheck both defns, finding an ambiguous inferred type for each. It's not perfect, but I think it's good enough. Simon -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/1050#comment:6 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler