On Thu, Dec 07, 2006 at 10:53:38AM -0500, J. Garrett Morris wrote:
> On 12/7/06, Lennart Augustsson <[EMAIL PROTECTED]> wrote:
> >Speaking of wishlist, I'd also like to see context synonyms, e.g.,
> >context C a = (Ord a, Num a)
>
> This is equivalent to John Meacham's class alias proposal, right?
> (http://repetae.net/john/recent/out/classalias.html)
is is a small part of it, the class alias proposal gives both a shorthand form
of refering to a set of class constraints, and a 'template language' of
sorts for declaring class instances. the instance declarations part is
the "meat" of the proposal, the shorthand form is more of a natural
consequence of it.
John
--
John Meacham - ⑆repetae.net⑆john⑈
_______________________________________________
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
