#788: Implement class aliases and/or constraint synonyms
---------------------------+------------------------------------------------
Reporter: simonpj | Type: feature request
Status: new | Priority: normal
Milestone: _|_ | Component: Compiler (Type checker)
Version: | Keywords:
Testcase: N/A | Blockedby:
Difficulty: Unknown | Os: Unknown/Multiple
Blocking: | Architecture: Unknown/Multiple
Failure: None/Unknown |
---------------------------+------------------------------------------------
Description changed by simonpj:
Old description:
> It would be good to implement
> * John Meacham's intriguing:
> [http://repetae.net/john/recent/out/classalias.html class alias
> proposal], or
>
> * Dominic Orchard and Tom Schrijvers's
> [http://users.ugent.be/~tschrijv/Research/papers/constraint_families.pdf
> Haskell type constraints unleashed]
>
> * Superclass defaulting: #2895
>
> Some combination of these looks very desirable.
New description:
It would be good to implement
* John Meacham's intriguing:
[http://repetae.net/john/recent/out/classalias.html class alias proposal],
or
* Dominic Orchard and Tom Schrijvers's
[http://users.ugent.be/~tschrijv/Research/papers/constraint_families.pdf
Haskell type constraints unleashed]
* Superclass defaulting: #2895
Some combination of these looks very desirable.
Other relevant links:
* http://haskell.org/haskellwiki/Class_alias
*
http://markmail.org/message/sxr24pdvjq7dagco#query:%22class%20alias%22%20proposal%20haskell+page:1+mid:weh6k4krwdmnvoyt+state:results
* http://www.mail-archive.com/[email protected]/msg17356.html
* http://haskell.org/haskellwiki/Superclass_defaults.
* http://haskell.org/haskellwiki/Class_system_extension_proposal
* http://www.haskell.org/haskellwiki/Hac5/Projects#Type_class_aliases
--
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/788#comment:14>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
