{-# LANGUAGE CPP #-}
module GHC.SourceGen.Expr.Internal where
import GHC.Hs.Expr
#if MIN_VERSION_ghc(9,0,0)
import GHC.Types.SrcLoc (unLoc)
#else
import SrcLoc (unLoc)
#endif
import GHC.SourceGen.Lit.Internal
import GHC.SourceGen.Syntax.Internal
#if MIN_VERSION_ghc(9,4,0)
import Language.Haskell.Syntax.Extension
#endif
parenthesizeExprForApp, parenthesizeExprForOp
:: LHsExpr' -> LHsExpr'
parenthesizeExprForApp :: LHsExpr' -> LHsExpr'
parenthesizeExprForApp LHsExpr'
e
| HsExpr' -> Bool
needsExprForApp (GenLocated SrcSpanAnnA HsExpr' -> HsExpr'
forall l e. GenLocated l e -> e
unLoc LHsExpr'
GenLocated SrcSpanAnnA HsExpr'
e) = LHsExpr' -> LHsExpr'
parExpr LHsExpr'
e
| Bool
otherwise = LHsExpr'
e
parenthesizeExprForOp :: LHsExpr' -> LHsExpr'
parenthesizeExprForOp LHsExpr'
e
| HsExpr' -> Bool
needsExprForOp (GenLocated SrcSpanAnnA HsExpr' -> HsExpr'
forall l e. GenLocated l e -> e
unLoc LHsExpr'
GenLocated SrcSpanAnnA HsExpr'
e) = LHsExpr' -> LHsExpr'
parExpr LHsExpr'
e
| Bool
otherwise = LHsExpr'
e
parExpr :: LHsExpr' -> LHsExpr'
#if MIN_VERSION_ghc(9,4,0)
parExpr :: LHsExpr' -> LHsExpr'
parExpr LHsExpr'
e = HsExpr' -> GenLocated SrcSpanAnnA HsExpr'
forall a ann. a -> GenLocated (SrcSpanAnn ann) a
mkLocated (HsExpr' -> GenLocated SrcSpanAnnA HsExpr')
-> HsExpr' -> GenLocated SrcSpanAnnA HsExpr'
forall a b. (a -> b) -> a -> b
$ (EpAnn NoEpAnns
-> GenLocated TokenLocation (HsToken "(")
-> GenLocated SrcSpanAnnA HsExpr'
-> GenLocated TokenLocation (HsToken ")")
-> HsExpr')
-> GenLocated TokenLocation (HsToken "(")
-> GenLocated SrcSpanAnnA HsExpr'
-> GenLocated TokenLocation (HsToken ")")
-> HsExpr'
forall ann a. (EpAnn ann -> a) -> a
withEpAnnNotUsed XPar GhcPs
-> LHsToken "(" GhcPs -> LHsExpr' -> LHsToken ")" GhcPs -> HsExpr'
EpAnn NoEpAnns
-> GenLocated TokenLocation (HsToken "(")
-> GenLocated SrcSpanAnnA HsExpr'
-> GenLocated TokenLocation (HsToken ")")
-> HsExpr'
forall p.
XPar p -> LHsToken "(" p -> LHsExpr p -> LHsToken ")" p -> HsExpr p
HsPar GenLocated TokenLocation (HsToken "(")
forall (t :: Symbol). GenLocated TokenLocation (HsToken t)
mkToken LHsExpr'
GenLocated SrcSpanAnnA HsExpr'
e GenLocated TokenLocation (HsToken ")")
forall (t :: Symbol). GenLocated TokenLocation (HsToken t)
mkToken
#else
parExpr = mkLocated . withEpAnnNotUsed HsPar
#endif
#if MIN_VERSION_ghc(8,6,0)
#define WILD_EXT _
#else
#define WILD_EXT
#endif
needsExprForApp, needsExprForOp :: HsExpr' -> Bool
needsExprForOp :: HsExpr' -> Bool
needsExprForOp HsExpr'
e = case HsExpr'
e of
HsLit WILD_EXT l -> litNeedsParen l
HsOverLit WILD_EXT l -> overLitNeedsParen l
HsLam{} -> Bool
True
HsLamCase{} -> Bool
True
OpApp{} -> Bool
True
NegApp{} -> Bool
True
HsCase{} -> Bool
True
HsIf{} -> Bool
True
HsMultiIf{} -> Bool
True
HsLet{} -> Bool
True
HsDo{} -> Bool
True
ExprWithTySig{} -> Bool
True
HsExpr'
_ -> Bool
False
needsExprForApp :: HsExpr' -> Bool
needsExprForApp HsExpr'
e = case HsExpr'
e of
HsApp{} -> Bool
True
HsAppType{} -> Bool
True
HsStatic{} -> Bool
True
HsExpr'
_ -> HsExpr' -> Bool
needsExprForOp HsExpr'
e