diff options
Diffstat (limited to 'testsuite/tests/simplCore/should_compile/simpl017.stderr')
| -rw-r--r-- | testsuite/tests/simplCore/should_compile/simpl017.stderr | 26 |
1 files changed, 13 insertions, 13 deletions
diff --git a/testsuite/tests/simplCore/should_compile/simpl017.stderr b/testsuite/tests/simplCore/should_compile/simpl017.stderr index 681c890246..b04dbb4ade 100644 --- a/testsuite/tests/simplCore/should_compile/simpl017.stderr +++ b/testsuite/tests/simplCore/should_compile/simpl017.stderr @@ -1,20 +1,20 @@ simpl017.hs:44:12: - Couldn't match expected type ‛forall v. [E m i] -> E' v m a’ - with actual type ‛[E m i] -> E' v0 m a’ + Couldn't match expected type ‘forall v. [E m i] -> E' v m a’ + with actual type ‘[E m i] -> E' v0 m a’ Relevant bindings include f :: [E m i] -> E' v0 m a (bound at simpl017.hs:43:9) ix :: [E m i] -> m i (bound at simpl017.hs:41:9) a :: arr i a (bound at simpl017.hs:39:11) liftArray :: arr i a -> E m (forall v. [E m i] -> E' v m a) (bound at simpl017.hs:39:1) - In the first argument of ‛return’, namely ‛f’ + In the first argument of ‘return’, namely ‘f’ In a stmt of a 'do' block: return f simpl017.hs:63:5: - Couldn't match type ‛forall v. + Couldn't match type ‘forall v. [E' RValue (ST s) Int] -> E' v (ST s) Int’ - with ‛[E (ST t0) Int] -> E' RValue (ST s) Int’ + with ‘[E (ST t0) Int] -> E' RValue (ST s) Int’ Expected type: [E (ST t0) Int] -> E (ST s) Int Actual type: forall v. [E (ST s) Int] -> E' v (ST s) Int Relevant bindings include @@ -22,15 +22,15 @@ simpl017.hs:63:5: (bound at simpl017.hs:60:5) ma :: STArray s Int Int (bound at simpl017.hs:59:5) foo :: STArray s Int Int -> ST s Int (bound at simpl017.hs:59:1) - The function ‛a’ is applied to one argument, - but its type ‛forall v. [E (ST s) Int] -> E' v (ST s) Int’ has none - In the first argument of ‛plus’, namely ‛a [one]’ + The function ‘a’ is applied to one argument, + but its type ‘forall v. [E (ST s) Int] -> E' v (ST s) Int’ has none + In the first argument of ‘plus’, namely ‘a [one]’ In a stmt of a 'do' block: a [one] `plus` a [one] simpl017.hs:63:19: - Couldn't match type ‛forall v. + Couldn't match type ‘forall v. [E' RValue (ST s) Int] -> E' v (ST s) Int’ - with ‛[E (ST t1) Int] -> E' RValue (ST s) Int’ + with ‘[E (ST t1) Int] -> E' RValue (ST s) Int’ Expected type: [E (ST t1) Int] -> E (ST s) Int Actual type: forall v. [E (ST s) Int] -> E' v (ST s) Int Relevant bindings include @@ -38,7 +38,7 @@ simpl017.hs:63:19: (bound at simpl017.hs:60:5) ma :: STArray s Int Int (bound at simpl017.hs:59:5) foo :: STArray s Int Int -> ST s Int (bound at simpl017.hs:59:1) - The function ‛a’ is applied to one argument, - but its type ‛forall v. [E (ST s) Int] -> E' v (ST s) Int’ has none - In the second argument of ‛plus’, namely ‛a [one]’ + The function ‘a’ is applied to one argument, + but its type ‘forall v. [E (ST s) Int] -> E' v (ST s) Int’ has none + In the second argument of ‘plus’, namely ‘a [one]’ In a stmt of a 'do' block: a [one] `plus` a [one] |