scoped type variables in instance?

[Simon Peyton-Jones]

That's a bug; I'll fix it.

| -----Original Message-----
| From: Ross Paterson [mailto:ross at soi.city.ac.uk] 
| Sent: 22 April 2002 14:15
| To: glasgow-haskell-bugs at haskell.org
| Subject: Re: scoped type variables in instance?
| 
| 
| OK, I see this was intentional:
| 
| 	"The type variables in the head of a class or instance 
| declaration
| 	scope over the methods defined in the where part."
| 
| But both provisions cause Haskell 98 modules to be rejected, 
| even without -fglasgow-exts. 
| _______________________________________________
| Glasgow-haskell-bugs mailing list 
| Glasgow-haskell-bugs at haskell.org 
| http://www.haskell.org/mailman/listinfo/glasgow-| haskell-bugs
|