diff options
| author | Daniel Rogozin <daniel.rogozin@serokell.io> | 2021-04-20 19:22:56 +0300 |
|---|---|---|
| committer | Daniel Rogozin <daniel.rogozin@serokell.io> | 2021-04-23 19:59:16 +0300 |
| commit | 62fbbe95ad21af5a1db3292622d39f1444f52b75 (patch) | |
| tree | 4543825759492a9bd7636a8489fccb9c6e9cbf59 /compiler/GHC/Hs | |
| parent | d1acda985696f2e828452e246686fb35294bb7fa (diff) | |
| download | haskell-wip/T17594.tar.gz | |
wipwip/T17594
Diffstat (limited to 'compiler/GHC/Hs')
| -rw-r--r-- | compiler/GHC/Hs/Expr.hs | 1 | ||||
| -rw-r--r-- | compiler/GHC/Hs/Pat.hs | 2 | ||||
| -rw-r--r-- | compiler/GHC/Hs/Utils.hs | 5 |
3 files changed, 4 insertions, 4 deletions
diff --git a/compiler/GHC/Hs/Expr.hs b/compiler/GHC/Hs/Expr.hs index 436da995a7..09d22102e2 100644 --- a/compiler/GHC/Hs/Expr.hs +++ b/compiler/GHC/Hs/Expr.hs @@ -31,6 +31,7 @@ module GHC.Hs.Expr #include "HsVersions.h" import Language.Haskell.Syntax.Expr +import Language.Haskell.Syntax.Pat -- friends: import GHC.Prelude diff --git a/compiler/GHC/Hs/Pat.hs b/compiler/GHC/Hs/Pat.hs index 6efbfb860e..90048eb4e9 100644 --- a/compiler/GHC/Hs/Pat.hs +++ b/compiler/GHC/Hs/Pat.hs @@ -628,7 +628,7 @@ conPatNeedsParens p = go go (InfixCon {}) = p >= opPrec -- type args should be empty in this case go (RecCon {}) = False --- | @'parenthesizePat' p pat@ checks if @'patNeedsParens' p pat@ is true, and +-- | @'parenthesizeLPat' p pat@ checks if @'patNeedsParens' p pat@ is true, and -- if so, surrounds @pat@ with a 'ParPat'. Otherwise, it simply returns @pat@. parenthesizePat :: IsPass p => PprPrec diff --git a/compiler/GHC/Hs/Utils.hs b/compiler/GHC/Hs/Utils.hs index a23c1a1868..3e9f27d044 100644 --- a/compiler/GHC/Hs/Utils.hs +++ b/compiler/GHC/Hs/Utils.hs @@ -249,7 +249,8 @@ mkHsAppType e t = addCLocAA t_body e (HsAppType noExtField e paren_wct) mkHsAppTypes :: LHsExpr GhcRn -> [LHsWcType GhcRn] -> LHsExpr GhcRn mkHsAppTypes = foldl' mkHsAppType -mkHsLam :: (IsPass p, XMG (GhcPass p) (LHsExpr (GhcPass p)) ~ NoExtField) +mkHsLam :: (IsPass p, XMG (GhcPass p) (LHsExpr (GhcPass p)) ~ NoExtField, + Anno (IdGhcP p) ~ SrcSpanAnnN) => [LPat (GhcPass p)] -> LHsExpr (GhcPass p) -> LHsExpr (GhcPass p) @@ -1158,7 +1159,6 @@ collectStmtBinders flag = \case ----------------- Patterns -------------------------- - collectPatBinders :: CollectPass p => CollectFlag p @@ -1173,7 +1173,6 @@ collectPatsBinders -> [IdP p] collectPatsBinders flag pats = foldr (collect_lpat flag) [] pats - ------------- -- | Indicate if evidence binders have to be collected. |