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