diff options
| -rw-r--r-- | compiler/GHC/Rename/HsType.hs | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/compiler/GHC/Rename/HsType.hs b/compiler/GHC/Rename/HsType.hs index fb8bf15935..79f2bee61f 100644 --- a/compiler/GHC/Rename/HsType.hs +++ b/compiler/GHC/Rename/HsType.hs @@ -625,11 +625,7 @@ rnHsTyKi env ty@(HsRecTy _ flds) rnHsTyKi env (HsFunTy _ mult ty1 ty2) = do { (ty1', fvs1) <- rnLHsTyKi env ty1 - -- Might find a for-all as the arg of a function type ; (ty2', fvs2) <- rnLHsTyKi env ty2 - -- Or as the result. This happens when reading Prelude.hi - -- when we find return :: forall m. Monad m -> forall a. a -> m a - ; (mult', w_fvs) <- rnHsArrow env mult ; return (HsFunTy noExtField mult' ty1' ty2' , plusFVs [fvs1, fvs2, w_fvs]) } |