diff options
Diffstat (limited to 'testsuite/tests/polykinds/PolyKinds07.stderr')
-rw-r--r-- | testsuite/tests/polykinds/PolyKinds07.stderr | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/testsuite/tests/polykinds/PolyKinds07.stderr b/testsuite/tests/polykinds/PolyKinds07.stderr index ce70e7d07a..596cae306e 100644 --- a/testsuite/tests/polykinds/PolyKinds07.stderr +++ b/testsuite/tests/polykinds/PolyKinds07.stderr @@ -1,7 +1,7 @@ -PolyKinds07.hs:10:11: - Data constructor ‘A1’ cannot be used here - (it is defined and used in the same recursive group) - In the first argument of ‘B’, namely ‘ 'A1’ - In the type ‘B 'A1’ - In the definition of data constructor ‘B1’ +PolyKinds07.hs:10:11: error: + • Data constructor ‘A1’ cannot be used here + (it is defined and used in the same recursive group) + • In the first argument of ‘B’, namely ‘'A1’ + In the type ‘B 'A1’ + In the definition of data constructor ‘B1’ |