Ticket #4 (new enhancement)

Opened 4 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.