diff options
author | Ross Paterson <ross@soi.city.ac.uk> | 2006-04-24 09:03:25 +0000 |
---|---|---|
committer | Ross Paterson <ross@soi.city.ac.uk> | 2006-04-24 09:03:25 +0000 |
commit | bb523f5164db9ac4581b8a314632309c6772810d (patch) | |
tree | caa19b76c36c0748ac2dbab492ead9e5da417e0b /TODO | |
parent | 34a994d64a3e1efd1fc4342202b55cfa99268de7 (diff) |
extend 'deriving' heuristic a little
If an argument of a data constructor has a type variable head, it is
irreducible and the same type class can be copied into the constraint.
(Formerly we just did this for type variable arguments.)
Diffstat (limited to 'TODO')
0 files changed, 0 insertions, 0 deletions