#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
_______________________________________________
ghc-tickets mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/ghc-tickets
