diff options
Diffstat (limited to 'testsuite/tests/typecheck')
9 files changed, 111 insertions, 110 deletions
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
|