diff options
79 files changed, 820 insertions, 809 deletions
diff --git a/testsuite/tests/arrows/should_fail/arrowfail002.stderr b/testsuite/tests/arrows/should_fail/arrowfail002.stderr index 569e1d315d..d85fe84ef0 100644 --- a/testsuite/tests/arrows/should_fail/arrowfail002.stderr +++ b/testsuite/tests/arrows/should_fail/arrowfail002.stderr @@ -1,2 +1,2 @@ - -arrowfail002.hs:6:17: Not in scope: ‘x’ +
+arrowfail002.hs:6:17: error: Variable not in scope: x :: Int
diff --git a/testsuite/tests/driver/T1372/T1372.stderr b/testsuite/tests/driver/T1372/T1372.stderr index d3798fef5e..2f6bb5f94a 100644 --- a/testsuite/tests/driver/T1372/T1372.stderr +++ b/testsuite/tests/driver/T1372/T1372.stderr @@ -1,2 +1,2 @@ - -Main.hs:5:5: Not in scope: data constructor ‘T’ +
+Main.hs:5:5: error: Data constructor not in scope: T
diff --git a/testsuite/tests/ghc-api/annotations/T10268.stderr b/testsuite/tests/ghc-api/annotations/T10268.stderr index b4078fa981..cc879572a6 100644 --- a/testsuite/tests/ghc-api/annotations/T10268.stderr +++ b/testsuite/tests/ghc-api/annotations/T10268.stderr @@ -1,10 +1,8 @@ - -Test10268.hs:5:6: error: - Not in scope: ‘footemplate’ - In the untyped splice: $footemplate - -Test10268.hs:7:14: error: - Not in scope: type constructor or class ‘Pattern’ - -Test10268.hs:10:10: error: - Not in scope: type constructor or class ‘Pattern’ +
+Test10268.hs:5:6: error: Variable not in scope: footemplate :: ExpQ
+
+Test10268.hs:7:14: error:
+ Not in scope: type constructor or class ‘Pattern’
+
+Test10268.hs:10:10: error:
+ Not in scope: type constructor or class ‘Pattern’
diff --git a/testsuite/tests/ghc-api/annotations/T10278.stderr b/testsuite/tests/ghc-api/annotations/T10278.stderr index d3788b752d..6523039386 100644 --- a/testsuite/tests/ghc-api/annotations/T10278.stderr +++ b/testsuite/tests/ghc-api/annotations/T10278.stderr @@ -1,16 +1,12 @@ - -Test10278.hs:9:27: error: - Not in scope: type constructor or class ‘Tower’ - -Test10278.hs:9:39: error: - Not in scope: type constructor or class ‘Tower’ - -Test10278.hs:10:34: error: - Not in scope: type constructor or class ‘Tower’ - -Test10278.hs:10:46: error: - Not in scope: type constructor or class ‘Tower’ - -Test10278.hs:12:24: error: Not in scope: ‘zeroNewton’ - -Test10278.hs:12:36: error: Not in scope: ‘diffUU’ +
+Test10278.hs:9:27: error:
+ Not in scope: type constructor or class ‘Tower’
+
+Test10278.hs:9:39: error:
+ Not in scope: type constructor or class ‘Tower’
+
+Test10278.hs:10:34: error:
+ Not in scope: type constructor or class ‘Tower’
+
+Test10278.hs:10:46: error:
+ Not in scope: type constructor or class ‘Tower’
diff --git a/testsuite/tests/ghc-api/annotations/T10280.stderr b/testsuite/tests/ghc-api/annotations/T10280.stderr index 46d2c10f35..f2a2a56e63 100644 --- a/testsuite/tests/ghc-api/annotations/T10280.stderr +++ b/testsuite/tests/ghc-api/annotations/T10280.stderr @@ -1,6 +1,8 @@ - -Test10280.hs:4:8: error: Not in scope: ‘atomicModifyIORef’ - -Test10280.hs:4:26: error: Not in scope: ‘ciTokens’ - -Test10280.hs:4:44: error: Not in scope: ‘f’ +
+Test10280.hs:4:8: error:
+ Variable not in scope:
+ atomicModifyIORef :: t0 -> (a0 -> (b0, ())) -> t
+
+Test10280.hs:4:26: error: Variable not in scope: ciTokens
+
+Test10280.hs:4:44: error: Variable not in scope: f :: a0 -> b0
diff --git a/testsuite/tests/ghc-api/annotations/T10312.stderr b/testsuite/tests/ghc-api/annotations/T10312.stderr index 08f3bec6cf..8fc7a0c0bf 100644 --- a/testsuite/tests/ghc-api/annotations/T10312.stderr +++ b/testsuite/tests/ghc-api/annotations/T10312.stderr @@ -1,8 +1,2 @@ - -Test10312.hs:77:38: error: Not in scope: data constructor ‘Fixity’ - -Test10312.hs:77:53: error: - Not in scope: ‘fs’ - Perhaps you meant ‘fst’ (imported from Prelude) - -Test10312.hs:78:47: error: Not in scope: ‘ppDir’ +
+Test10312.hs:77:38: error: Not in scope: data constructor ‘Fixity’
diff --git a/testsuite/tests/ghc-api/annotations/T10313.stderr b/testsuite/tests/ghc-api/annotations/T10313.stderr index 321bfc52d7..1b6a7c2aab 100644 --- a/testsuite/tests/ghc-api/annotations/T10313.stderr +++ b/testsuite/tests/ghc-api/annotations/T10313.stderr @@ -1,29 +1,25 @@ - -Test10313.hs:9:13: error: - The deprecation for ‘solverCheckAndGetModel’ - lacks an accompanying binding - -Test10313.hs:15:16: error: - Multiple warning declarations for ‘Logic’ - also at Test10313.hs:9:13-17 - -Test10313.hs:15:16: error: - The deprecation for ‘solverCheckAndGetModel’ - lacks an accompanying binding - -Test10313.hs:16:13: error: - Multiple warning declarations for ‘solverCheckAndGetModel’ - also at Test10313.hs:10:13-34 - -Test10313.hs:30:15: error: - Not in scope: data constructor ‘Bitstream’ - -Test10313.hs:32:7: error: Not in scope: ‘S.concatMap’ - -Test10313.hs:32:19: error: Not in scope: ‘stream’ - -Test10313.hs:32:27: error: Not in scope: ‘GV.stream’ - -Test10313.hs:33:7: error: Not in scope: ‘S.sized’ - -Test10313.hs:34:7: error: Not in scope: data constructor ‘Exact’ +
+Test10313.hs:9:13: error:
+ The deprecation for ‘solverCheckAndGetModel’
+ lacks an accompanying binding
+
+Test10313.hs:15:16: error:
+ Multiple warning declarations for ‘Logic’
+ also at Test10313.hs:9:13-17
+
+Test10313.hs:15:16: error:
+ The deprecation for ‘solverCheckAndGetModel’
+ lacks an accompanying binding
+
+Test10313.hs:16:13: error:
+ Multiple warning declarations for ‘solverCheckAndGetModel’
+ also at Test10313.hs:10:13-34
+
+Test10313.hs:30:15: error:
+ Not in scope: data constructor ‘Bitstream’
+
+Test10313.hs:32:7: error: Not in scope: ‘S.concatMap’
+
+Test10313.hs:32:27: error: Not in scope: ‘GV.stream’
+
+Test10313.hs:33:7: error: Not in scope: ‘S.sized’
diff --git a/testsuite/tests/ghc-api/annotations/T10357.stderr b/testsuite/tests/ghc-api/annotations/T10357.stderr index a418490766..b394ffa49b 100644 --- a/testsuite/tests/ghc-api/annotations/T10357.stderr +++ b/testsuite/tests/ghc-api/annotations/T10357.stderr @@ -1,30 +1,37 @@ - -Test10357.hs:4:13: error: Not in scope: ‘one’ - -Test10357.hs:4:19: error: Not in scope: ‘x’ - -Test10357.hs:5:7: error: Not in scope: ‘multPoly’ - -Test10357.hs:6:10: error: Not in scope: ‘poly’ - -Test10357.hs:6:15: error: - Not in scope: data constructor ‘LE’ - Perhaps you meant ‘LT’ (imported from Prelude) - -Test10357.hs:7:10: error: Not in scope: ‘addPoly’ - -Test10357.hs:7:19: error: Not in scope: ‘poly’ - -Test10357.hs:7:24: error: - Not in scope: data constructor ‘LE’ - Perhaps you meant ‘LT’ (imported from Prelude) - -Test10357.hs:7:43: error: Not in scope: ‘multPoly’ - -Test10357.hs:8:19: error: Not in scope: ‘poly’ - -Test10357.hs:8:24: error: - Not in scope: data constructor ‘LE’ - Perhaps you meant ‘LT’ (imported from Prelude) - -Test10357.hs:8:43: error: Not in scope: ‘multPoly’ +
+Test10357.hs:4:13: error: Variable not in scope: one
+
+Test10357.hs:4:19: error: Variable not in scope: x
+
+Test10357.hs:5:7: error:
+ Variable not in scope: multPoly :: t3 -> t4 -> t
+
+Test10357.hs:6:10: error:
+ Variable not in scope: poly :: t0 -> [Double] -> t3
+
+Test10357.hs:6:15: error:
+ Data constructor not in scope: LE
+ Perhaps you meant ‘LT’ (imported from Prelude)
+
+Test10357.hs:7:10: error:
+ Variable not in scope: addPoly :: t5 -> t6 -> t4
+
+Test10357.hs:7:19: error:
+ Variable not in scope: poly :: t1 -> [Double] -> t7
+
+Test10357.hs:7:24: error:
+ Data constructor not in scope: LE
+ Perhaps you meant ‘LT’ (imported from Prelude)
+
+Test10357.hs:7:43: error:
+ Variable not in scope: multPoly :: t7 -> t -> t5
+
+Test10357.hs:8:19: error:
+ Variable not in scope: poly :: t2 -> [Double] -> t8
+
+Test10357.hs:8:24: error:
+ Data constructor not in scope: LE
+ Perhaps you meant ‘LT’ (imported from Prelude)
+
+Test10357.hs:8:43: error:
+ Variable not in scope: multPoly :: t8 -> t -> t6
diff --git a/testsuite/tests/ghc-api/annotations/T10399.stderr b/testsuite/tests/ghc-api/annotations/T10399.stderr index 71bc394b11..9d9bc29b0a 100644 --- a/testsuite/tests/ghc-api/annotations/T10399.stderr +++ b/testsuite/tests/ghc-api/annotations/T10399.stderr @@ -1,11 +1,9 @@ - -Test10399.hs:10:27: error: - Not in scope: type constructor or class ‘MPISecret’ - -Test10399.hs:12:10: error: Not in scope: ‘mkBila’ - -Test10399.hs:12:39: error: Not in scope: ‘P.base’ - -Test10399.hs:12:50: error: Not in scope: ‘P.pos’ - -Test10399.hs:12:60: error: Not in scope: ‘P.form’ +
+Test10399.hs:10:27: error:
+ Not in scope: type constructor or class ‘MPISecret’
+
+Test10399.hs:12:39: error: Not in scope: ‘P.base’
+
+Test10399.hs:12:50: error: Not in scope: ‘P.pos’
+
+Test10399.hs:12:60: error: Not in scope: ‘P.form’
diff --git a/testsuite/tests/ghci/prog009/ghci.prog009.stderr b/testsuite/tests/ghci/prog009/ghci.prog009.stderr index 97297522b9..2ad634d746 100644 --- a/testsuite/tests/ghci/prog009/ghci.prog009.stderr +++ b/testsuite/tests/ghci/prog009/ghci.prog009.stderr @@ -1,8 +1,8 @@ - -A.hs:1:16: parse error on input ‘where’ - -<interactive>:26:1: - Not in scope: ‘yan’ - Perhaps you meant ‘tan’ (imported from Prelude) - -A.hs:1:16: parse error on input ‘where’ +
+A.hs:1:16: error: parse error on input ‘where’
+
+<interactive>:26:1: error:
+ Variable not in scope: yan
+ Perhaps you meant ‘tan’ (imported from Prelude)
+
+A.hs:1:16: error: parse error on input ‘where’
diff --git a/testsuite/tests/ghci/prog012/prog012.stderr b/testsuite/tests/ghci/prog012/prog012.stderr index f22f674230..40c61dabaa 100644 --- a/testsuite/tests/ghci/prog012/prog012.stderr +++ b/testsuite/tests/ghci/prog012/prog012.stderr @@ -1,2 +1,2 @@ - -Bar.hs:3:7: Not in scope: ‘nonexistent’ +
+Bar.hs:3:7: error: Variable not in scope: nonexistent
diff --git a/testsuite/tests/ghci/scripts/T10248.stderr b/testsuite/tests/ghci/scripts/T10248.stderr index 8133ee585a..b54412ebc8 100644 --- a/testsuite/tests/ghci/scripts/T10248.stderr +++ b/testsuite/tests/ghci/scripts/T10248.stderr @@ -1,13 +1,13 @@ <interactive>:3:10: warning:
- Found hole ‘_’ with type: IO ()
+ Found hole: _ :: IO ()
In the second argument of ‘(<$>)’, namely ‘_’
In the first argument of ‘ghciStepIO :: IO a -> IO a’, namely
‘Just <$> _’
In a stmt of an interactive GHCi command:
it <- ghciStepIO :: IO a -> IO a (Just <$> _)
*** Exception: <interactive>:3:10: error:
- Found hole ‘_’ with type: IO ()
+ Found hole: _ :: IO ()
In the second argument of ‘(<$>)’, namely ‘_’
In the first argument of ‘ghciStepIO :: IO a -> IO a’, namely
‘Just <$> _’
diff --git a/testsuite/tests/ghci/scripts/T2816.stderr b/testsuite/tests/ghci/scripts/T2816.stderr index a70f7a5179..69d8349778 100644 --- a/testsuite/tests/ghci/scripts/T2816.stderr +++ b/testsuite/tests/ghci/scripts/T2816.stderr @@ -1,2 +1,2 @@ - -<interactive>:2:1: Not in scope: ‘α’ +
+<interactive>:2:1: error: Variable not in scope: α
diff --git a/testsuite/tests/ghci/scripts/T5564.stderr b/testsuite/tests/ghci/scripts/T5564.stderr index deba7e2b78..309ff1e76c 100644 --- a/testsuite/tests/ghci/scripts/T5564.stderr +++ b/testsuite/tests/ghci/scripts/T5564.stderr @@ -1,10 +1,10 @@ <interactive>:3:1: error:
- Not in scope: ‘git’
+ Variable not in scope: git
Perhaps you meant ‘it’ (line 2)
<interactive>:5:1: error:
- Not in scope: ‘fit’
+ Variable not in scope: fit
Perhaps you meant one of these:
‘fst’ (imported from Prelude), ‘Ghci1.it’ (imported from Ghci1),
‘it’ (line 4)
diff --git a/testsuite/tests/ghci/scripts/ghci036.stderr b/testsuite/tests/ghci/scripts/ghci036.stderr index 7e1ac73e10..0c7de1356b 100644 --- a/testsuite/tests/ghci/scripts/ghci036.stderr +++ b/testsuite/tests/ghci/scripts/ghci036.stderr @@ -1,16 +1,16 @@ - -<interactive>:1:1: Not in scope: ‘nubBy’ - -<interactive>:1:1: Not in scope: ‘nub’ - -<interactive>:1:1: Not in scope: ‘nubBy’ - -<interactive>:1:1: Not in scope: ‘nub’ - -<interactive>:1:1: - Not in scope: ‘nub’ - Perhaps you meant ‘L.nub’ (imported from Data.List) - -<interactive>:1:1: Not in scope: ‘L.nub’ - -<interactive>:1:1: Not in scope: ‘nub’ +
+<interactive>:1:1: error: Variable not in scope: nubBy
+
+<interactive>:1:1: error: Variable not in scope: nub
+
+<interactive>:1:1: error: Variable not in scope: nubBy
+
+<interactive>:1:1: error: Variable not in scope: nub
+
+<interactive>:1:1: error:
+ Variable not in scope: nub
+ Perhaps you meant ‘L.nub’ (imported from Data.List)
+
+<interactive>:1:1: error: Not in scope: ‘L.nub’
+
+<interactive>:1:1: error: Variable not in scope: nub
diff --git a/testsuite/tests/ghci/scripts/ghci038.stderr b/testsuite/tests/ghci/scripts/ghci038.stderr index d0b562726c..c2047d8042 100644 --- a/testsuite/tests/ghci/scripts/ghci038.stderr +++ b/testsuite/tests/ghci/scripts/ghci038.stderr @@ -1,4 +1,4 @@ - -<interactive>:1:1: Not in scope: ‘map’ - -<interactive>:1:1: Not in scope: ‘x’ +
+<interactive>:1:1: error: Variable not in scope: map
+
+<interactive>:1:1: error: Variable not in scope: x
diff --git a/testsuite/tests/indexed-types/should_fail/T7786.stderr b/testsuite/tests/indexed-types/should_fail/T7786.stderr index 4ce52b45af..686ccd77bc 100644 --- a/testsuite/tests/indexed-types/should_fail/T7786.stderr +++ b/testsuite/tests/indexed-types/should_fail/T7786.stderr @@ -1,5 +1,5 @@ -T7786.hs:86:22:
+T7786.hs:86:22: error:
Couldn't match type ‘xxx’ with ‘'Empty’
Inaccessible code in
a pattern with constructor: Nil :: forall (k :: BOX). Sing 'Empty,
@@ -10,3 +10,27 @@ T7786.hs:86:22: In a stmt of a 'do' block:
Nil :: Sing xxx <- return
(buryUnder (dbKeys sub) k Nil `intersectPaths` dbKeys db)
+
+T7786.hs:86:49: error:
+ Couldn't match type ‘xxx’
+ with ‘Intersect (BuriedUnder sub k 'Empty) inv’
+ Expected type: Sing xxx
+ Actual type: Sing (Intersect (BuriedUnder sub k 'Empty) inv)
+ Relevant bindings include
+ sub :: Database sub (bound at T7786.hs:86:13)
+ k :: Sing k (bound at T7786.hs:86:11)
+ db :: Database inv (bound at T7786.hs:86:8)
+ addSub :: Database inv
+ -> Sing k
+ -> Database sub
+ -> Maybe (Database (BuriedUnder sub k inv))
+ (bound at T7786.hs:86:1)
+ In the first argument of ‘return’, namely
+ ‘(buryUnder (dbKeys sub) k Nil `intersectPaths` dbKeys db)’
+ In a stmt of a 'do' block:
+ Nil :: Sing xxx <- return
+ (buryUnder (dbKeys sub) k Nil `intersectPaths` dbKeys db)
+ In the expression:
+ do { Nil :: Sing xxx <- return
+ (buryUnder (dbKeys sub) k Nil `intersectPaths` dbKeys db);
+ return $ Sub db k sub }
diff --git a/testsuite/tests/module/mod101.stderr b/testsuite/tests/module/mod101.stderr index bb8eecf546..906e1d7ae8 100644 --- a/testsuite/tests/module/mod101.stderr +++ b/testsuite/tests/module/mod101.stderr @@ -1,4 +1,4 @@ - -mod101.hs:8:5: - Not in scope: data constructor ‘ConB’ - Perhaps you meant ‘ConA’ (imported from Mod101_AuxB) +
+mod101.hs:8:5: error:
+ Data constructor not in scope: ConB :: Bool -> DataA
+ Perhaps you meant ‘ConA’ (imported from Mod101_AuxB)
diff --git a/testsuite/tests/module/mod102.stderr b/testsuite/tests/module/mod102.stderr index 91aca9f620..4bc979639d 100644 --- a/testsuite/tests/module/mod102.stderr +++ b/testsuite/tests/module/mod102.stderr @@ -1,4 +1,4 @@ - -mod102.hs:8:5: - Not in scope: ‘methB’ - Perhaps you meant ‘methA’ (imported from Mod102_AuxB) +
+mod102.hs:8:5: error:
+ Variable not in scope: methB :: Bool -> Bool -> ()
+ Perhaps you meant ‘methA’ (imported from Mod102_AuxB)
diff --git a/testsuite/tests/module/mod120.stderr b/testsuite/tests/module/mod120.stderr index 8c68fa091c..0052dcc79a 100644 --- a/testsuite/tests/module/mod120.stderr +++ b/testsuite/tests/module/mod120.stderr @@ -1,2 +1,2 @@ - -mod120.hs:5:5: Not in scope: data constructor ‘Foo’ +
+mod120.hs:5:5: error: Data constructor not in scope: Foo
diff --git a/testsuite/tests/module/mod121.stderr b/testsuite/tests/module/mod121.stderr index 7036ddb935..aa0a8cd4af 100644 --- a/testsuite/tests/module/mod121.stderr +++ b/testsuite/tests/module/mod121.stderr @@ -1,4 +1,4 @@ - -mod121.hs:5:5: - Not in scope: ‘m2’ - Perhaps you meant ‘m1’ (imported from Mod121_A) +
+mod121.hs:5:5: error:
+ Variable not in scope: m2 :: Int -> t
+ Perhaps you meant ‘m1’ (imported from Mod121_A)
diff --git a/testsuite/tests/module/mod125.stderr b/testsuite/tests/module/mod125.stderr index 1d56d076af..18482dd81a 100644 --- a/testsuite/tests/module/mod125.stderr +++ b/testsuite/tests/module/mod125.stderr @@ -1,2 +1,2 @@ - -mod125.hs:7:5: Not in scope: data constructor ‘T’ +
+mod125.hs:7:5: error: Data constructor not in scope: T
diff --git a/testsuite/tests/module/mod126.stderr b/testsuite/tests/module/mod126.stderr index 26d26330be..dd417b5eb5 100644 --- a/testsuite/tests/module/mod126.stderr +++ b/testsuite/tests/module/mod126.stderr @@ -1,2 +1,2 @@ - -mod126.hs:7:5: Not in scope: data constructor ‘T’ +
+mod126.hs:7:5: error: Data constructor not in scope: T
diff --git a/testsuite/tests/module/mod130.stderr b/testsuite/tests/module/mod130.stderr index 87fb842e7a..33690756f1 100644 --- a/testsuite/tests/module/mod130.stderr +++ b/testsuite/tests/module/mod130.stderr @@ -1,2 +1,3 @@ - -mod130.hs:7:5: Not in scope: ‘<’ +
+mod130.hs:7:5: error:
+ Variable not in scope: (<) :: Integer -> Int -> Int
diff --git a/testsuite/tests/module/mod132.stderr b/testsuite/tests/module/mod132.stderr index 0a9d25cda8..3547563a06 100644 --- a/testsuite/tests/module/mod132.stderr +++ b/testsuite/tests/module/mod132.stderr @@ -1,4 +1,4 @@ - -mod132.hs:6:7: - Not in scope: data constructor ‘Foo’ - Perhaps you meant variable ‘foo’ (line 6) +
+mod132.hs:6:7: error:
+ Data constructor not in scope: Foo
+ Perhaps you meant variable ‘foo’ (line 6)
diff --git a/testsuite/tests/module/mod136.stderr b/testsuite/tests/module/mod136.stderr index 58dab52093..9726cc3cff 100644 --- a/testsuite/tests/module/mod136.stderr +++ b/testsuite/tests/module/mod136.stderr @@ -1,6 +1,6 @@ - -mod136.hs:6:5: - Not in scope: ‘zipWith5’ - Perhaps you meant one of these: - ‘zipWith’ (imported from Mod136_A), - ‘zipWith3’ (imported from Mod136_A) +
+mod136.hs:6:5: error:
+ Variable not in scope: zipWith5
+ Perhaps you meant one of these:
+ ‘zipWith’ (imported from Mod136_A),
+ ‘zipWith3’ (imported from Mod136_A)
diff --git a/testsuite/tests/module/mod138.stderr b/testsuite/tests/module/mod138.stderr index 7886bcdde5..4c24e4063b 100644 --- a/testsuite/tests/module/mod138.stderr +++ b/testsuite/tests/module/mod138.stderr @@ -1,2 +1,2 @@ - -mod138.hs:7:5: Not in scope: ‘isLatin1’ +
+mod138.hs:7:5: error: Variable not in scope: isLatin1
diff --git a/testsuite/tests/module/mod147.stderr b/testsuite/tests/module/mod147.stderr index ce7101c077..335dbd2211 100644 --- a/testsuite/tests/module/mod147.stderr +++ b/testsuite/tests/module/mod147.stderr @@ -1,2 +1,3 @@ - -mod147.hs:6:5: Not in scope: data constructor ‘D’ +
+mod147.hs:6:5: error:
+ Data constructor not in scope: D :: Integer -> t
diff --git a/testsuite/tests/module/mod158.stderr b/testsuite/tests/module/mod158.stderr index 4fcc0a0365..afe0deb7ba 100644 --- a/testsuite/tests/module/mod158.stderr +++ b/testsuite/tests/module/mod158.stderr @@ -1,3 +1,3 @@ - -mod158.hs:12:5: Not in scope: data constructor ‘C’ -exit(1) +
+mod158.hs:12:5: error: Data constructor not in scope: C
+exit(1)
diff --git a/testsuite/tests/module/mod160.stderr b/testsuite/tests/module/mod160.stderr index 7c752de093..a4b8669de8 100644 --- a/testsuite/tests/module/mod160.stderr +++ b/testsuite/tests/module/mod160.stderr @@ -1,6 +1,6 @@ - -mod160.hs:12:5: - Not in scope: ‘m3’ - Perhaps you meant one of these: - ‘m1’ (imported from Mod159_D), ‘m2’ (imported from Mod159_D) -exit(1) +
+mod160.hs:12:5: error:
+ Variable not in scope: m3 :: Char -> t
+ Perhaps you meant one of these:
+ ‘m1’ (imported from Mod159_D), ‘m2’ (imported from Mod159_D)
+exit(1)
diff --git a/testsuite/tests/module/mod36.stderr b/testsuite/tests/module/mod36.stderr index 28ed1cdaae..ded22d6eb4 100644 --- a/testsuite/tests/module/mod36.stderr +++ b/testsuite/tests/module/mod36.stderr @@ -1,2 +1,2 @@ - -mod36.hs:5:5: Not in scope: ‘const’ +
+mod36.hs:5:5: error: Variable not in scope: const
diff --git a/testsuite/tests/module/mod71.stderr b/testsuite/tests/module/mod71.stderr index 53d697e133..84a5c865b6 100644 --- a/testsuite/tests/module/mod71.stderr +++ b/testsuite/tests/module/mod71.stderr @@ -1,12 +1,12 @@ - -mod71.hs:4:9: error: - Found hole ‘_’ with type: t1 - Where: ‘t1’ is a rigid type variable bound by - the inferred type of f :: Num a => (t1 -> a -> t) -> t - at mod71.hs:4:1 - Relevant bindings include - x :: t1 -> a -> t (bound at mod71.hs:4:3) - f :: (t1 -> a -> t) -> t (bound at mod71.hs:4:1) - In the first argument of ‘x’, namely ‘_’ - In the expression: x _ 1 - In an equation for ‘f’: f x = x _ 1 +
+mod71.hs:4:9: error:
+ Found hole: _ :: t1
+ Where: ‘t1’ is a rigid type variable bound by
+ the inferred type of f :: Num a => (t1 -> a -> t) -> t
+ at mod71.hs:4:1
+ Relevant bindings include
+ x :: t1 -> a -> t (bound at mod71.hs:4:3)
+ f :: (t1 -> a -> t) -> t (bound at mod71.hs:4:1)
+ In the first argument of ‘x’, namely ‘_’
+ In the expression: x _ 1
+ In an equation for ‘f’: f x = x _ 1
diff --git a/testsuite/tests/module/mod72.stderr b/testsuite/tests/module/mod72.stderr index 5726922feb..8af25f6012 100644 --- a/testsuite/tests/module/mod72.stderr +++ b/testsuite/tests/module/mod72.stderr @@ -1,2 +1,2 @@ - -mod72.hs:3:7: Not in scope: ‘g’ +
+mod72.hs:3:7: error: Variable not in scope: g :: t1 -> t
diff --git a/testsuite/tests/module/mod87.stderr b/testsuite/tests/module/mod87.stderr index fdb9c84ccb..dc6c5151ec 100644 --- a/testsuite/tests/module/mod87.stderr +++ b/testsuite/tests/module/mod87.stderr @@ -1,2 +1,3 @@ - -mod87.hs:4:5: Not in scope: data constructor ‘Left’ +
+mod87.hs:4:5: error:
+ Data constructor not in scope: Left :: Char -> t
diff --git a/testsuite/tests/module/mod97.stderr b/testsuite/tests/module/mod97.stderr index 23e129702e..261df0eff2 100644 --- a/testsuite/tests/module/mod97.stderr +++ b/testsuite/tests/module/mod97.stderr @@ -1,2 +1,3 @@ - -mod97.hs:4:9: Not in scope: ‘==’ +
+mod97.hs:4:9: error:
+ Variable not in scope: (==) :: Char -> Char -> t
diff --git a/testsuite/tests/parser/should_fail/readFail001.stderr b/testsuite/tests/parser/should_fail/readFail001.stderr index e0859e8a1c..64b8657afd 100644 --- a/testsuite/tests/parser/should_fail/readFail001.stderr +++ b/testsuite/tests/parser/should_fail/readFail001.stderr @@ -1,26 +1,18 @@ - -readFail001.hs:25:11: - The fixity signature for ‘+#’ lacks an accompanying binding - -readFail001.hs:38:32: - Not in scope: type constructor or class ‘Leaf’ - A data constructor of that name is in scope; did you mean DataKinds? - -readFail001.hs:38:41: - Not in scope: type constructor or class ‘Leaf’ - A data constructor of that name is in scope; did you mean DataKinds? - -readFail001.hs:87:11: Not in scope: ‘x’ - -readFail001.hs:88:19: Not in scope: ‘x’ - -readFail001.hs:94:19: Not in scope: ‘isSpace’ - -readFail001.hs:95:13: Not in scope: ‘foo’ - -readFail001.hs:107:30: Not in scope: data constructor ‘Foo’ - -readFail001.hs:107:42: Not in scope: data constructor ‘Bar’ - -readFail001.hs:112:23: - Not in scope: type constructor or class ‘Foo’ +
+readFail001.hs:25:11: error:
+ The fixity signature for ‘+#’ lacks an accompanying binding
+
+readFail001.hs:38:32: error:
+ Not in scope: type constructor or class ‘Leaf’
+ A data constructor of that name is in scope; did you mean DataKinds?
+
+readFail001.hs:38:41: error:
+ Not in scope: type constructor or class ‘Leaf’
+ A data constructor of that name is in scope; did you mean DataKinds?
+
+readFail001.hs:107:30: error: Not in scope: data constructor ‘Foo’
+
+readFail001.hs:107:42: error: Not in scope: data constructor ‘Bar’
+
+readFail001.hs:112:23: error:
+ Not in scope: type constructor or class ‘Foo’
diff --git a/testsuite/tests/parser/should_fail/readFail042.stderr b/testsuite/tests/parser/should_fail/readFail042.stderr index 06c3b03140..23e82c5e10 100644 --- a/testsuite/tests/parser/should_fail/readFail042.stderr +++ b/testsuite/tests/parser/should_fail/readFail042.stderr @@ -1,12 +1,8 @@ - -readFail042.hs:9:9: - Unexpected transform statement in a list comprehension - Use TransformListComp - -readFail042.hs:9:9: - Unexpected transform statement in a list comprehension - Use TransformListComp - -readFail042.hs:11:23: Not in scope: ‘by’ - -readFail042.hs:11:26: Not in scope: ‘x’ +
+readFail042.hs:9:9: error:
+ Unexpected transform statement in a list comprehension
+ Use TransformListComp
+
+readFail042.hs:9:9: error:
+ Unexpected transform statement in a list comprehension
+ Use TransformListComp
diff --git a/testsuite/tests/parser/should_fail/readFail043.stderr b/testsuite/tests/parser/should_fail/readFail043.stderr index 8d2979305f..b72575d09f 100644 --- a/testsuite/tests/parser/should_fail/readFail043.stderr +++ b/testsuite/tests/parser/should_fail/readFail043.stderr @@ -1,26 +1,12 @@ - -readFail043.hs:9:9: - Unexpected transform statement in a list comprehension - Use TransformListComp - -readFail043.hs:9:9: - Unexpected transform statement in a list comprehension - Use TransformListComp - -readFail043.hs:9:9: - Unexpected transform statement in a list comprehension - Use TransformListComp - -readFail043.hs:10:20: Not in scope: ‘by’ - -readFail043.hs:10:23: Not in scope: ‘x’ - -readFail043.hs:10:25: Not in scope: ‘using’ - -readFail043.hs:11:20: Not in scope: ‘by’ - -readFail043.hs:11:23: Not in scope: ‘x’ - -readFail043.hs:11:25: Not in scope: ‘using’ - -readFail043.hs:12:20: Not in scope: ‘using’ +
+readFail043.hs:9:9: error:
+ Unexpected transform statement in a list comprehension
+ Use TransformListComp
+
+readFail043.hs:9:9: error:
+ Unexpected transform statement in a list comprehension
+ Use TransformListComp
+
+readFail043.hs:9:9: error:
+ Unexpected transform statement in a list comprehension
+ Use TransformListComp
diff --git a/testsuite/tests/parser/unicode/T2302.stderr b/testsuite/tests/parser/unicode/T2302.stderr index 7f7f9a9f92..985c8dd7d6 100644 --- a/testsuite/tests/parser/unicode/T2302.stderr +++ b/testsuite/tests/parser/unicode/T2302.stderr @@ -1,2 +1,2 @@ - -T2302.hs:1:5: Not in scope: data constructor ‘À’ +
+T2302.hs:2:5: error: Data constructor not in scope: À
diff --git a/testsuite/tests/partial-sigs/should_compile/T10403.stderr b/testsuite/tests/partial-sigs/should_compile/T10403.stderr index 9aec3e28d7..18fed2f6a2 100644 --- a/testsuite/tests/partial-sigs/should_compile/T10403.stderr +++ b/testsuite/tests/partial-sigs/should_compile/T10403.stderr @@ -1,36 +1,36 @@ - -T10403.hs:15:7: warning: - Found hole ‘_’ with inferred constraints: Functor f - In the type signature for ‘h1’: _ => _ - -T10403.hs:15:12: warning: - Found hole ‘_’ with type: (a -> b) -> f a -> H f - Where: ‘f’ is a rigid type variable bound by - the inferred type of h1 :: Functor f => (a -> b) -> f a -> H f - at T10403.hs:17:1 - ‘b’ is a rigid type variable bound by - the inferred type of h1 :: Functor f => (a -> b) -> f a -> H f - at T10403.hs:17:1 - ‘a’ is a rigid type variable bound by - the inferred type of h1 :: Functor f => (a -> b) -> f a -> H f - at T10403.hs:17:1 - In the type signature for ‘h1’: _ => _ - -T10403.hs:19:7: warning: - Found hole ‘_’ with type: (a -> b) -> f a -> H f - Where: ‘f’ is a rigid type variable bound by - the inferred type of h2 :: Functor f => (a -> b) -> f a -> H f - at T10403.hs:21:1 - ‘b’ is a rigid type variable bound by - the inferred type of h2 :: Functor f => (a -> b) -> f a -> H f - at T10403.hs:21:1 - ‘a’ is a rigid type variable bound by - the inferred type of h2 :: Functor f => (a -> b) -> f a -> H f - at T10403.hs:21:1 - In the type signature for ‘h2’: _ - -T10403.hs:21:1: warning: - No instance for (Functor f) - When checking that ‘h2’ has the inferred type - h2 :: forall (f :: * -> *) b a. (a -> b) -> f a -> H f - Probable cause: the inferred type is ambiguous +
+T10403.hs:15:7: warning:
+ Found hole ‘_’ with inferred constraints: Functor f
+ In the type signature for ‘h1’: _ => _
+
+T10403.hs:15:12: warning:
+ Found hole: _ :: (a -> b) -> f a -> H f
+ Where: ‘f’ is a rigid type variable bound by
+ the inferred type of h1 :: Functor f => (a -> b) -> f a -> H f
+ at T10403.hs:17:1
+ ‘b’ is a rigid type variable bound by
+ the inferred type of h1 :: Functor f => (a -> b) -> f a -> H f
+ at T10403.hs:17:1
+ ‘a’ is a rigid type variable bound by
+ the inferred type of h1 :: Functor f => (a -> b) -> f a -> H f
+ at T10403.hs:17:1
+ In the type signature for ‘h1’: _ => _
+
+T10403.hs:19:7: warning:
+ Found hole: _ :: (a -> b) -> f a -> H f
+ Where: ‘f’ is a rigid type variable bound by
+ the inferred type of h2 :: Functor f => (a -> b) -> f a -> H f
+ at T10403.hs:21:1
+ ‘b’ is a rigid type variable bound by
+ the inferred type of h2 :: Functor f => (a -> b) -> f a -> H f
+ at T10403.hs:21:1
+ ‘a’ is a rigid type variable bound by
+ the inferred type of h2 :: Functor f => (a -> b) -> f a -> H f
+ at T10403.hs:21:1
+ In the type signature for ‘h2’: _
+
+T10403.hs:21:1: warning:
+ No instance for (Functor f)
+ When checking that ‘h2’ has the inferred type
+ h2 :: forall (f :: * -> *) b a. (a -> b) -> f a -> H f
+ Probable cause: the inferred type is ambiguous
diff --git a/testsuite/tests/partial-sigs/should_compile/T10438.stderr b/testsuite/tests/partial-sigs/should_compile/T10438.stderr index 9133a5646f..afec96ae99 100644 --- a/testsuite/tests/partial-sigs/should_compile/T10438.stderr +++ b/testsuite/tests/partial-sigs/should_compile/T10438.stderr @@ -1,26 +1,26 @@ - -T10438.hs:7:22: warning: - Found hole ‘_’ with type: w_1 - Where: ‘w_1’ is a rigid type variable bound by - the inferred type of g :: w_1 -> w_1 at T10438.hs:6:9 - Relevant bindings include - r :: w_1 (bound at T10438.hs:6:11) - g :: w_1 -> w_1 (bound at T10438.hs:6:9) - f :: t (bound at T10438.hs:5:5) - foo :: t -> w_ -> w_ (bound at T10438.hs:5:1) - In the type signature for ‘x’: _ - In an equation for ‘g’: - g r - = x - where - x :: _ - x = r - In an equation for ‘foo’: - foo f - = g - where - g r - = x - where - x :: _ - x = r +
+T10438.hs:7:22: warning:
+ Found hole: _ :: w_1
+ Where: ‘w_1’ is a rigid type variable bound by
+ the inferred type of g :: w_1 -> w_1 at T10438.hs:6:9
+ Relevant bindings include
+ r :: w_1 (bound at T10438.hs:6:11)
+ g :: w_1 -> w_1 (bound at T10438.hs:6:9)
+ f :: t (bound at T10438.hs:5:5)
+ foo :: t -> w_ -> w_ (bound at T10438.hs:5:1)
+ In the type signature for ‘x’: _
+ In an equation for ‘g’:
+ g r
+ = x
+ where
+ x :: _
+ x = r
+ In an equation for ‘foo’:
+ foo f
+ = g
+ where
+ g r
+ = x
+ where
+ x :: _
+ x = r
diff --git a/testsuite/tests/partial-sigs/should_compile/WarningWildcardInstantiations.stderr b/testsuite/tests/partial-sigs/should_compile/WarningWildcardInstantiations.stderr index f82c9367d5..6927a78c13 100644 --- a/testsuite/tests/partial-sigs/should_compile/WarningWildcardInstantiations.stderr +++ b/testsuite/tests/partial-sigs/should_compile/WarningWildcardInstantiations.stderr @@ -1,47 +1,47 @@ -TYPE SIGNATURES - bar :: forall w_ w_1. w_ -> (w_ -> w_1) -> w_1 - foo :: forall w_a. (Show w_a, Enum w_a) => w_a -> String -TYPE CONSTRUCTORS -COERCION AXIOMS -Dependent modules: [] -Dependent packages: [base-4.8.2.0, ghc-prim-0.4.0.0, - integer-gmp-1.0.0.0] - -WarningWildcardInstantiations.hs:5:14: Warning: - Found hole ‘_a’ with type: w_a - Where: ‘w_a’ is a rigid type variable bound by - the inferred type of foo :: (Enum w_a, Show w_a) => w_a -> String - at WarningWildcardInstantiations.hs:6:1 - In the type signature for ‘foo’: (Show _a, _) => _a -> _ - -WarningWildcardInstantiations.hs:5:18: Warning: - Found hole ‘_’ with inferred constraints: Enum w_a - In the type signature for ‘foo’: (Show _a, _) => _a -> _ - -WarningWildcardInstantiations.hs:5:30: Warning: - Found hole ‘_’ with type: String - In the type signature for ‘foo’: (Show _a, _) => _a -> _ - -WarningWildcardInstantiations.hs:8:8: Warning: - Found hole ‘_’ with type: w_ - Where: ‘w_’ is a rigid type variable bound by - the inferred type of bar :: w_ -> (w_ -> w_1) -> w_1 - at WarningWildcardInstantiations.hs:9:1 - In the type signature for ‘bar’: _ -> _ -> _ - -WarningWildcardInstantiations.hs:8:13: Warning: - Found hole ‘_’ with type: w_ -> w_1 - Where: ‘w_’ is a rigid type variable bound by - the inferred type of bar :: w_ -> (w_ -> w_1) -> w_1 - at WarningWildcardInstantiations.hs:9:1 - ‘w_1’ is a rigid type variable bound by - the inferred type of bar :: w_ -> (w_ -> w_1) -> w_1 - at WarningWildcardInstantiations.hs:9:1 - In the type signature for ‘bar’: _ -> _ -> _ - -WarningWildcardInstantiations.hs:8:18: Warning: - Found hole ‘_’ with type: w_1 - Where: ‘w_1’ is a rigid type variable bound by - the inferred type of bar :: w_ -> (w_ -> w_1) -> w_1 - at WarningWildcardInstantiations.hs:9:1 - In the type signature for ‘bar’: _ -> _ -> _ +TYPE SIGNATURES
+ bar :: forall w_ w_1. w_ -> (w_ -> w_1) -> w_1
+ foo :: forall w_a. (Show w_a, Enum w_a) => w_a -> String
+TYPE CONSTRUCTORS
+COERCION AXIOMS
+Dependent modules: []
+Dependent packages: [base-4.8.2.0, ghc-prim-0.4.0.0,
+ integer-gmp-1.0.0.0]
+
+WarningWildcardInstantiations.hs:5:14: warning:
+ Found hole: _a :: w_a
+ Where: ‘w_a’ is a rigid type variable bound by
+ the inferred type of foo :: (Enum w_a, Show w_a) => w_a -> String
+ at WarningWildcardInstantiations.hs:6:1
+ In the type signature for ‘foo’: (Show _a, _) => _a -> _
+
+WarningWildcardInstantiations.hs:5:18: warning:
+ Found hole ‘_’ with inferred constraints: Enum w_a
+ In the type signature for ‘foo’: (Show _a, _) => _a -> _
+
+WarningWildcardInstantiations.hs:5:30: warning:
+ Found hole: _ :: String
+ In the type signature for ‘foo’: (Show _a, _) => _a -> _
+
+WarningWildcardInstantiations.hs:8:8: warning:
+ Found hole: _ :: w_
+ Where: ‘w_’ is a rigid type variable bound by
+ the inferred type of bar :: w_ -> (w_ -> w_1) -> w_1
+ at WarningWildcardInstantiations.hs:9:1
+ In the type signature for ‘bar’: _ -> _ -> _
+
+WarningWildcardInstantiations.hs:8:13: warning:
+ Found hole: _ :: w_ -> w_1
+ Where: ‘w_’ is a rigid type variable bound by
+ the inferred type of bar :: w_ -> (w_ -> w_1) -> w_1
+ at WarningWildcardInstantiations.hs:9:1
+ ‘w_1’ is a rigid type variable bound by
+ the inferred type of bar :: w_ -> (w_ -> w_1) -> w_1
+ at WarningWildcardInstantiations.hs:9:1
+ In the type signature for ‘bar’: _ -> _ -> _
+
+WarningWildcardInstantiations.hs:8:18: warning:
+ Found hole: _ :: w_1
+ Where: ‘w_1’ is a rigid type variable bound by
+ the inferred type of bar :: w_ -> (w_ -> w_1) -> w_1
+ at WarningWildcardInstantiations.hs:9:1
+ In the type signature for ‘bar’: _ -> _ -> _
diff --git a/testsuite/tests/partial-sigs/should_fail/InstantiatedNamedWildcardsInConstraints.stderr b/testsuite/tests/partial-sigs/should_fail/InstantiatedNamedWildcardsInConstraints.stderr index cca986fab2..7fd885372e 100644 --- a/testsuite/tests/partial-sigs/should_fail/InstantiatedNamedWildcardsInConstraints.stderr +++ b/testsuite/tests/partial-sigs/should_fail/InstantiatedNamedWildcardsInConstraints.stderr @@ -1,13 +1,13 @@ - -InstantiatedNamedWildcardsInConstraints.hs:4:14: - Found hole ‘_a’ with type: b - Where: ‘b’ is a rigid type variable bound by - the inferred type of foo :: (Enum b, Show b) => b -> (String, b) - at InstantiatedNamedWildcardsInConstraints.hs:4:8 - To use the inferred type, enable PartialTypeSignatures - In the type signature for ‘foo’: (Enum _a, _) => _a -> (String, b) - -InstantiatedNamedWildcardsInConstraints.hs:4:18: - Found hole ‘_’ with inferred constraints: Show b - To use the inferred type, enable PartialTypeSignatures - In the type signature for ‘foo’: (Enum _a, _) => _a -> (String, b) +
+InstantiatedNamedWildcardsInConstraints.hs:4:14: error:
+ Found hole: _a :: b
+ Where: ‘b’ is a rigid type variable bound by
+ the inferred type of foo :: (Enum b, Show b) => b -> (String, b)
+ at InstantiatedNamedWildcardsInConstraints.hs:4:8
+ To use the inferred type, enable PartialTypeSignatures
+ In the type signature for ‘foo’: (Enum _a, _) => _a -> (String, b)
+
+InstantiatedNamedWildcardsInConstraints.hs:4:18: error:
+ Found hole ‘_’ with inferred constraints: Show b
+ To use the inferred type, enable PartialTypeSignatures
+ In the type signature for ‘foo’: (Enum _a, _) => _a -> (String, b)
diff --git a/testsuite/tests/partial-sigs/should_fail/NamedWildcardsEnabled.stderr b/testsuite/tests/partial-sigs/should_fail/NamedWildcardsEnabled.stderr index 90293ac714..5c617a501a 100644 --- a/testsuite/tests/partial-sigs/should_fail/NamedWildcardsEnabled.stderr +++ b/testsuite/tests/partial-sigs/should_fail/NamedWildcardsEnabled.stderr @@ -1,10 +1,10 @@ - -NamedWildcardsEnabled.hs:4:8: - Found hole ‘_a’ with type: Bool - To use the inferred type, enable PartialTypeSignatures - In the type signature for ‘foo’: _a -> _b - -NamedWildcardsEnabled.hs:4:14: - Found hole ‘_b’ with type: Bool - To use the inferred type, enable PartialTypeSignatures - In the type signature for ‘foo’: _a -> _b +
+NamedWildcardsEnabled.hs:4:8: error:
+ Found hole: _a :: Bool
+ To use the inferred type, enable PartialTypeSignatures
+ In the type signature for ‘foo’: _a -> _b
+
+NamedWildcardsEnabled.hs:4:14: error:
+ Found hole: _b :: Bool
+ To use the inferred type, enable PartialTypeSignatures
+ In the type signature for ‘foo’: _a -> _b
diff --git a/testsuite/tests/partial-sigs/should_fail/PartialTypeSignaturesDisabled.stderr b/testsuite/tests/partial-sigs/should_fail/PartialTypeSignaturesDisabled.stderr index 727d922c23..736361e853 100644 --- a/testsuite/tests/partial-sigs/should_fail/PartialTypeSignaturesDisabled.stderr +++ b/testsuite/tests/partial-sigs/should_fail/PartialTypeSignaturesDisabled.stderr @@ -1,10 +1,10 @@ - -PartialTypeSignaturesDisabled.hs:4:8: - Found hole ‘_’ with type: Bool - To use the inferred type, enable PartialTypeSignatures - In the type signature for ‘foo’: _ -> _ - -PartialTypeSignaturesDisabled.hs:4:13: - Found hole ‘_’ with type: Bool - To use the inferred type, enable PartialTypeSignatures - In the type signature for ‘foo’: _ -> _ +
+PartialTypeSignaturesDisabled.hs:4:8: error:
+ Found hole: _ :: Bool
+ To use the inferred type, enable PartialTypeSignatures
+ In the type signature for ‘foo’: _ -> _
+
+PartialTypeSignaturesDisabled.hs:4:13: error:
+ Found hole: _ :: Bool
+ To use the inferred type, enable PartialTypeSignatures
+ In the type signature for ‘foo’: _ -> _
diff --git a/testsuite/tests/partial-sigs/should_fail/TidyClash.stderr b/testsuite/tests/partial-sigs/should_fail/TidyClash.stderr index 6d8070a339..5864edfd4d 100644 --- a/testsuite/tests/partial-sigs/should_fail/TidyClash.stderr +++ b/testsuite/tests/partial-sigs/should_fail/TidyClash.stderr @@ -1,16 +1,16 @@ - -TidyClash.hs:8:19: - Found hole ‘_’ with type: w_ - Where: ‘w_’ is a rigid type variable bound by - the inferred type of bar :: w_2 -> (w_2, w_ -> w_1) - at TidyClash.hs:9:1 - To use the inferred type, enable PartialTypeSignatures - In the type signature for ‘bar’: w_ -> (w_, _ -> _) - -TidyClash.hs:8:24: - Found hole ‘_’ with type: w_1 - Where: ‘w_1’ is a rigid type variable bound by - the inferred type of bar :: w_2 -> (w_2, w_ -> w_1) - at TidyClash.hs:9:1 - To use the inferred type, enable PartialTypeSignatures - In the type signature for ‘bar’: w_ -> (w_, _ -> _) +
+TidyClash.hs:8:19: error:
+ Found hole: _ :: w_
+ Where: ‘w_’ is a rigid type variable bound by
+ the inferred type of bar :: w_2 -> (w_2, w_ -> w_1)
+ at TidyClash.hs:9:1
+ To use the inferred type, enable PartialTypeSignatures
+ In the type signature for ‘bar’: w_ -> (w_, _ -> _)
+
+TidyClash.hs:8:24: error:
+ Found hole: _ :: w_1
+ Where: ‘w_1’ is a rigid type variable bound by
+ the inferred type of bar :: w_2 -> (w_2, w_ -> w_1)
+ at TidyClash.hs:9:1
+ To use the inferred type, enable PartialTypeSignatures
+ In the type signature for ‘bar’: w_ -> (w_, _ -> _)
diff --git a/testsuite/tests/partial-sigs/should_fail/Trac10045.stderr b/testsuite/tests/partial-sigs/should_fail/Trac10045.stderr index 76c088ffd4..820fe188ae 100644 --- a/testsuite/tests/partial-sigs/should_fail/Trac10045.stderr +++ b/testsuite/tests/partial-sigs/should_fail/Trac10045.stderr @@ -1,45 +1,45 @@ - -Trac10045.hs:6:17: - Found hole ‘_’ with type: t1 -> a -> t2 - Where: ‘t1’ is a rigid type variable bound by - the inferred type of copy :: Num a => t1 -> a -> t2 - at Trac10045.hs:7:9 - ‘t2’ is a rigid type variable bound by - the inferred type of copy :: Num a => t1 -> a -> t2 - at Trac10045.hs:7:9 - ‘a’ is a rigid type variable bound by - the inferred type of copy :: Num a => t1 -> a -> t2 - at Trac10045.hs:7:9 - To use the inferred type, enable PartialTypeSignatures - Relevant bindings include - ws1 :: () (bound at Trac10045.hs:5:11) - foo :: Meta -> t (bound at Trac10045.hs:5:1) - In the type signature for ‘copy’: _ - In the expression: - let - copy :: _ - copy w from = copy w 1 - in copy ws1 1 - In an equation for ‘foo’: - foo (Meta ws1) - = let - copy :: _ - copy w from = copy w 1 - in copy ws1 1 - -Trac10045.hs:7:9: - No instance for (Num a) - When checking that ‘copy’ has the inferred type - copy :: forall t t1 a. t -> a -> t1 - Probable cause: the inferred type is ambiguous - In the expression: - let - copy :: _ - copy w from = copy w 1 - in copy ws1 1 - In an equation for ‘foo’: - foo (Meta ws1) - = let - copy :: _ - copy w from = copy w 1 - in copy ws1 1 +
+Trac10045.hs:6:17: error:
+ Found hole: _ :: t1 -> a -> t2
+ Where: ‘t1’ is a rigid type variable bound by
+ the inferred type of copy :: Num a => t1 -> a -> t2
+ at Trac10045.hs:7:9
+ ‘t2’ is a rigid type variable bound by
+ the inferred type of copy :: Num a => t1 -> a -> t2
+ at Trac10045.hs:7:9
+ ‘a’ is a rigid type variable bound by
+ the inferred type of copy :: Num a => t1 -> a -> t2
+ at Trac10045.hs:7:9
+ To use the inferred type, enable PartialTypeSignatures
+ Relevant bindings include
+ ws1 :: () (bound at Trac10045.hs:5:11)
+ foo :: Meta -> t (bound at Trac10045.hs:5:1)
+ In the type signature for ‘copy’: _
+ In the expression:
+ let
+ copy :: _
+ copy w from = copy w 1
+ in copy ws1 1
+ In an equation for ‘foo’:
+ foo (Meta ws1)
+ = let
+ copy :: _
+ copy w from = copy w 1
+ in copy ws1 1
+
+Trac10045.hs:7:9: error:
+ No instance for (Num a)
+ When checking that ‘copy’ has the inferred type
+ copy :: forall t t1 a. t -> a -> t1
+ Probable cause: the inferred type is ambiguous
+ In the expression:
+ let
+ copy :: _
+ copy w from = copy w 1
+ in copy ws1 1
+ In an equation for ‘foo’:
+ foo (Meta ws1)
+ = let
+ copy :: _
+ copy w from = copy w 1
+ in copy ws1 1
diff --git a/testsuite/tests/partial-sigs/should_fail/WildcardInstantiations.stderr b/testsuite/tests/partial-sigs/should_fail/WildcardInstantiations.stderr index 29f700bf89..f8e7f7ea8e 100644 --- a/testsuite/tests/partial-sigs/should_fail/WildcardInstantiations.stderr +++ b/testsuite/tests/partial-sigs/should_fail/WildcardInstantiations.stderr @@ -1,45 +1,45 @@ - -WildcardInstantiations.hs:5:14: - Found hole ‘_a’ with type: w_a - Where: ‘w_a’ is a rigid type variable bound by - the inferred type of foo :: (Enum w_a, Show w_a) => w_a -> String - at WildcardInstantiations.hs:6:1 - To use the inferred type, enable PartialTypeSignatures - In the type signature for ‘foo’: (Show _a, _) => _a -> _ - -WildcardInstantiations.hs:5:18: - Found hole ‘_’ with inferred constraints: Enum w_a - To use the inferred type, enable PartialTypeSignatures - In the type signature for ‘foo’: (Show _a, _) => _a -> _ - -WildcardInstantiations.hs:5:30: - Found hole ‘_’ with type: String - To use the inferred type, enable PartialTypeSignatures - In the type signature for ‘foo’: (Show _a, _) => _a -> _ - -WildcardInstantiations.hs:8:8: - Found hole ‘_’ with type: w_ - Where: ‘w_’ is a rigid type variable bound by - the inferred type of bar :: w_ -> (w_ -> w_1) -> w_1 - at WildcardInstantiations.hs:9:1 - To use the inferred type, enable PartialTypeSignatures - In the type signature for ‘bar’: _ -> _ -> _ - -WildcardInstantiations.hs:8:13: - Found hole ‘_’ with type: w_ -> w_1 - Where: ‘w_’ is a rigid type variable bound by - the inferred type of bar :: w_ -> (w_ -> w_1) -> w_1 - at WildcardInstantiations.hs:9:1 - ‘w_1’ is a rigid type variable bound by - the inferred type of bar :: w_ -> (w_ -> w_1) -> w_1 - at WildcardInstantiations.hs:9:1 - To use the inferred type, enable PartialTypeSignatures - In the type signature for ‘bar’: _ -> _ -> _ - -WildcardInstantiations.hs:8:18: - Found hole ‘_’ with type: w_1 - Where: ‘w_1’ is a rigid type variable bound by - the inferred type of bar :: w_ -> (w_ -> w_1) -> w_1 - at WildcardInstantiations.hs:9:1 - To use the inferred type, enable PartialTypeSignatures - In the type signature for ‘bar’: _ -> _ -> _ +
+WildcardInstantiations.hs:5:14: error:
+ Found hole: _a :: w_a
+ Where: ‘w_a’ is a rigid type variable bound by
+ the inferred type of foo :: (Enum w_a, Show w_a) => w_a -> String
+ at WildcardInstantiations.hs:6:1
+ To use the inferred type, enable PartialTypeSignatures
+ In the type signature for ‘foo’: (Show _a, _) => _a -> _
+
+WildcardInstantiations.hs:5:18: error:
+ Found hole ‘_’ with inferred constraints: Enum w_a
+ To use the inferred type, enable PartialTypeSignatures
+ In the type signature for ‘foo’: (Show _a, _) => _a -> _
+
+WildcardInstantiations.hs:5:30: error:
+ Found hole: _ :: String
+ To use the inferred type, enable PartialTypeSignatures
+ In the type signature for ‘foo’: (Show _a, _) => _a -> _
+
+WildcardInstantiations.hs:8:8: error:
+ Found hole: _ :: w_
+ Where: ‘w_’ is a rigid type variable bound by
+ the inferred type of bar :: w_ -> (w_ -> w_1) -> w_1
+ at WildcardInstantiations.hs:9:1
+ To use the inferred type, enable PartialTypeSignatures
+ In the type signature for ‘bar’: _ -> _ -> _
+
+WildcardInstantiations.hs:8:13: error:
+ Found hole: _ :: w_ -> w_1
+ Where: ‘w_’ is a rigid type variable bound by
+ the inferred type of bar :: w_ -> (w_ -> w_1) -> w_1
+ at WildcardInstantiations.hs:9:1
+ ‘w_1’ is a rigid type variable bound by
+ the inferred type of bar :: w_ -> (w_ -> w_1) -> w_1
+ at WildcardInstantiations.hs:9:1
+ To use the inferred type, enable PartialTypeSignatures
+ In the type signature for ‘bar’: _ -> _ -> _
+
+WildcardInstantiations.hs:8:18: error:
+ Found hole: _ :: w_1
+ Where: ‘w_1’ is a rigid type variable bound by
+ the inferred type of bar :: w_ -> (w_ -> w_1) -> w_1
+ at WildcardInstantiations.hs:9:1
+ To use the inferred type, enable PartialTypeSignatures
+ In the type signature for ‘bar’: _ -> _ -> _
diff --git a/testsuite/tests/partial-sigs/should_fail/WildcardsInPatternAndExprSig.stderr b/testsuite/tests/partial-sigs/should_fail/WildcardsInPatternAndExprSig.stderr index c53d223307..fc5b9703b7 100644 --- a/testsuite/tests/partial-sigs/should_fail/WildcardsInPatternAndExprSig.stderr +++ b/testsuite/tests/partial-sigs/should_fail/WildcardsInPatternAndExprSig.stderr @@ -1,74 +1,74 @@ - -WildcardsInPatternAndExprSig.hs:4:18: - Found hole ‘_a’ with type: w_c - Where: ‘w_c’ is a rigid type variable bound by - the inferred type of bar :: Maybe [w_c] -> w_c -> [w_c] - at WildcardsInPatternAndExprSig.hs:4:1 - To use the inferred type, enable PartialTypeSignatures - Relevant bindings include - bar :: Maybe [w_c] -> w_c -> [w_c] - (bound at WildcardsInPatternAndExprSig.hs:4:1) - In a pattern type signature: _a - In the pattern: x :: _a - In the pattern: [x :: _a] - -WildcardsInPatternAndExprSig.hs:4:25: - Found hole ‘_’ with type: [w_c] - Where: ‘w_c’ is a rigid type variable bound by - the inferred type of bar :: Maybe [w_c] -> w_c -> [w_c] - at WildcardsInPatternAndExprSig.hs:4:1 - To use the inferred type, enable PartialTypeSignatures - Relevant bindings include - bar :: Maybe [w_c] -> w_c -> [w_c] - (bound at WildcardsInPatternAndExprSig.hs:4:1) - In a pattern type signature: _ - In the pattern: [x :: _a] :: _ - In the pattern: Just ([x :: _a] :: _) - -WildcardsInPatternAndExprSig.hs:4:38: - Found hole ‘_b’ with type: w_c - Where: ‘w_c’ is a rigid type variable bound by - the inferred type of bar :: Maybe [w_c] -> w_c -> [w_c] - at WildcardsInPatternAndExprSig.hs:4:1 - To use the inferred type, enable PartialTypeSignatures - Relevant bindings include - bar :: Maybe [w_c] -> w_c -> [w_c] - (bound at WildcardsInPatternAndExprSig.hs:4:1) - In a pattern type signature: Maybe [_b] - In the pattern: Just ([x :: _a] :: _) :: Maybe [_b] - In an equation for ‘bar’: - bar (Just ([x :: _a] :: _) :: Maybe [_b]) (z :: _c) - = [x, z] :: [_d] - -WildcardsInPatternAndExprSig.hs:4:49: - Found hole ‘_c’ with type: w_c - Where: ‘w_c’ is a rigid type variable bound by - the inferred type of bar :: Maybe [w_c] -> w_c -> [w_c] - at WildcardsInPatternAndExprSig.hs:4:1 - To use the inferred type, enable PartialTypeSignatures - Relevant bindings include - x :: w_c (bound at WildcardsInPatternAndExprSig.hs:4:13) - bar :: Maybe [w_c] -> w_c -> [w_c] - (bound at WildcardsInPatternAndExprSig.hs:4:1) - In a pattern type signature: _c - In the pattern: z :: _c - In an equation for ‘bar’: - bar (Just ([x :: _a] :: _) :: Maybe [_b]) (z :: _c) - = [x, z] :: [_d] - -WildcardsInPatternAndExprSig.hs:4:66: - Found hole ‘_d’ with type: w_c - Where: ‘w_c’ is a rigid type variable bound by - the inferred type of bar :: Maybe [w_c] -> w_c -> [w_c] - at WildcardsInPatternAndExprSig.hs:4:1 - To use the inferred type, enable PartialTypeSignatures - Relevant bindings include - z :: w_c (bound at WildcardsInPatternAndExprSig.hs:4:44) - x :: w_c (bound at WildcardsInPatternAndExprSig.hs:4:13) - bar :: Maybe [w_c] -> w_c -> [w_c] - (bound at WildcardsInPatternAndExprSig.hs:4:1) - In an expression type signature: [_d] - In the expression: [x, z] :: [_d] - In an equation for ‘bar’: - bar (Just ([x :: _a] :: _) :: Maybe [_b]) (z :: _c) - = [x, z] :: [_d] +
+WildcardsInPatternAndExprSig.hs:4:18: error:
+ Found hole: _a :: w_c
+ Where: ‘w_c’ is a rigid type variable bound by
+ the inferred type of bar :: Maybe [w_c] -> w_c -> [w_c]
+ at WildcardsInPatternAndExprSig.hs:4:1
+ To use the inferred type, enable PartialTypeSignatures
+ Relevant bindings include
+ bar :: Maybe [w_c] -> w_c -> [w_c]
+ (bound at WildcardsInPatternAndExprSig.hs:4:1)
+ In a pattern type signature: _a
+ In the pattern: x :: _a
+ In the pattern: [x :: _a]
+
+WildcardsInPatternAndExprSig.hs:4:25: error:
+ Found hole: _ :: [w_c]
+ Where: ‘w_c’ is a rigid type variable bound by
+ the inferred type of bar :: Maybe [w_c] -> w_c -> [w_c]
+ at WildcardsInPatternAndExprSig.hs:4:1
+ To use the inferred type, enable PartialTypeSignatures
+ Relevant bindings include
+ bar :: Maybe [w_c] -> w_c -> [w_c]
+ (bound at WildcardsInPatternAndExprSig.hs:4:1)
+ In a pattern type signature: _
+ In the pattern: [x :: _a] :: _
+ In the pattern: Just ([x :: _a] :: _)
+
+WildcardsInPatternAndExprSig.hs:4:38: error:
+ Found hole: _b :: w_c
+ Where: ‘w_c’ is a rigid type variable bound by
+ the inferred type of bar :: Maybe [w_c] -> w_c -> [w_c]
+ at WildcardsInPatternAndExprSig.hs:4:1
+ To use the inferred type, enable PartialTypeSignatures
+ Relevant bindings include
+ bar :: Maybe [w_c] -> w_c -> [w_c]
+ (bound at WildcardsInPatternAndExprSig.hs:4:1)
+ In a pattern type signature: Maybe [_b]
+ In the pattern: Just ([x :: _a] :: _) :: Maybe [_b]
+ In an equation for ‘bar’:
+ bar (Just ([x :: _a] :: _) :: Maybe [_b]) (z :: _c)
+ = [x, z] :: [_d]
+
+WildcardsInPatternAndExprSig.hs:4:49: error:
+ Found hole: _c :: w_c
+ Where: ‘w_c’ is a rigid type variable bound by
+ the inferred type of bar :: Maybe [w_c] -> w_c -> [w_c]
+ at WildcardsInPatternAndExprSig.hs:4:1
+ To use the inferred type, enable PartialTypeSignatures
+ Relevant bindings include
+ x :: w_c (bound at WildcardsInPatternAndExprSig.hs:4:13)
+ bar :: Maybe [w_c] -> w_c -> [w_c]
+ (bound at WildcardsInPatternAndExprSig.hs:4:1)
+ In a pattern type signature: _c
+ In the pattern: z :: _c
+ In an equation for ‘bar’:
+ bar (Just ([x :: _a] :: _) :: Maybe [_b]) (z :: _c)
+ = [x, z] :: [_d]
+
+WildcardsInPatternAndExprSig.hs:4:66: error:
+ Found hole: _d :: w_c
+ Where: ‘w_c’ is a rigid type variable bound by
+ the inferred type of bar :: Maybe [w_c] -> w_c -> [w_c]
+ at WildcardsInPatternAndExprSig.hs:4:1
+ To use the inferred type, enable PartialTypeSignatures
+ Relevant bindings include
+ z :: w_c (bound at WildcardsInPatternAndExprSig.hs:4:44)
+ x :: w_c (bound at WildcardsInPatternAndExprSig.hs:4:13)
+ bar :: Maybe [w_c] -> w_c -> [w_c]
+ (bound at WildcardsInPatternAndExprSig.hs:4:1)
+ In an expression type signature: [_d]
+ In the expression: [x, z] :: [_d]
+ In an equation for ‘bar’:
+ bar (Just ([x :: _a] :: _) :: Maybe [_b]) (z :: _c)
+ = [x, z] :: [_d]
diff --git a/testsuite/tests/rename/should_fail/RnStaticPointersFail02.stderr b/testsuite/tests/rename/should_fail/RnStaticPointersFail02.stderr index 52e3609e92..de145e789a 100644 --- a/testsuite/tests/rename/should_fail/RnStaticPointersFail02.stderr +++ b/testsuite/tests/rename/should_fail/RnStaticPointersFail02.stderr @@ -1,3 +1,8 @@ - -RnStaticPointersFail02.hs:5:12: error: - Not in scope: data constructor ‘T’ +
+RnStaticPointersFail02.hs:5:5: error:
+ No instance for (Typeable t0) arising from a static form
+ In the expression: static T
+ In an equation for ‘f’: f = static T
+
+RnStaticPointersFail02.hs:5:12: error:
+ Data constructor not in scope: T
diff --git a/testsuite/tests/rename/should_fail/T2310.stderr b/testsuite/tests/rename/should_fail/T2310.stderr index 807a574f75..5e9e6ba59a 100644 --- a/testsuite/tests/rename/should_fail/T2310.stderr +++ b/testsuite/tests/rename/should_fail/T2310.stderr @@ -1,10 +1,5 @@ - -T2310.hs:5:22: - Illegal result type signature ‘a’ - Result signatures are no longer supported in pattern matches - In a lambda abstraction: \ x :: a -> (x :: a) - -T2310.hs:5:39: - Not in scope: ‘co’ - Perhaps you meant one of these: - ‘c’ (line 5), ‘cos’ (imported from Prelude) +
+T2310.hs:5:41: error:
+ Variable not in scope: co
+ Perhaps you meant one of these:
+ ‘c’ (line 5), ‘cos’ (imported from Prelude)
diff --git a/testsuite/tests/rename/should_fail/T2993.stderr b/testsuite/tests/rename/should_fail/T2993.stderr index 144ebffccf..44582b33dc 100644 --- a/testsuite/tests/rename/should_fail/T2993.stderr +++ b/testsuite/tests/rename/should_fail/T2993.stderr @@ -1,4 +1,4 @@ - -T2993.hs:7:13: - Not in scope: ‘<**>’ - Perhaps you meant ‘<*>’ (imported from Prelude) +
+T2993.hs:7:13: error:
+ Variable not in scope: (<**>) :: t1 -> (a -> a) -> t
+ Perhaps you meant ‘<*>’ (imported from Prelude)
diff --git a/testsuite/tests/rename/should_fail/T7937.stderr b/testsuite/tests/rename/should_fail/T7937.stderr index 3bae064072..8a5edd37c7 100644 --- a/testsuite/tests/rename/should_fail/T7937.stderr +++ b/testsuite/tests/rename/should_fail/T7937.stderr @@ -1,4 +1,4 @@ - -T7937.hs:8:13: - Not in scope: ‘***’ - Perhaps you meant ‘**’ (imported from Prelude) +
+T7937.hs:8:13: error:
+ Variable not in scope: (***) :: Bool -> Bool -> t
+ Perhaps you meant ‘**’ (imported from Prelude)
diff --git a/testsuite/tests/rename/should_fail/T9177.hs b/testsuite/tests/rename/should_fail/T9177.hs index 9fbb9407be..9d9c482027 100644 --- a/testsuite/tests/rename/should_fail/T9177.hs +++ b/testsuite/tests/rename/should_fail/T9177.hs @@ -6,6 +6,9 @@ type Foo = (int) -- other interesting cases type Foo2 = (integerr) +-- These two out-of-scope errors aren't caught until +-- the type checker, so they aren't reported at all +-- becuase the renamer aborts compilation foo3 = bar foo4 = Fun diff --git a/testsuite/tests/rename/should_fail/T9177.stderr b/testsuite/tests/rename/should_fail/T9177.stderr index 624034053f..421a600b3c 100644 --- a/testsuite/tests/rename/should_fail/T9177.stderr +++ b/testsuite/tests/rename/should_fail/T9177.stderr @@ -1,20 +1,12 @@ - -T9177.hs:4:13: - Not in scope: type variable ‘int’ - Perhaps you meant type constructor or class ‘Int’ (imported from Prelude) - -T9177.hs:7:14: - Not in scope: type variable ‘integerr’ - Perhaps you meant type constructor or class ‘Integer’ (imported from Prelude) - -T9177.hs:9:8: - Not in scope: ‘bar’ - Perhaps you meant data constructor ‘Bar’ (line 16) - -T9177.hs:10:8: - Not in scope: data constructor ‘Fun’ - Perhaps you meant variable ‘fun’ (line 17) - -T9177.hs:13:6: - Not in scope: data constructor ‘Fun’ - Perhaps you meant variable ‘fun’ (line 17) +
+T9177.hs:4:13: error:
+ Not in scope: type variable ‘int’
+ Perhaps you meant type constructor or class ‘Int’ (imported from Prelude)
+
+T9177.hs:7:14: error:
+ Not in scope: type variable ‘integerr’
+ Perhaps you meant type constructor or class ‘Integer’ (imported from Prelude)
+
+T9177.hs:16:6: error:
+ Not in scope: data constructor ‘Fun’
+ Perhaps you meant variable ‘fun’ (line 20)
diff --git a/testsuite/tests/rename/should_fail/T9177a.hs b/testsuite/tests/rename/should_fail/T9177a.hs new file mode 100644 index 0000000000..57987647cb --- /dev/null +++ b/testsuite/tests/rename/should_fail/T9177a.hs @@ -0,0 +1,6 @@ +module T9177a where + +foo3 = bar +foo4 = Fun + + diff --git a/testsuite/tests/rename/should_fail/T9177a.stderr b/testsuite/tests/rename/should_fail/T9177a.stderr new file mode 100644 index 0000000000..858dabea71 --- /dev/null +++ b/testsuite/tests/rename/should_fail/T9177a.stderr @@ -0,0 +1,4 @@ +
+T9177a.hs:3:8: error: Variable not in scope: bar
+
+T9177a.hs:4:8: error: Data constructor not in scope: Fun
diff --git a/testsuite/tests/rename/should_fail/all.T b/testsuite/tests/rename/should_fail/all.T index 2aeee2f6fc..0df986889d 100644 --- a/testsuite/tests/rename/should_fail/all.T +++ b/testsuite/tests/rename/should_fail/all.T @@ -123,6 +123,7 @@ test('T9006', multimod_compile_fail, ['T9006', '-v0']) test('T9156', normal, compile_fail, ['']) test('T9177', normal, compile_fail, ['']) +test('T9177a', normal, compile_fail, ['']) test('T9436', normal, compile_fail, ['']) test('T9437', normal, compile_fail, ['']) test('T9077', normal, compile_fail, ['']) diff --git a/testsuite/tests/rename/should_fail/mc13.stderr b/testsuite/tests/rename/should_fail/mc13.stderr index 4d615c2f23..d4bc26b389 100644 --- a/testsuite/tests/rename/should_fail/mc13.stderr +++ b/testsuite/tests/rename/should_fail/mc13.stderr @@ -1,2 +1,2 @@ - -mc13.hs:12:37: Not in scope: ‘f’ +
+mc13.hs:12:37: error: Variable not in scope: f :: [a] -> m a
diff --git a/testsuite/tests/rename/should_fail/mc14.stderr b/testsuite/tests/rename/should_fail/mc14.stderr index 04321ff524..860d483ffe 100644 --- a/testsuite/tests/rename/should_fail/mc14.stderr +++ b/testsuite/tests/rename/should_fail/mc14.stderr @@ -1,2 +1,14 @@ - -mc14.hs:14:49: Not in scope: ‘f’ +
+mc14.hs:14:16: error:
+ No instance for (Functor t0) arising from a use of ‘fmap’
+ The type variable ‘t0’ is ambiguous
+ Note: there are several potential instances:
+ instance Functor Maybe -- Defined in ‘GHC.Base’
+ instance Functor IO -- Defined in ‘GHC.Base’
+ instance Functor ((->) r) -- Defined in ‘GHC.Base’
+ ...plus two others
+ In the expression: fmap
+ In a stmt of a monad comprehension: then group using f
+ In the expression: [() | f <- functions, then group using f]
+
+mc14.hs:14:49: error: Variable not in scope: f :: [a] -> m (t0 a)
diff --git a/testsuite/tests/rename/should_fail/rnfail022.stderr b/testsuite/tests/rename/should_fail/rnfail022.stderr index fe23268548..8ca03df4e7 100644 --- a/testsuite/tests/rename/should_fail/rnfail022.stderr +++ b/testsuite/tests/rename/should_fail/rnfail022.stderr @@ -1,4 +1,4 @@ - -rnfail022.hs:8:5: - Not in scope: ‘intersperse’ - Perhaps you meant ‘L.intersperse’ (imported from Data.List) +
+rnfail022.hs:8:5: error:
+ Variable not in scope: intersperse
+ Perhaps you meant ‘L.intersperse’ (imported from Data.List)
diff --git a/testsuite/tests/rename/should_fail/rnfail024.stderr b/testsuite/tests/rename/should_fail/rnfail024.stderr index 83eed48b3a..0e3d594c3c 100644 --- a/testsuite/tests/rename/should_fail/rnfail024.stderr +++ b/testsuite/tests/rename/should_fail/rnfail024.stderr @@ -1,6 +1,4 @@ - -rnfail024.hs:3:1: - The type signature for ‘sig_without_a_defn’ - lacks an accompanying binding - -rnfail024.hs:6:5: Not in scope: ‘sig_without_a_defn’ +
+rnfail024.hs:3:1: error:
+ The type signature for ‘sig_without_a_defn’
+ lacks an accompanying binding
diff --git a/testsuite/tests/rename/should_fail/rnfail049.stderr b/testsuite/tests/rename/should_fail/rnfail049.stderr index 8fab0fef8b..b85c25ccdb 100644 --- a/testsuite/tests/rename/should_fail/rnfail049.stderr +++ b/testsuite/tests/rename/should_fail/rnfail049.stderr @@ -1,2 +1,2 @@ - -rnfail049.hs:12:49: Not in scope: ‘f’ +
+rnfail049.hs:12:49: error: Variable not in scope: f :: [a] -> [[a]]
diff --git a/testsuite/tests/rename/should_fail/rnfail050.stderr b/testsuite/tests/rename/should_fail/rnfail050.stderr index 61e0b43640..0f940f87b5 100644 --- a/testsuite/tests/rename/should_fail/rnfail050.stderr +++ b/testsuite/tests/rename/should_fail/rnfail050.stderr @@ -1,2 +1,2 @@ - -rnfail050.hs:10:37: Not in scope: ‘f’ +
+rnfail050.hs:10:37: error: Variable not in scope: f :: [a] -> [a]
diff --git a/testsuite/tests/safeHaskell/ghci/p10.stderr b/testsuite/tests/safeHaskell/ghci/p10.stderr index d8ba4ab762..e20f84f241 100644 --- a/testsuite/tests/safeHaskell/ghci/p10.stderr +++ b/testsuite/tests/safeHaskell/ghci/p10.stderr @@ -1,2 +1,2 @@ - -<interactive>:10:1: Not in scope: ‘b’ +
+<interactive>:10:1: error: Variable not in scope: b
diff --git a/testsuite/tests/safeHaskell/ghci/p16.stderr b/testsuite/tests/safeHaskell/ghci/p16.stderr index a5dab96c1e..9540119eae 100644 --- a/testsuite/tests/safeHaskell/ghci/p16.stderr +++ b/testsuite/tests/safeHaskell/ghci/p16.stderr @@ -1,15 +1,15 @@ - -<no location info>: Warning: - -XGeneralizedNewtypeDeriving is not allowed in Safe Haskell; ignoring -XGeneralizedNewtypeDeriving - -<interactive>:16:29: - Can't make a derived instance of ‘Op T2’: - ‘Op’ is not a derivable class - Try GeneralizedNewtypeDeriving for GHC's newtype-deriving extension - In the newtype declaration for ‘T2’ - -<interactive>:19:9: - Not in scope: data constructor ‘T2’ - Perhaps you meant ‘T1’ (line 13) - -<interactive>:22:4: Not in scope: ‘y’ +
+<no location info>: warning:
+ -XGeneralizedNewtypeDeriving is not allowed in Safe Haskell; ignoring -XGeneralizedNewtypeDeriving
+
+<interactive>:16:29: error:
+ Can't make a derived instance of ‘Op T2’:
+ ‘Op’ is not a derivable class
+ Try GeneralizedNewtypeDeriving for GHC's newtype-deriving extension
+ In the newtype declaration for ‘T2’
+
+<interactive>:19:9: error:
+ Data constructor not in scope: T2 :: T -> t
+ Perhaps you meant ‘T1’ (line 13)
+
+<interactive>:22:4: error: Variable not in scope: y
diff --git a/testsuite/tests/safeHaskell/ghci/p4.stderr b/testsuite/tests/safeHaskell/ghci/p4.stderr index 961e1fda8a..2160c00d7d 100644 --- a/testsuite/tests/safeHaskell/ghci/p4.stderr +++ b/testsuite/tests/safeHaskell/ghci/p4.stderr @@ -1,7 +1,8 @@ - -<interactive>:6:9: error: - Not in scope: ‘System.IO.Unsafe.unsafePerformIO’ - -<interactive>:7:9: error: Not in scope: ‘x’ - -<interactive>:8:1: error: Not in scope: ‘y’ +
+<interactive>:6:9: error:
+ Not in scope: ‘System.IO.Unsafe.unsafePerformIO’
+
+<interactive>:7:9: error:
+ Variable not in scope: x :: IO Integer -> t
+
+<interactive>:8:1: error: Variable not in scope: y
diff --git a/testsuite/tests/safeHaskell/ghci/p6.stderr b/testsuite/tests/safeHaskell/ghci/p6.stderr index ec7cd64bb3..83343029d4 100644 --- a/testsuite/tests/safeHaskell/ghci/p6.stderr +++ b/testsuite/tests/safeHaskell/ghci/p6.stderr @@ -1,10 +1,10 @@ - -<interactive>:12:1: - Unacceptable result type in foreign declaration: - Safe Haskell is on, all FFI imports must be in the IO monad - When checking declaration: - foreign import ccall safe "static sin" c_sin :: Double -> Double - -<interactive>:13:1: - Not in scope: ‘c_sin’ - Perhaps you meant ‘c_sin'’ (line 8) +
+<interactive>:12:1: error:
+ Unacceptable result type in foreign declaration:
+ Safe Haskell is on, all FFI imports must be in the IO monad
+ When checking declaration:
+ foreign import ccall safe "static sin" c_sin :: Double -> Double
+
+<interactive>:13:1: error:
+ Variable not in scope: c_sin :: Integer -> t
+ Perhaps you meant ‘c_sin'’ (line 8)
diff --git a/testsuite/tests/safeHaskell/ghci/p9.stderr b/testsuite/tests/safeHaskell/ghci/p9.stderr index d8ba4ab762..e20f84f241 100644 --- a/testsuite/tests/safeHaskell/ghci/p9.stderr +++ b/testsuite/tests/safeHaskell/ghci/p9.stderr @@ -1,2 +1,2 @@ - -<interactive>:10:1: Not in scope: ‘b’ +
+<interactive>:10:1: error: Variable not in scope: b
diff --git a/testsuite/tests/th/TH_linePragma.stderr b/testsuite/tests/th/TH_linePragma.stderr index b40df1a01b..146d88f86e 100644 --- a/testsuite/tests/th/TH_linePragma.stderr +++ b/testsuite/tests/th/TH_linePragma.stderr @@ -1,2 +1,2 @@ - -virtual file:42:1: Not in scope: ‘doesntExist’ +
+virtual file:42:1: error: Variable not in scope: doesntExist
diff --git a/testsuite/tests/typecheck/should_compile/T10072.stderr b/testsuite/tests/typecheck/should_compile/T10072.stderr index 134a137cc4..f322c78648 100644 --- a/testsuite/tests/typecheck/should_compile/T10072.stderr +++ b/testsuite/tests/typecheck/should_compile/T10072.stderr @@ -1,6 +1,6 @@ -T10072.hs:3:31:
- Found hole ‘_’ with type: w_
+T10072.hs:3:31: error:
+ Found hole: _ :: w_
Where: ‘w_’ is a rigid type variable bound by
the RULE "map/empty" at T10072.hs:3:1
To use the inferred type, enable PartialTypeSignatures
diff --git a/testsuite/tests/typecheck/should_compile/T9497a.stderr b/testsuite/tests/typecheck/should_compile/T9497a.stderr index 2c39875668..f6a388d214 100644 --- a/testsuite/tests/typecheck/should_compile/T9497a.stderr +++ b/testsuite/tests/typecheck/should_compile/T9497a.stderr @@ -1,7 +1,7 @@ - -T9497a.hs:2:8: Warning: - Found hole ‘_main’ with type: IO () - Or perhaps ‘_main’ is mis-spelled, or not in scope - Relevant bindings include main :: IO () (bound at T9497a.hs:2:1) - In the expression: _main - In an equation for ‘main’: main = _main +
+T9497a.hs:2:8: warning:
+ Found hole: _main :: IO ()
+ Or perhaps ‘_main’ is mis-spelled, or not in scope
+ Relevant bindings include main :: IO () (bound at T9497a.hs:2:1)
+ In the expression: _main
+ In an equation for ‘main’: main = _main
diff --git a/testsuite/tests/typecheck/should_compile/holes.stderr b/testsuite/tests/typecheck/should_compile/holes.stderr index da1408ff09..2eaf8f4d61 100644 --- a/testsuite/tests/typecheck/should_compile/holes.stderr +++ b/testsuite/tests/typecheck/should_compile/holes.stderr @@ -1,33 +1,33 @@ - -holes.hs:3:5: Warning: - Found hole ‘_’ with type: t - Where: ‘t’ is a rigid type variable bound by - the inferred type of f :: t at holes.hs:3:1 - Relevant bindings include f :: t (bound at holes.hs:3:1) - In the expression: _ - In an equation for ‘f’: f = _ - -holes.hs:6:7: Warning: - Found hole ‘_’ with type: Char - Relevant bindings include - x :: Int (bound at holes.hs:6:3) - g :: Int -> Char (bound at holes.hs:6:1) - In the expression: _ - In an equation for ‘g’: g x = _ - -holes.hs:8:5: Warning: - Found hole ‘_’ with type: [Char] - Relevant bindings include h :: [Char] (bound at holes.hs:8:1) - In the first argument of ‘(++)’, namely ‘_’ - In the expression: _ ++ "a" - In an equation for ‘h’: h = _ ++ "a" - -holes.hs:11:15: Warning: - Found hole ‘_’ with type: b0 - Where: ‘b0’ is an ambiguous type variable - Relevant bindings include - y :: [a] (bound at holes.hs:11:3) - z :: [a] -> [a] (bound at holes.hs:11:1) - In the second argument of ‘const’, namely ‘_’ - In the expression: const y _ - In an equation for ‘z’: z y = const y _ +
+holes.hs:3:5: warning:
+ Found hole: _ :: t
+ Where: ‘t’ is a rigid type variable bound by
+ the inferred type of f :: t at holes.hs:3:1
+ Relevant bindings include f :: t (bound at holes.hs:3:1)
+ In the expression: _
+ In an equation for ‘f’: f = _
+
+holes.hs:6:7: warning:
+ Found hole: _ :: Char
+ Relevant bindings include
+ x :: Int (bound at holes.hs:6:3)
+ g :: Int -> Char (bound at holes.hs:6:1)
+ In the expression: _
+ In an equation for ‘g’: g x = _
+
+holes.hs:8:5: warning:
+ Found hole: _ :: [Char]
+ Relevant bindings include h :: [Char] (bound at holes.hs:8:1)
+ In the first argument of ‘(++)’, namely ‘_’
+ In the expression: _ ++ "a"
+ In an equation for ‘h’: h = _ ++ "a"
+
+holes.hs:11:15: warning:
+ Found hole: _ :: b0
+ Where: ‘b0’ is an ambiguous type variable
+ Relevant bindings include
+ y :: [a] (bound at holes.hs:11:3)
+ z :: [a] -> [a] (bound at holes.hs:11:1)
+ In the second argument of ‘const’, namely ‘_’
+ In the expression: const y _
+ In an equation for ‘z’: z y = const y _
diff --git a/testsuite/tests/typecheck/should_compile/holes2.stderr b/testsuite/tests/typecheck/should_compile/holes2.stderr index 47ac776a21..4ce2e24aa4 100644 --- a/testsuite/tests/typecheck/should_compile/holes2.stderr +++ b/testsuite/tests/typecheck/should_compile/holes2.stderr @@ -1,19 +1,19 @@ - -holes2.hs:3:5: Warning: - No instance for (Show a0) arising from a use of ‘show’ - The type variable ‘a0’ is ambiguous - Note: there are several potential instances: - instance Show a => Show (Maybe a) -- Defined in ‘GHC.Show’ - instance Show Ordering -- Defined in ‘GHC.Show’ - instance Show Integer -- Defined in ‘GHC.Show’ - ...plus 22 others - In the expression: show _ - In an equation for ‘f’: f = show _ - -holes2.hs:3:10: Warning: - Found hole ‘_’ with type: a0 - Where: ‘a0’ is an ambiguous type variable - Relevant bindings include f :: String (bound at holes2.hs:3:1) - In the first argument of ‘show’, namely ‘_’ - In the expression: show _ - In an equation for ‘f’: f = show _ +
+holes2.hs:3:5: warning:
+ No instance for (Show a0) arising from a use of ‘show’
+ The type variable ‘a0’ is ambiguous
+ Note: there are several potential instances:
+ instance Show a => Show (Maybe a) -- Defined in ‘GHC.Show’
+ instance Show Ordering -- Defined in ‘GHC.Show’
+ instance Show Integer -- Defined in ‘GHC.Show’
+ ...plus 22 others
+ In the expression: show _
+ In an equation for ‘f’: f = show _
+
+holes2.hs:3:10: warning:
+ Found hole: _ :: a0
+ Where: ‘a0’ is an ambiguous type variable
+ Relevant bindings include f :: String (bound at holes2.hs:3:1)
+ In the first argument of ‘show’, namely ‘_’
+ In the expression: show _
+ In an equation for ‘f’: f = show _
diff --git a/testsuite/tests/typecheck/should_compile/holes3.stderr b/testsuite/tests/typecheck/should_compile/holes3.stderr index 17b786c7bd..5770716972 100644 --- a/testsuite/tests/typecheck/should_compile/holes3.stderr +++ b/testsuite/tests/typecheck/should_compile/holes3.stderr @@ -1,36 +1,36 @@ - -holes3.hs:3:5: - Found hole ‘_’ with type: t - Where: ‘t’ is a rigid type variable bound by - the inferred type of f :: t at holes3.hs:3:1 - Relevant bindings include f :: t (bound at holes3.hs:3:1) - In the expression: _ - In an equation for ‘f’: f = _ - -holes3.hs:6:7: - Found hole ‘_gr’ with type: Char - Or perhaps ‘_gr’ is mis-spelled, or not in scope - Relevant bindings include - x :: Int (bound at holes3.hs:6:3) - g :: Int -> Char (bound at holes3.hs:6:1) - In the expression: _gr - In an equation for ‘g’: g x = _gr - -holes3.hs:8:5: - Found hole ‘_aa’ with type: [Char] - Or perhaps ‘_aa’ is mis-spelled, or not in scope - Relevant bindings include h :: [Char] (bound at holes3.hs:8:1) - In the first argument of ‘(++)’, namely ‘_aa’ - In the expression: _aa ++ "a" - In an equation for ‘h’: h = _aa ++ "a" - -holes3.hs:11:15: - Found hole ‘_x’ with type: b0 - Where: ‘b0’ is an ambiguous type variable - Or perhaps ‘_x’ is mis-spelled, or not in scope - Relevant bindings include - y :: [a] (bound at holes3.hs:11:3) - z :: [a] -> [a] (bound at holes3.hs:11:1) - In the second argument of ‘const’, namely ‘_x’ - In the expression: const y _x - In an equation for ‘z’: z y = const y _x +
+holes3.hs:3:5: error:
+ Found hole: _ :: t
+ Where: ‘t’ is a rigid type variable bound by
+ the inferred type of f :: t at holes3.hs:3:1
+ Relevant bindings include f :: t (bound at holes3.hs:3:1)
+ In the expression: _
+ In an equation for ‘f’: f = _
+
+holes3.hs:6:7: error:
+ Found hole: _gr :: Char
+ Or perhaps ‘_gr’ is mis-spelled, or not in scope
+ Relevant bindings include
+ x :: Int (bound at holes3.hs:6:3)
+ g :: Int -> Char (bound at holes3.hs:6:1)
+ In the expression: _gr
+ In an equation for ‘g’: g x = _gr
+
+holes3.hs:8:5: error:
+ Found hole: _aa :: [Char]
+ Or perhaps ‘_aa’ is mis-spelled, or not in scope
+ Relevant bindings include h :: [Char] (bound at holes3.hs:8:1)
+ In the first argument of ‘(++)’, namely ‘_aa’
+ In the expression: _aa ++ "a"
+ In an equation for ‘h’: h = _aa ++ "a"
+
+holes3.hs:11:15: error:
+ Found hole: _x :: b0
+ Where: ‘b0’ is an ambiguous type variable
+ Or perhaps ‘_x’ is mis-spelled, or not in scope
+ Relevant bindings include
+ y :: [a] (bound at holes3.hs:11:3)
+ z :: [a] -> [a] (bound at holes3.hs:11:1)
+ In the second argument of ‘const’, namely ‘_x’
+ In the expression: const y _x
+ In an equation for ‘z’: z y = const y _x
diff --git a/testsuite/tests/typecheck/should_fail/T9497d.stderr b/testsuite/tests/typecheck/should_fail/T9497d.stderr index ee23278e53..7838120ad6 100644 --- a/testsuite/tests/typecheck/should_fail/T9497d.stderr +++ b/testsuite/tests/typecheck/should_fail/T9497d.stderr @@ -1,7 +1,7 @@ - -T9497d.hs:2:8: - Found hole ‘_main’ with type: IO () - Or perhaps ‘_main’ is mis-spelled, or not in scope - Relevant bindings include main :: IO () (bound at T9497d.hs:2:1) - In the expression: _main - In an equation for ‘main’: main = _main +
+T9497d.hs:2:8: error:
+ Found hole: _main :: IO ()
+ Or perhaps ‘_main’ is mis-spelled, or not in scope
+ Relevant bindings include main :: IO () (bound at T9497d.hs:2:1)
+ In the expression: _main
+ In an equation for ‘main’: main = _main
diff --git a/testsuite/tests/typecheck/should_fail/tcfail011.stderr b/testsuite/tests/typecheck/should_fail/tcfail011.stderr index 8a69d54101..f941127e01 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail011.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail011.stderr @@ -1,2 +1,2 @@ - -tcfail011.hs:3:25: Not in scope: ‘y’ +
+tcfail011.hs:3:25: error: Variable not in scope: y
diff --git a/testsuite/tests/typecheck/should_fail/tcfail049.stderr b/testsuite/tests/typecheck/should_fail/tcfail049.stderr index 6e871b0b86..12fc06db98 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail049.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail049.stderr @@ -1,2 +1,2 @@ - -tcfail049.hs:3:7: Not in scope: ‘g’ +
+tcfail049.hs:3:7: error: Variable not in scope: g :: t1 -> t
diff --git a/testsuite/tests/typecheck/should_fail/tcfail050.stderr b/testsuite/tests/typecheck/should_fail/tcfail050.stderr index db312bd721..881e497b4d 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail050.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail050.stderr @@ -1,2 +1,3 @@ - -tcfail050.hs:3:7: Not in scope: data constructor ‘B’ +
+tcfail050.hs:3:7: error:
+ Data constructor not in scope: B :: t1 -> t
|