Ticket #4 (new enhancement)
Opened 3 years ago
Add constraint synonyms and constraint synonym families to GHC
| Reported by: | jmcarthur | Owned by: | somebody |
|---|---|---|---|
| Priority: | major | Milestone: | |
| Component: | component1 | Version: | |
| Keywords: | Cc: |
Description
Many of our ideas rely on constraint synonym families. It would be really nice to have this feature available to us.
See the paper: http://tomschrijvers.blogspot.com/2009/11/haskell-type-constraints-unleashed.html
See the prototype preprocessor implementation: http://github.com/dorchard/constraintTermExtensions
Note: See
TracTickets for help on using
tickets.
