Skip to content
Find file Blame History Permalink
  • Simon Peyton Jones's avatar
    Better skolemisation · 3d9e4ce6
    Simon Peyton Jones authored and Marge Bot's avatar Marge Bot committed 
    As #24810 showed, it is (a little) better to skolemise en-bloc,
so that Note [Let-bound skolems] fires more often.

See Note [Skolemisation en bloc] in GHC.Tc.Utils.Instantiate.
    3d9e4ce6