Commit 99f45e2a authored by Ryan Scott's avatar Ryan Scott Committed by Krzysztof Gogolewski

Fix #15423 by using pprAStmtContext

Summary:
Previously, we were using `pprStmtContext` instead, which
led to error messages missing indefinite articles where they were
required.

Test Plan: make test TEST="T13242a T7786 Typeable1"

Reviewers: bgamari

Subscribers: rwbarton, thomie, carter

GHC Trac Issues: #15423

Differential Revision: https://phabricator.haskell.org/D4992
parent 176abdf4
......@@ -2804,7 +2804,7 @@ pprMatchContextNoun PatBindGuards = text "pattern binding guards"
pprMatchContextNoun LambdaExpr = text "lambda abstraction"
pprMatchContextNoun ProcExpr = text "arrow abstraction"
pprMatchContextNoun (StmtCtxt ctxt) = text "pattern binding in"
$$ pprStmtContext ctxt
$$ pprAStmtContext ctxt
pprMatchContextNoun PatSyn = text "pattern synonym declaration"
-----------------
......
......@@ -4,7 +4,7 @@ T13242a.hs:10:5: error:
‘a’ is a rigid type variable bound by
a pattern with constructor: A :: forall a. Eq a => a -> T,
in a pattern binding in
'do' block
a 'do' block
at T13242a.hs:10:3-5
• In the expression:
do A x <- undefined
......
......@@ -30,7 +30,7 @@ T7786.hs:97:31: error:
from the context: xxx ~ 'Empty
bound by a pattern with constructor: Nil :: forall a. Sing 'Empty,
in a pattern binding in
'do' block
a 'do' block
at T7786.hs:96:22-24
• In the second argument of ‘($)’, namely ‘Sub db k sub’
In a stmt of a 'do' block: return $ Sub db k sub
......
......@@ -9,7 +9,7 @@ Typeable1.hs:22:5: error: [-Winaccessible-code (in -Wdefault), -Werror=inaccessi
(t ~ a b) =>
TypeRep a -> TypeRep b -> TypeRep t,
in a pattern binding in
'do' block
a 'do' block
• In the pattern: App x y
In a stmt of a 'do' block: App x y <- pure x
In the expression:
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment