-
Simon Peyton Jones authored
Typechecking of explicit tuples is done "by hand" (rather than using boxySplitTyConApp) so that rigidity is maintained. In making that change I'd forgotten to retain the call to checkWiredInTyCon, which is important to make sure instances are brought into scope. Test is tc227.
f750bec7