diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_compile/type_in_type_hole_fits.stderr')
-rw-r--r-- | testsuite/tests/typecheck/should_compile/type_in_type_hole_fits.stderr | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/testsuite/tests/typecheck/should_compile/type_in_type_hole_fits.stderr b/testsuite/tests/typecheck/should_compile/type_in_type_hole_fits.stderr index 4757d4915c..9f96ea3505 100644 --- a/testsuite/tests/typecheck/should_compile/type_in_type_hole_fits.stderr +++ b/testsuite/tests/typecheck/should_compile/type_in_type_hole_fits.stderr @@ -3,8 +3,7 @@ type_in_type_hole_fits.hs:79:11: warning: [-Wtyped-holes (in -Wdefault)] • Found hole: _a :: [Integer] -> Sorted (O ('NLogN 2 0)) (O N) 'True Integer Or perhaps ‘_a’ is mis-spelled, or not in scope - • In the expression: _a - In the expression: _a [3, 1, 2] + • In the expression: _a [3, 1, 2] In an equation for ‘mySortA’: mySortA = _a [3, 1, 2] • Relevant bindings include mySortA :: Sorted (O (N ^. 2)) (O N) 'True Integer @@ -32,8 +31,7 @@ type_in_type_hole_fits.hs:82:11: warning: [-Wtyped-holes (in -Wdefault)] • Found hole: _b :: [Integer] -> Sorted (O ('NLogN 1 1)) (O N) 'False Integer Or perhaps ‘_b’ is mis-spelled, or not in scope - • In the expression: _b - In the expression: _b [3, 1, 2] + • In the expression: _b [3, 1, 2] In an equation for ‘mySortB’: mySortB = _b [3, 1, 2] • Relevant bindings include mySortB :: Sorted (O (N *. LogN)) (O N) 'False Integer @@ -65,8 +63,7 @@ type_in_type_hole_fits.hs:85:11: warning: [-Wtyped-holes (in -Wdefault)] • Found hole: _c :: [Integer] -> Sorted (O ('NLogN 1 1)) (O One) 'False Integer Or perhaps ‘_c’ is mis-spelled, or not in scope - • In the expression: _c - In the expression: _c [3, 1, 2] + • In the expression: _c [3, 1, 2] In an equation for ‘mySortC’: mySortC = _c [3, 1, 2] • Relevant bindings include mySortC :: Sorted (O (N *. LogN)) (O One) 'False Integer |