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 /doc | |
| 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 'doc')
0 files changed, 0 insertions, 0 deletions