-
Simon Peyton Jones authored
Give the correct type and unfolding for a record selector where the field is overloaded. This fixes a bug reported by Victor Stolz. *** BACK-PATCH TO 4.08 PLEASE ***
38ff36a4
Give the correct type and unfolding for a record selector where the field is overloaded. This fixes a bug reported by Victor Stolz. *** BACK-PATCH TO 4.08 PLEASE ***