> Classes appear in *contexts*, not in types. So there's no > confusion. This is > another `bug fix' which simplifies the language, and I think > we should do it. Consider the function t :: T a => T a -> T a I think that it's far from clear what each of the T's mean! Worse, in Haskell 2 we'll also have t :: T T => T a -> T a In (T T) one is class and the other is a type constructor. Simon
- Haskell 98 Simon Peyton-Jones
- Re: Haskell 98 Simon Peyton-Jones
- Re: Haskell 98 Ralf Hinze
- RE: Haskell 98 Simon Peyton-Jones
- RE: Haskell 98 Ralf Hinze
- Re: Haskell 98 Simon Marlow
- Re: Haskell 98 Hans Aberg
- Re: Haskell 98 Philip Wadler
- Re: Haskell 98 Peter Thiemann
- Re: Haskell 98 Hans Aberg
- Re: Haskell 98 Peter Thiemann
- Haskell 98 Simon Peyton-Jones