diff options
| author | Vladislav Zavialov <vlad.z.4096@gmail.com> | 2021-06-10 16:04:26 +0300 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2021-11-02 01:36:32 -0400 |
| commit | f1a782dd29480c4570465ea0aa06008bbf444e13 (patch) | |
| tree | 4837a90b7d2e3e1786aa19d75d1d5db5e834f1cf /testsuite | |
| parent | 7445bd714c1bea39207f9a2fa497c325b95ba2c7 (diff) | |
| download | haskell-f1a782dd29480c4570465ea0aa06008bbf444e13.tar.gz | |
HsToken for let/in (#19623)
One more step towards the new design of EPA.
Diffstat (limited to 'testsuite')
3 files changed, 18 insertions, 7 deletions
diff --git a/testsuite/tests/parser/should_compile/DumpSemis.stderr b/testsuite/tests/parser/should_compile/DumpSemis.stderr index 1b59817f4d..bc3d2cca04 100644 --- a/testsuite/tests/parser/should_compile/DumpSemis.stderr +++ b/testsuite/tests/parser/should_compile/DumpSemis.stderr @@ -1478,11 +1478,13 @@ (Anchor { DumpSemis.hs:34:10-35 } (UnchangedAnchor)) - (AnnsLet - (EpaSpan { DumpSemis.hs:34:10-12 }) - (EpaSpan { DumpSemis.hs:34:32-33 })) + (NoEpAnns) (EpaComments [])) + (L + (TokenLoc + (EpaSpan { DumpSemis.hs:34:10-12 })) + (HsTok)) (HsValBinds (EpAnn (Anchor @@ -1673,6 +1675,10 @@ []))]} [])) (L + (TokenLoc + (EpaSpan { DumpSemis.hs:34:32-33 })) + (HsTok)) + (L (SrcSpanAnn (EpAnnNotUsed) { DumpSemis.hs:34:35 }) (HsVar (NoExtField) diff --git a/testsuite/tests/typecheck/should_compile/hard_hole_fits.hs b/testsuite/tests/typecheck/should_compile/hard_hole_fits.hs index e523c4eabe..a1cbec4b59 100644 --- a/testsuite/tests/typecheck/should_compile/hard_hole_fits.hs +++ b/testsuite/tests/typecheck/should_compile/hard_hole_fits.hs @@ -31,7 +31,7 @@ testMe (ExplicitSum xes n i gl) = _ testMe (HsCase xc gl mg) = _ testMe (HsIf xi m_se gl gl' ) = _ testMe (HsMultiIf xmi gls) = _ -testMe (HsLet xl gl gl') = _ +testMe (HsLet xl tkLet gl tkIn gl') = _ testMe (HsDo xd hsc gl) = _ testMe (ExplicitList xel m_se) = _ testMe (RecordCon xrc gl hrf) = _ diff --git a/testsuite/tests/typecheck/should_compile/hard_hole_fits.stderr b/testsuite/tests/typecheck/should_compile/hard_hole_fits.stderr index b30f55179b..78a3584f1c 100644 --- a/testsuite/tests/typecheck/should_compile/hard_hole_fits.stderr +++ b/testsuite/tests/typecheck/should_compile/hard_hole_fits.stderr @@ -391,12 +391,17 @@ hard_hole_fits.hs:33:30: warning: [-Wtyped-holes (in -Wdefault)] (imported from ‘Prelude’ at hard_hole_fits.hs:8:8-20 (and originally defined in ‘GHC.Enum’)) -hard_hole_fits.hs:34:28: warning: [-Wtyped-holes (in -Wdefault)] +hard_hole_fits.hs:34:39: warning: [-Wtyped-holes (in -Wdefault)] • Found hole: _ :: Int - • In an equation for ‘testMe’: testMe (HsLet xl gl gl') = _ + • In an equation for ‘testMe’: + testMe (HsLet xl tkLet gl tkIn gl') = _ • Relevant bindings include - gl' :: LHsExpr GhcPs (bound at hard_hole_fits.hs:34:21) + gl' :: LHsExpr GhcPs (bound at hard_hole_fits.hs:34:32) + tkIn :: Language.Haskell.Syntax.Extension.LHsToken "in" GhcPs + (bound at hard_hole_fits.hs:34:27) gl :: Language.Haskell.Syntax.Binds.HsLocalBinds GhcPs + (bound at hard_hole_fits.hs:34:24) + tkLet :: Language.Haskell.Syntax.Extension.LHsToken "let" GhcPs (bound at hard_hole_fits.hs:34:18) xl :: Language.Haskell.Syntax.Extension.XLet GhcPs (bound at hard_hole_fits.hs:34:15) |