Commit b98ff25f authored by Simon Peyton Jones's avatar Simon Peyton Jones

Error message wibbles from out-of-scope changes

The patch "Treat out-of-scope variables as holes" makes
lots of error messages change a bit. This patch has all
the change.
parent fb7b6922
arrowfail002.hs:6:17: Not in scope: ‘x’
arrowfail002.hs:6:17: error: Variable not in scope: x :: Int
Main.hs:5:5: Not in scope: data constructor ‘T’
Main.hs:5:5: error: Data constructor not in scope: T
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’
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’
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
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’
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’
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
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’
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’
Bar.hs:3:7: Not in scope: nonexistent
Bar.hs:3:7: error: Variable not in scope: nonexistent
<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 <$> _’
......
<interactive>:2:1: Not in scope: ‘α’
<interactive>:2:1: error: Variable not in scope: α
<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)
<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
<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
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 }
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)
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)
mod120.hs:5:5: Not in scope: data constructor Foo
mod120.hs:5:5: error: Data constructor not in scope: Foo
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)
mod125.hs:7:5: Not in scope: data constructor ‘T’
mod125.hs:7:5: error: Data constructor not in scope: T
mod126.hs:7:5: Not in scope: data constructor ‘T’
mod126.hs:7:5: error: Data constructor not in scope: T
mod130.hs:7:5: Not in scope: ‘<’
mod130.hs:7:5: error:
Variable not in scope: (<) :: Integer -> Int -> Int
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)
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)
mod138.hs:7:5: Not in scope: isLatin1
mod138.hs:7:5: error: Variable not in scope: isLatin1
mod147.hs:6:5: Not in scope: data constructor ‘D’
mod147.hs:6:5: error:
Data constructor not in scope: D :: Integer -> t
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)
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)
mod36.hs:5:5: Not in scope: const
mod36.hs:5:5: error: Variable not in scope: const
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
mod72.hs:3:7: Not in scope: ‘g’
mod72.hs:3:7: error: Variable not in scope: g :: t1 -> t
mod87.hs:4:5: Not in scope: data constructor ‘Left’
mod87.hs:4:5: error:
Data constructor not in scope: Left :: Char -> t
mod97.hs:4:9: Not in scope: ‘==’
mod97.hs:4:9: error:
Variable not in scope: (==) :: Char -> Char -> t
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’
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