diff options
Diffstat (limited to 'testsuite/tests/pmcheck')
| -rw-r--r-- | testsuite/tests/pmcheck/should_compile/CyclicSubst.hs | 2 | ||||
| -rw-r--r-- | testsuite/tests/pmcheck/should_compile/pmc009.hs | 4 | ||||
| -rw-r--r-- | testsuite/tests/pmcheck/should_compile/pmc009.stderr | 2 |
3 files changed, 2 insertions, 6 deletions
diff --git a/testsuite/tests/pmcheck/should_compile/CyclicSubst.hs b/testsuite/tests/pmcheck/should_compile/CyclicSubst.hs index 9fe0effe2c..ad351db13a 100644 --- a/testsuite/tests/pmcheck/should_compile/CyclicSubst.hs +++ b/testsuite/tests/pmcheck/should_compile/CyclicSubst.hs @@ -7,7 +7,7 @@ module CyclicSubst where -- | The match is translated to @b | a <- b@, the initial unification variable -- is @a@ (for some reason). VarVar will assign @b :-> a@ in the match of @a@ --- against @b@ (vars occuring in a pattern are flexible). The @PmGrd a b@ is +-- against @b@ (vars occurring in a pattern are flexible). The @PmGrd a b@ is -- desugared as a match of @$pm_x@ against @a@, where @$pm_x :-> b@, which is -- stored as @$pm_x :-> a@ due to the previous solution. Now, VarVar will -- assign @a :-> $pm_x@, causing a cycle. diff --git a/testsuite/tests/pmcheck/should_compile/pmc009.hs b/testsuite/tests/pmcheck/should_compile/pmc009.hs index 08f130de33..95999b2de5 100644 --- a/testsuite/tests/pmcheck/should_compile/pmc009.hs +++ b/testsuite/tests/pmcheck/should_compile/pmc009.hs @@ -2,10 +2,6 @@ module HsUtils where import GHC.Hs.Binds import SrcLoc - --- | We have to be careful to normalise @SrcSpanLess (LHsBind)@ to --- @LHsBindLR l r@ before passing the representative of @unLoc bind@ on to --- @mkOneConFull@, otherwise this triggers a panic in @zipTvSubst@. addPatSynSelector:: LHsBind p -> [a] addPatSynSelector bind | PatSynBind _ _ <- unLoc bind diff --git a/testsuite/tests/pmcheck/should_compile/pmc009.stderr b/testsuite/tests/pmcheck/should_compile/pmc009.stderr index d046b38d0f..9614f2497b 100644 --- a/testsuite/tests/pmcheck/should_compile/pmc009.stderr +++ b/testsuite/tests/pmcheck/should_compile/pmc009.stderr @@ -1,4 +1,4 @@ -pmc009.hs:10:1: warning: [-Wincomplete-patterns (in -Wextra)] +pmc009.hs:6:1: warning: [-Wincomplete-patterns (in -Wextra)] Pattern match(es) are non-exhaustive In an equation for ‘addPatSynSelector’: Patterns not matched: L _ _ |