Remove the incredibly hairy splitTelescopeTvs.
[ghc.git] / compiler / typecheck / TcValidity.hs
index f23022c..359e643 100644 (file)
@@ -1883,3 +1883,4 @@ isTerminatingClass cls
 -- | Tidy before printing a type
 ppr_tidy :: TidyEnv -> Type -> SDoc
 ppr_tidy env ty = pprType (tidyType env ty)
+