[GHC] #1050: Using an inferred type as a type signature fails

[GHC]

#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