diff options
| author | Vladislav Zavialov <vlad.z.4096@gmail.com> | 2020-09-27 03:41:58 +0300 |
|---|---|---|
| committer | Vladislav Zavialov <vlad.z.4096@gmail.com> | 2020-09-27 03:42:17 +0300 |
| commit | cc099a8236f879ceb181d03481b055ede67e4f8b (patch) | |
| tree | a4cb1317c0ba204417668921b8d5d357ee158536 | |
| parent | 0a0f2ff662cb2a4ddd844b0864d5550dc823d4a5 (diff) | |
| download | haskell-wip/no-arrow-rearrangement.tar.gz | |
Remove outdated comment in rnHsTyKiwip/no-arrow-rearrangement
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]) } |