Better specialisation

Simon Peyton Jonesrequested to merge
wip/T26831 into master

This MR does two things:

  • Removes the extra code that prevented specialisation in the corner case of a dictionary that carries no runtime evidence
  • Make the inliner more eager to inline overloaded functions

See my long post on the ticket

Merge request reports