summaryrefslogtreecommitdiff
path: root/testsuite/tests/simplCore
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/simplCore')
-rw-r--r--testsuite/tests/simplCore/should_compile/T4398.stderr7
-rw-r--r--testsuite/tests/simplCore/should_compile/T5359b.stderr2
-rw-r--r--testsuite/tests/simplCore/should_compile/T6082-RULE.stderr8
-rw-r--r--testsuite/tests/simplCore/should_compile/simpl016.stderr6
-rw-r--r--testsuite/tests/simplCore/should_compile/simpl017.stderr36
-rw-r--r--testsuite/tests/simplCore/should_compile/simpl020.stderr12
6 files changed, 35 insertions, 36 deletions
diff --git a/testsuite/tests/simplCore/should_compile/T4398.stderr b/testsuite/tests/simplCore/should_compile/T4398.stderr
index ab17c8a4e9..692583e680 100644
--- a/testsuite/tests/simplCore/should_compile/T4398.stderr
+++ b/testsuite/tests/simplCore/should_compile/T4398.stderr
@@ -1,4 +1,3 @@
-
-T4398.hs:5:11:
- Warning: Forall'd constraint `Ord a' is not bound in RULE lhs
- f @ a x y
+
+T4398.hs:5:11: Warning:
+ Forall'd constraint ‛Ord a’ is not bound in RULE lhs f @ a x y
diff --git a/testsuite/tests/simplCore/should_compile/T5359b.stderr b/testsuite/tests/simplCore/should_compile/T5359b.stderr
index a3484cfd44..6106f3e17b 100644
--- a/testsuite/tests/simplCore/should_compile/T5359b.stderr
+++ b/testsuite/tests/simplCore/should_compile/T5359b.stderr
@@ -1,3 +1,3 @@
T5359b.hs:62:1: Warning:
- SPECIALISE pragma on INLINE function probably won't fire: `genum'
+ SPECIALISE pragma on INLINE function probably won't fire: ‛genum’
diff --git a/testsuite/tests/simplCore/should_compile/T6082-RULE.stderr b/testsuite/tests/simplCore/should_compile/T6082-RULE.stderr
index a503b77d15..e133ec7e58 100644
--- a/testsuite/tests/simplCore/should_compile/T6082-RULE.stderr
+++ b/testsuite/tests/simplCore/should_compile/T6082-RULE.stderr
@@ -1,8 +1,8 @@
T6082-RULE.hs:5:11: Warning:
- Rule "foo1" may never fire because `foo1' might inline first
- Probable fix: add an INLINE[n] or NOINLINE[n] pragma on `foo1'
+ Rule "foo1" may never fire because ‛foo1’ might inline first
+ Probable fix: add an INLINE[n] or NOINLINE[n] pragma on ‛foo1’
T6082-RULE.hs:10:11: Warning:
- Rule "foo2" may never fire because `foo2' might inline first
- Probable fix: add an INLINE[n] or NOINLINE[n] pragma on `foo2'
+ Rule "foo2" may never fire because ‛foo2’ might inline first
+ Probable fix: add an INLINE[n] or NOINLINE[n] pragma on ‛foo2’
diff --git a/testsuite/tests/simplCore/should_compile/simpl016.stderr b/testsuite/tests/simplCore/should_compile/simpl016.stderr
index 681dd10cab..0bd07fd0eb 100644
--- a/testsuite/tests/simplCore/should_compile/simpl016.stderr
+++ b/testsuite/tests/simplCore/should_compile/simpl016.stderr
@@ -1,4 +1,4 @@
-simpl016.hs:5:1:
- Warning: Forall'd constraint `Num b' is not bound in RULE lhs
- delta' @ Int @ b GHC.Classes.$fEqInt
+simpl016.hs:5:1: Warning:
+ Forall'd constraint ‛Num b’ is not bound in RULE lhs
+ delta' @ Int @ b GHC.Classes.$fEqInt
diff --git a/testsuite/tests/simplCore/should_compile/simpl017.stderr b/testsuite/tests/simplCore/should_compile/simpl017.stderr
index 334691d2c2..26068534b3 100644
--- a/testsuite/tests/simplCore/should_compile/simpl017.stderr
+++ b/testsuite/tests/simplCore/should_compile/simpl017.stderr
@@ -1,26 +1,26 @@
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
liftArray :: arr i a -> E m (forall v. [E m i] -> E' v m a)
(bound at simpl017.hs:39:1)
a :: arr i a (bound at simpl017.hs:39:11)
ix :: [E m i] -> m i (bound at simpl017.hs:41:9)
f :: [E m i] -> E' v0 m a (bound at simpl017.hs:43:9)
- 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
- In the first argument of `E', namely
- `(do { let ix :: [E m i] -> m i
+ In the first argument of ‛E’, namely
+ ‛(do { let ix :: [E m i] -> m i
ix [i] = runE i
{-# INLINE f #-}
....;
- return f })'
+ return f })’
simpl017.hs:63:5:
- 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'
+ 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’
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
@@ -28,15 +28,15 @@ simpl017.hs:63:5:
ma :: STArray s Int Int (bound at simpl017.hs:59:5)
a :: forall v. [E (ST s) Int] -> E' v (ST s) Int
(bound at simpl017.hs:60:5)
- 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.
- [E' RValue (ST s) Int] -> E' v (ST s) Int'
- with `[E (ST t1) Int] -> E' RValue (ST s) Int'
+ 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’
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
@@ -44,7 +44,7 @@ simpl017.hs:63:19:
ma :: STArray s Int Int (bound at simpl017.hs:59:5)
a :: forall v. [E (ST s) Int] -> E' v (ST s) Int
(bound at simpl017.hs:60:5)
- 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]
diff --git a/testsuite/tests/simplCore/should_compile/simpl020.stderr b/testsuite/tests/simplCore/should_compile/simpl020.stderr
index cd84c1d2d3..d23a8ddf23 100644
--- a/testsuite/tests/simplCore/should_compile/simpl020.stderr
+++ b/testsuite/tests/simplCore/should_compile/simpl020.stderr
@@ -1,8 +1,8 @@
-Simpl020_A.hs:25:10:
- Warning: No explicit method or default declaration for `toGUIObject'
- In the instance declaration for `GUIObject ()'
+Simpl020_A.hs:25:10: Warning:
+ No explicit method or default declaration for ‛toGUIObject’
+ In the instance declaration for ‛GUIObject ()’
-Simpl020_A.hs:25:10:
- Warning: No explicit method or default declaration for `cset'
- In the instance declaration for `GUIObject ()'
+Simpl020_A.hs:25:10: Warning:
+ No explicit method or default declaration for ‛cset’
+ In the instance declaration for ‛GUIObject ()’