diff options
| author | Vladislav Zavialov <vlad.z.4096@gmail.com> | 2020-09-27 03:41:58 +0300 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-09-27 10:04:12 -0400 |
| commit | a9ce159ba58ca7e8946b46e19b1361588b677a26 (patch) | |
| tree | c7698b92e18647f702339488e4cdf0fb10d04396 | |
| parent | 4edf5527dbdd9781260e8822cb11a3f758fc7e91 (diff) | |
| download | haskell-a9ce159ba58ca7e8946b46e19b1361588b677a26.tar.gz | |
Remove outdated comment in rnHsTyKi
This comment dates back to 3df40b7b78044206bbcffe3e2c0a57d901baf5e8
and does not seem relevant anymore.
| -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]) } |