strange defaulting

[Simon Peyton-Jones]

Yes, this is a bug arising from my fiddling with TcBinds. I've
fixed it in my copy; it'll appear in the HEAD soon.

Thanks

Simon

| -----Original Message-----
| From: qrczak@knm.org.pl [mailto:qrczak@knm.org.pl]
| Sent: 05 February 2001 22:00
| To: cvs-ghc@haskell.org
| Subject: Bug: strange defaulting
| 
| 
| test1:: Eq a => a -> b -> b
| test1 x y = y
| 
| test2 = test1 (3::Int)
| 
| -- The type inferred for test2 is () -> ()
| 
| -- 
|  __("<  Marcin Kowalczyk * qrczak@knm.org.pl http://qrczak.ids.net.pl/
|  \__/
|   ^^                      SYGNATURA ZASTEPCZA
| QRCZAK
| 
| 
| _______________________________________________
| Cvs-ghc mailing list
| Cvs-ghc@haskell.org
| http://www.haskell.org/mailman/listinfo/cvs-ghc
|