diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T1899.stderr')
-rw-r--r-- | testsuite/tests/typecheck/should_fail/T1899.stderr | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T1899.stderr b/testsuite/tests/typecheck/should_fail/T1899.stderr index 0838984c2f..d637ac7a0a 100644 --- a/testsuite/tests/typecheck/should_fail/T1899.stderr +++ b/testsuite/tests/typecheck/should_fail/T1899.stderr @@ -1,12 +1,12 @@ T1899.hs:12:29: - Couldn't match expected type `a' with actual type `Proposition a0' - `a' is a rigid type variable bound by + Couldn't match expected type ‛a’ with actual type ‛Proposition a0’ + ‛a’ is a rigid type variable bound by the type signature for transRHS :: [a] -> Int -> Constraint a at T1899.hs:9:14 Relevant bindings include transRHS :: [a] -> Int -> Constraint a (bound at T1899.hs:10:2) varSet :: [a] (bound at T1899.hs:10:11) - In the return type of a call of `Auxiliary' - In the first argument of `Prop', namely `(Auxiliary undefined)' + In the return type of a call of ‛Auxiliary’ + In the first argument of ‛Prop’, namely ‛(Auxiliary undefined)’ In the expression: Prop (Auxiliary undefined) |