#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 |
---------------------------+------------------------------------------------
Old description:
> This ticket just records John Meacham's intriguing:
> [http://repetae.net/john/recent/out/classalias.html class alias proposal]
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 unleaashed]
Some combination of these looks very desirable.
--
Comment(by simonpj):
Anoter
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/788#comment:9>
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
