summaryrefslogtreecommitdiff
path: root/testsuite
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite')
-rw-r--r--testsuite/tests/deriving/should_fail/T2721.stderr4
-rw-r--r--testsuite/tests/deriving/should_fail/T3833.stderr4
-rw-r--r--testsuite/tests/deriving/should_fail/T3834.stderr4
-rw-r--r--testsuite/tests/deriving/should_fail/T9600-1.hs5
-rw-r--r--testsuite/tests/deriving/should_fail/T9600-1.stderr6
-rw-r--r--testsuite/tests/deriving/should_fail/T9600.hs3
-rw-r--r--testsuite/tests/deriving/should_fail/T9600.stderr6
-rw-r--r--testsuite/tests/deriving/should_fail/all.T2
-rw-r--r--testsuite/tests/deriving/should_fail/drvfail009.stderr12
-rw-r--r--testsuite/tests/generics/T5462No1.stderr12
-rw-r--r--testsuite/tests/module/mod53.stderr4
-rw-r--r--testsuite/tests/parser/should_fail/readFail039.stderr4
-rw-r--r--testsuite/tests/safeHaskell/ghci/p16.stderr30
13 files changed, 59 insertions, 37 deletions
diff --git a/testsuite/tests/deriving/should_fail/T2721.stderr b/testsuite/tests/deriving/should_fail/T2721.stderr
index 908db94dbe..693ccd2dbd 100644
--- a/testsuite/tests/deriving/should_fail/T2721.stderr
+++ b/testsuite/tests/deriving/should_fail/T2721.stderr
@@ -1,6 +1,6 @@
-T2721.hs:15:28:
+T2721.hs:15:28: error:
Can't make a derived instance of ‘C N’
- (even with cunning newtype deriving):
+ (even with cunning GeneralizedNewtypeDeriving):
the class has associated types
In the newtype declaration for ‘N’
diff --git a/testsuite/tests/deriving/should_fail/T3833.stderr b/testsuite/tests/deriving/should_fail/T3833.stderr
index 4c6bf564ea..da7da919bc 100644
--- a/testsuite/tests/deriving/should_fail/T3833.stderr
+++ b/testsuite/tests/deriving/should_fail/T3833.stderr
@@ -1,6 +1,6 @@
-T3833.hs:9:1:
+T3833.hs:9:1: error:
Can't make a derived instance of ‘Monoid (DecodeMap e)’:
- ‘Monoid’ is not a derivable class
+ ‘Monoid’ is not a standard derivable class (Eq, Show, etc.)
Try GeneralizedNewtypeDeriving for GHC's newtype-deriving extension
In the stand-alone deriving instance for ‘Monoid (DecodeMap e)’
diff --git a/testsuite/tests/deriving/should_fail/T3834.stderr b/testsuite/tests/deriving/should_fail/T3834.stderr
index d732124454..3eec64a6c5 100644
--- a/testsuite/tests/deriving/should_fail/T3834.stderr
+++ b/testsuite/tests/deriving/should_fail/T3834.stderr
@@ -1,6 +1,6 @@
-T3834.hs:8:1:
+T3834.hs:8:1: error:
Can't make a derived instance of ‘C T’:
- ‘C’ is not a derivable class
+ ‘C’ is not a standard derivable class (Eq, Show, etc.)
Try GeneralizedNewtypeDeriving for GHC's newtype-deriving extension
In the stand-alone deriving instance for ‘C T’
diff --git a/testsuite/tests/deriving/should_fail/T9600-1.hs b/testsuite/tests/deriving/should_fail/T9600-1.hs
new file mode 100644
index 0000000000..8116d08728
--- /dev/null
+++ b/testsuite/tests/deriving/should_fail/T9600-1.hs
@@ -0,0 +1,5 @@
+{-# LANGUAGE GeneralizedNewtypeDeriving #-}
+
+import Control.Applicative
+
+newtype Foo a = Foo (a -> a) deriving Applicative
diff --git a/testsuite/tests/deriving/should_fail/T9600-1.stderr b/testsuite/tests/deriving/should_fail/T9600-1.stderr
new file mode 100644
index 0000000000..88d24079a0
--- /dev/null
+++ b/testsuite/tests/deriving/should_fail/T9600-1.stderr
@@ -0,0 +1,6 @@
+
+T9600-1.hs:5:39: error:
+ Can't make a derived instance of ‘Applicative Foo’
+ (even with cunning GeneralizedNewtypeDeriving):
+ cannot eta-reduce the representation type enough
+ In the newtype declaration for ‘Foo’
diff --git a/testsuite/tests/deriving/should_fail/T9600.hs b/testsuite/tests/deriving/should_fail/T9600.hs
new file mode 100644
index 0000000000..a6663ce8c8
--- /dev/null
+++ b/testsuite/tests/deriving/should_fail/T9600.hs
@@ -0,0 +1,3 @@
+import Control.Applicative
+
+newtype Foo a = Foo (a -> a) deriving Applicative
diff --git a/testsuite/tests/deriving/should_fail/T9600.stderr b/testsuite/tests/deriving/should_fail/T9600.stderr
new file mode 100644
index 0000000000..2e88277f54
--- /dev/null
+++ b/testsuite/tests/deriving/should_fail/T9600.stderr
@@ -0,0 +1,6 @@
+
+T9600.hs:3:39: error:
+ Can't make a derived instance of ‘Applicative Foo’:
+ ‘Applicative’ is not a standard derivable class (Eq, Show, etc.)
+ Try GeneralizedNewtypeDeriving for GHC's newtype-deriving extension
+ In the newtype declaration for ‘Foo’
diff --git a/testsuite/tests/deriving/should_fail/all.T b/testsuite/tests/deriving/should_fail/all.T
index 2e2511305e..94120d2912 100644
--- a/testsuite/tests/deriving/should_fail/all.T
+++ b/testsuite/tests/deriving/should_fail/all.T
@@ -51,6 +51,8 @@ test('T6147', normal, compile_fail, [''])
test('T8851', normal, compile_fail, [''])
test('T9071', normal, multimod_compile_fail, ['T9071',''])
test('T9071_2', normal, compile_fail, [''])
+test('T9600', normal, compile_fail, [''])
+test('T9600-1', normal, compile_fail, [''])
test('T9687', normal, compile_fail, [''])
test('T8984', normal, compile_fail, [''])
diff --git a/testsuite/tests/deriving/should_fail/drvfail009.stderr b/testsuite/tests/deriving/should_fail/drvfail009.stderr
index b9dd90c758..563bc5aa8a 100644
--- a/testsuite/tests/deriving/should_fail/drvfail009.stderr
+++ b/testsuite/tests/deriving/should_fail/drvfail009.stderr
@@ -1,23 +1,23 @@
-drvfail009.hs:10:31:
+drvfail009.hs:10:31: error:
Expecting one more argument to ‘C’
Expected kind ‘* -> Constraint’,
but ‘C’ has kind ‘* -> * -> Constraint’
In the newtype declaration for ‘T1’
-drvfail009.hs:13:31:
+drvfail009.hs:13:31: error:
Cannot derive well-kinded instance of form ‘Monad (T2 ...)’
Class ‘Monad’ expects an argument of kind ‘* -> *’
In the newtype declaration for ‘T2’
-drvfail009.hs:16:33:
+drvfail009.hs:16:33: error:
Can't make a derived instance of ‘Monad T3’
- (even with cunning newtype deriving):
+ (even with cunning GeneralizedNewtypeDeriving):
cannot eta-reduce the representation type enough
In the newtype declaration for ‘T3’
-drvfail009.hs:19:42:
+drvfail009.hs:19:42: error:
Can't make a derived instance of ‘Monad T4’
- (even with cunning newtype deriving):
+ (even with cunning GeneralizedNewtypeDeriving):
cannot eta-reduce the representation type enough
In the newtype declaration for ‘T4’
diff --git a/testsuite/tests/generics/T5462No1.stderr b/testsuite/tests/generics/T5462No1.stderr
index 87ef888461..7c1aec8d79 100644
--- a/testsuite/tests/generics/T5462No1.stderr
+++ b/testsuite/tests/generics/T5462No1.stderr
@@ -1,20 +1,20 @@
[1 of 2] Compiling GFunctor ( GFunctor/GFunctor.hs, out_T5462No1/GFunctor.o )
[2 of 2] Compiling T5462No1 ( T5462No1.hs, out_T5462No1/T5462No1.o )
-T5462No1.hs:24:42:
+T5462No1.hs:24:42: error:
Can't make a derived instance of ‘GFunctor F’:
- ‘GFunctor’ is not a derivable class
+ ‘GFunctor’ is not a standard derivable class (Eq, Show, etc.)
Try GeneralizedNewtypeDeriving for GHC's newtype-deriving extension
In the newtype declaration for ‘F’
-T5462No1.hs:26:23:
+T5462No1.hs:26:23: error:
Can't make a derived instance of ‘C1 G’:
- ‘C1’ is not a derivable class
+ ‘C1’ is not a standard derivable class (Eq, Show, etc.)
Try enabling DeriveAnyClass
In the data declaration for ‘G’
-T5462No1.hs:27:23:
+T5462No1.hs:27:23: error:
Can't make a derived instance of ‘C2 H’:
- ‘C2’ is not a derivable class
+ ‘C2’ is not a standard derivable class (Eq, Show, etc.)
Try enabling DeriveAnyClass
In the data declaration for ‘H’
diff --git a/testsuite/tests/module/mod53.stderr b/testsuite/tests/module/mod53.stderr
index 2630e9cc7c..a4c176d11a 100644
--- a/testsuite/tests/module/mod53.stderr
+++ b/testsuite/tests/module/mod53.stderr
@@ -1,6 +1,6 @@
-mod53.hs:4:22:
+mod53.hs:4:22: error:
Can't make a derived instance of ‘C T’:
- ‘C’ is not a derivable class
+ ‘C’ is not a standard derivable class (Eq, Show, etc.)
Try enabling DeriveAnyClass
In the data declaration for ‘T’
diff --git a/testsuite/tests/parser/should_fail/readFail039.stderr b/testsuite/tests/parser/should_fail/readFail039.stderr
index 81d5001624..91b9a16553 100644
--- a/testsuite/tests/parser/should_fail/readFail039.stderr
+++ b/testsuite/tests/parser/should_fail/readFail039.stderr
@@ -1,6 +1,6 @@
-readFail039.hs:8:14:
+readFail039.hs:8:14: error:
Can't make a derived instance of ‘C Foo’:
- ‘C’ is not a derivable class
+ ‘C’ is not a standard derivable class (Eq, Show, etc.)
Try GeneralizedNewtypeDeriving for GHC's newtype-deriving extension
In the newtype declaration for ‘Foo’
diff --git a/testsuite/tests/safeHaskell/ghci/p16.stderr b/testsuite/tests/safeHaskell/ghci/p16.stderr
index e14727bc49..893cf2d8ee 100644
--- a/testsuite/tests/safeHaskell/ghci/p16.stderr
+++ b/testsuite/tests/safeHaskell/ghci/p16.stderr
@@ -1,15 +1,15 @@
-
-<no location info>: warning:
- -XGeneralizedNewtypeDeriving is not allowed in Safe Haskell; ignoring -XGeneralizedNewtypeDeriving
-
-<interactive>:15:29: error:
- Can't make a derived instance of ‘Op T2’:
- ‘Op’ is not a derivable class
- Try GeneralizedNewtypeDeriving for GHC's newtype-deriving extension
- In the newtype declaration for ‘T2’
-
-<interactive>:18:9: error:
- Data constructor not in scope: T2 :: T -> t
- Perhaps you meant ‘T1’ (line 12)
-
-<interactive>:21:4: error: Variable not in scope: y
+
+<no location info>: warning:
+ -XGeneralizedNewtypeDeriving is not allowed in Safe Haskell; ignoring -XGeneralizedNewtypeDeriving
+
+<interactive>:15:29: error:
+ Can't make a derived instance of ‘Op T2’:
+ ‘Op’ is not a standard derivable class (Eq, Show, etc.)
+ Try GeneralizedNewtypeDeriving for GHC's newtype-deriving extension
+ In the newtype declaration for ‘T2’
+
+<interactive>:18:9: error:
+ Data constructor not in scope: T2 :: T -> t
+ Perhaps you meant ‘T1’ (line 12)
+
+<interactive>:21:4: error: Variable not in scope: y
View Lorry Controller Status