[Git][ghc/ghc][wip/no-arrow-rearrangement] 2 commits: Don't rearrange (->) in the renamer
Vladislav Zavialov
gitlab at gitlab.haskell.org
Sun Sep 27 00:43:09 UTC 2020
Vladislav Zavialov pushed to branch wip/no-arrow-rearrangement at Glasgow Haskell Compiler / GHC
Commits:
0a0f2ff6 by Vladislav Zavialov at 2020-09-27T03:41:28+03:00
Don't rearrange (->) in the renamer
The parser produces an AST where the (->)
is already associated correctly:
1. (->) has the least possible precedence
2. (->) is right-associative
Thus we don't need to handle it in mkHsOpTyRn.
- - - - -
cc099a82 by Vladislav Zavialov at 2020-09-27T03:42:17+03:00
Remove outdated comment in rnHsTyKi
This comment dates back to 3df40b7b78044206bbcffe3e2c0a57d901baf5e8
and does not seem relevant anymore.
- - - - -
1 changed file:
- compiler/GHC/Rename/HsType.hs
Changes:
=====================================
compiler/GHC/Rename/HsType.hs
=====================================
@@ -52,14 +52,13 @@ import GHC.Rename.Fixity ( lookupFieldFixityRn, lookupFixityRn
import GHC.Tc.Utils.Monad
import GHC.Types.Name.Reader
import GHC.Builtin.Names
-import GHC.Builtin.Types.Prim ( funTyConName )
import GHC.Types.Name
import GHC.Types.SrcLoc
import GHC.Types.Name.Set
import GHC.Types.FieldLabel
import GHC.Utils.Misc
-import GHC.Types.Basic ( compareFixity, funTyFixity, negateFixity
+import GHC.Types.Basic ( compareFixity, negateFixity
, Fixity(..), FixityDirection(..), LexicalFixity(..)
, TypeOrKind(..) )
import GHC.Utils.Outputable
@@ -600,8 +599,7 @@ rnHsTyKi env ty@(HsOpTy _ ty1 l_op ty2)
; fix <- lookupTyFixityRn l_op'
; (ty1', fvs2) <- rnLHsTyKi env ty1
; (ty2', fvs3) <- rnLHsTyKi env ty2
- ; res_ty <- mkHsOpTyRn (\t1 t2 -> HsOpTy noExtField t1 l_op' t2)
- (unLoc l_op') fix ty1' ty2'
+ ; res_ty <- mkHsOpTyRn l_op' fix ty1' ty2'
; return (res_ty, plusFVs [fvs1, fvs2, fvs3]) }
rnHsTyKi env (HsParTy _ ty)
@@ -627,17 +625,10 @@ 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
-
- -- Check for fixity rearrangements
; (mult', w_fvs) <- rnHsArrow env mult
- ; res_ty <- mkHsOpTyRn (hs_fun_ty mult') funTyConName funTyFixity ty1' ty2'
- ; return (res_ty, fvs1 `plusFV` fvs2 `plusFV` w_fvs) }
- where
- hs_fun_ty w a b = HsFunTy noExtField w a b
+ ; return (HsFunTy noExtField mult' ty1' ty2'
+ , plusFVs [fvs1, fvs2, w_fvs]) }
rnHsTyKi env listTy@(HsListTy _ ty)
= do { data_kinds <- xoptM LangExt.DataKinds
@@ -1210,46 +1201,41 @@ is always read in as
a `op` (b `op` c)
mkHsOpTyRn rearranges where necessary. The two arguments
-have already been renamed and rearranged. It's made rather tiresome
-by the presence of ->, which is a separate syntactic construct.
+have already been renamed and rearranged.
+
+In the past, mkHsOpTyRn used to handle (->), but this was unnecessary. In the
+syntax tree produced by the parser, the arrow already has the least possible
+precedence and does not require rearrangement.
-}
---------------
-- Building (ty1 `op1` (ty21 `op2` ty22))
-mkHsOpTyRn :: (LHsType GhcRn -> LHsType GhcRn -> HsType GhcRn)
- -> Name -> Fixity -> LHsType GhcRn -> LHsType GhcRn
+mkHsOpTyRn :: Located Name -> Fixity -> LHsType GhcRn -> LHsType GhcRn
-> RnM (HsType GhcRn)
-mkHsOpTyRn mk1 pp_op1 fix1 ty1 (L loc2 (HsOpTy noExtField ty21 op2 ty22))
+mkHsOpTyRn op1 fix1 ty1 (L loc2 (HsOpTy _ ty21 op2 ty22))
= do { fix2 <- lookupTyFixityRn op2
- ; mk_hs_op_ty mk1 pp_op1 fix1 ty1
- (\t1 t2 -> HsOpTy noExtField t1 op2 t2)
- (unLoc op2) fix2 ty21 ty22 loc2 }
-
-mkHsOpTyRn mk1 pp_op1 fix1 ty1 (L loc2 (HsFunTy _ mult ty21 ty22))
- = mk_hs_op_ty mk1 pp_op1 fix1 ty1
- hs_fun_ty funTyConName funTyFixity ty21 ty22 loc2
- where
- hs_fun_ty a b = HsFunTy noExtField mult a b
+ ; mk_hs_op_ty op1 fix1 ty1 op2 fix2 ty21 ty22 loc2 }
-mkHsOpTyRn mk1 _ _ ty1 ty2 -- Default case, no rearrangment
- = return (mk1 ty1 ty2)
+mkHsOpTyRn op1 _ ty1 ty2 -- Default case, no rearrangment
+ = return (HsOpTy noExtField ty1 op1 ty2)
---------------
-mk_hs_op_ty :: (LHsType GhcRn -> LHsType GhcRn -> HsType GhcRn)
- -> Name -> Fixity -> LHsType GhcRn
- -> (LHsType GhcRn -> LHsType GhcRn -> HsType GhcRn)
- -> Name -> Fixity -> LHsType GhcRn -> LHsType GhcRn -> SrcSpan
+mk_hs_op_ty :: Located Name -> Fixity -> LHsType GhcRn
+ -> Located Name -> Fixity -> LHsType GhcRn
+ -> LHsType GhcRn -> SrcSpan
-> RnM (HsType GhcRn)
-mk_hs_op_ty mk1 op1 fix1 ty1
- mk2 op2 fix2 ty21 ty22 loc2
- | nofix_error = do { precParseErr (NormalOp op1,fix1) (NormalOp op2,fix2)
- ; return (mk1 ty1 (L loc2 (mk2 ty21 ty22))) }
- | associate_right = return (mk1 ty1 (L loc2 (mk2 ty21 ty22)))
+mk_hs_op_ty op1 fix1 ty1 op2 fix2 ty21 ty22 loc2
+ | nofix_error = do { precParseErr (NormalOp (unLoc op1),fix1)
+ (NormalOp (unLoc op2),fix2)
+ ; return (ty1 `op1ty` (L loc2 (ty21 `op2ty` ty22))) }
+ | associate_right = return (ty1 `op1ty` (L loc2 (ty21 `op2ty` ty22)))
| otherwise = do { -- Rearrange to ((ty1 `op1` ty21) `op2` ty22)
- new_ty <- mkHsOpTyRn mk1 op1 fix1 ty1 ty21
- ; return (mk2 (noLoc new_ty) ty22) }
+ new_ty <- mkHsOpTyRn op1 fix1 ty1 ty21
+ ; return (noLoc new_ty `op2ty` ty22) }
where
+ lhs `op1ty` rhs = HsOpTy noExtField lhs op1 rhs
+ lhs `op2ty` rhs = HsOpTy noExtField lhs op2 rhs
(nofix_error, associate_right) = compareFixity fix1 fix2
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/ee0a89c83c47853ec92a1530d1d0ea7c712220f7...cc099a8236f879ceb181d03481b055ede67e4f8b
--
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/ee0a89c83c47853ec92a1530d1d0ea7c712220f7...cc099a8236f879ceb181d03481b055ede67e4f8b
You're receiving this email because of your account on gitlab.haskell.org.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-commits/attachments/20200926/92282178/attachment-0001.html>
More information about the ghc-commits
mailing list