diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T11672.stderr')
-rw-r--r-- | testsuite/tests/typecheck/should_fail/T11672.stderr | 11 |
1 files changed, 1 insertions, 10 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T11672.stderr b/testsuite/tests/typecheck/should_fail/T11672.stderr index d08acba037..16eb31042f 100644 --- a/testsuite/tests/typecheck/should_fail/T11672.stderr +++ b/testsuite/tests/typecheck/should_fail/T11672.stderr @@ -1,6 +1,6 @@ T11672.hs:9:10: error: - • Couldn't match kind ‘Symbol’ with ‘*’ + • Couldn't match kind ‘*’ with ‘Symbol’ When matching types a0 :: Symbol Int -> Bool :: * @@ -10,12 +10,3 @@ T11672.hs:9:10: error: ‘(Proxy :: Proxy (Int -> Bool))’ In the expression: f (Proxy :: Proxy (Int -> Bool)) In an equation for ‘f’: f _ = f (Proxy :: Proxy (Int -> Bool)) - -T11672.hs:9:10: error: - • Couldn't match type ‘*’ with ‘Symbol’ - Expected type: Proxy a0 - Actual type: Proxy (Int -> Bool) - • In the first argument of ‘f’, namely - ‘(Proxy :: Proxy (Int -> Bool))’ - In the expression: f (Proxy :: Proxy (Int -> Bool)) - In an equation for ‘f’: f _ = f (Proxy :: Proxy (Int -> Bool)) |