Changes between Initial Version and Version 9 of Ticket #788


Ignore:
Timestamp:
Dec 15, 2010 9:51:28 AM (5 years ago)
Author:
simonpj
Comment:

Anoter

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #788

    • Property Cc Deewiant added
    • Property Component changed from Compiler to Compiler (Type checker)
    • Property Summary changed from Class aliases (as proposaed by John Meacham) to Implement class aliases and/or constraint synonyms
    • Property Test Case changed from to N/A
    • Property Type of failure changed from to None/Unknown
    • Property Architecture changed from Unknown to Unknown/Multiple
    • Property Milestone changed from to _|_
    • Property Operating System changed from Unknown to Unknown/Multiple
  • Ticket #788 – Description

    initial v9  
    1 This ticket just records John Meacham's intriguing:
    2 [http://repetae.net/john/recent/out/classalias.html class alias proposal]
     1It would be good to implement
     2 * John Meacham's intriguing: [http://repetae.net/john/recent/out/classalias.html class alias proposal], or
     3
     4 * Dominic Orchard and Tom Schrijvers's [http://users.ugent.be/~tschrijv/Research/papers/constraint_families.pdf Haskell type constraints unleaashed]
     5
     6Some combination of these looks very desirable.