diff options
Diffstat (limited to 'testsuite/tests/parser/should_fail/T7848.stderr')
| -rw-r--r-- | testsuite/tests/parser/should_fail/T7848.stderr | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/testsuite/tests/parser/should_fail/T7848.stderr b/testsuite/tests/parser/should_fail/T7848.stderr index 3fc3998a01..1cbf5f4a85 100644 --- a/testsuite/tests/parser/should_fail/T7848.stderr +++ b/testsuite/tests/parser/should_fail/T7848.stderr @@ -1,14 +1,14 @@ T7848.hs:10:9: - Couldn't match expected type ‛forall a. a’ - with actual type ‛t -> t1 -> A -> A -> A -> A -> t2’ + Couldn't match expected type ‘forall a. a’ + with actual type ‘t -> t1 -> A -> A -> A -> A -> t2’ Relevant bindings include z :: t1 (bound at T7848.hs:6:12) (&) :: t1 (bound at T7848.hs:6:8) (+) :: t (bound at T7848.hs:6:3) x :: t -> t1 -> A -> A -> A -> A -> t2 (bound at T7848.hs:6:1) In the SPECIALISE pragma {-# SPECIALIZE (&) :: a #-} - In an equation for ‛x’: + In an equation for ‘x’: x (+) ((&)@z) ((:&&) a b) (c :&& d) (e `A` f) (A g h) = y where |