[Type-constraints] Remove tidyTopType

It didn't do much anyway
This commit is contained in:
Nikolay Yakimov 2016-01-20 00:10:18 +03:00
parent fde7bafe56
commit 4e4eff7bdb
1 changed files with 1 additions and 1 deletions

View File

@ -77,7 +77,7 @@ collectSpansTypes tcs lc =
preds = concatMap fst ctys
subs = G.mkTopTvSubst $ concatMap snd ctys
ty = G.substTy subs $ G.mkFunTys preds genTyp
in [(spn, G.tidyTopType ty)]
in [(spn, ty)]
getPreds x | G.isForAllTy x = getPreds $ G.dropForAlls x
| Just (c, t) <- G.splitFunTy_maybe x
, G.isPredTy c = first (c:) $ getPreds t