aboutsummaryrefslogtreecommitdiff
path: root/html/haddock.js
diff options
context:
space:
mode:
authorRoss Paterson <ross@soi.city.ac.uk>2006-04-24 09:03:25 +0000
committerRoss Paterson <ross@soi.city.ac.uk>2006-04-24 09:03:25 +0000
commitbb523f5164db9ac4581b8a314632309c6772810d (patch)
treecaa19b76c36c0748ac2dbab492ead9e5da417e0b /html/haddock.js
parent34a994d64a3e1efd1fc4342202b55cfa99268de7 (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 'html/haddock.js')
0 files changed, 0 insertions, 0 deletions