-
Simon Peyton Jones authored
The problem was simply that the side-condition check didn't test for a type function, and then splitAppTy fell over.
88cd0d1f
The problem was simply that the side-condition check didn't test for a type function, and then splitAppTy fell over.