diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T1899.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/T1899.stderr | 21 |
1 files changed, 11 insertions, 10 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T1899.stderr b/testsuite/tests/typecheck/should_fail/T1899.stderr index d41c96a787..8c2964cfc6 100644 --- a/testsuite/tests/typecheck/should_fail/T1899.stderr +++ b/testsuite/tests/typecheck/should_fail/T1899.stderr @@ -1,13 +1,14 @@ T1899.hs:14:36: error: - Couldn't match type ‘a’ with ‘Proposition a0’ + • Couldn't match type ‘a’ with ‘Proposition a0’ ‘a’ is a rigid type variable bound by - the type signature for: transRHS :: [a] -> Int -> Constraint a - at T1899.hs:9:14 - Expected type: [Proposition a0] - Actual type: [a] - In the first argument of ‘Auxiliary’, namely ‘varSet’ - In the first argument of ‘Prop’, namely ‘(Auxiliary varSet)’ - Relevant bindings include - varSet :: [a] (bound at T1899.hs:10:11) - transRHS :: [a] -> Int -> Constraint a (bound at T1899.hs:10:2) + the type signature for: + transRHS :: forall a. [a] -> Int -> Constraint a + at T1899.hs:9:14 + Expected type: [Proposition a0] + Actual type: [a] + • In the first argument of ‘Auxiliary’, namely ‘varSet’ + In the first argument of ‘Prop’, namely ‘(Auxiliary varSet)’ + • Relevant bindings include + varSet :: [a] (bound at T1899.hs:10:11) + transRHS :: [a] -> Int -> Constraint a (bound at T1899.hs:10:2) |