Re: [GHC] #675: Bad error message in GHCi

#675: Bad error message in GHCi
------------------------------+---------------------------------------------
  Reporter:  guest            |          Owner:         
      Type:  feature request  |         Status:  new    
  Priority:  normal           |      Milestone:         
 Component:  GHCi             |        Version:  6.4.1  
  Severity:  normal           |     Resolution:         
  Keywords:                   |             Os:  Unknown
Difficulty:  Unknown          |   Architecture:  Unknown
------------------------------+---------------------------------------------
Comment (by simonmar):

 Interestingly, GHC 6.5 doesn't report any error at all, presumably because
 it defaults the ambiguous type variable to ():

 {{{
 Prelude> :m +Debug.QuickCheck
 Prelude Debug.QuickCheck> let prop_eq_reflexive x = x == x
 Prelude Debug.QuickCheck> quickCheck prop_eq_reflexive
 Loading package QuickCheck-1.0 ... linking ... done.
 OK, passed 100 tests.
 Prelude Debug.QuickCheck> :t quickCheck prop_eq_reflexive
 quickCheck prop_eq_reflexive :: IO ()
 }}}

 Is this defaulting a little heavy handed, or is it the right thing?

-- 
Ticket URL: <http://cvs.haskell.org/trac/ghc/ticket/675>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@xxxxxxxxxxx
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs