diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2012-03-26 21:00:02 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2012-03-26 21:00:02 +0100 |
| commit | 6dc6775590c85371c0d74249bdbcc8c51b9975ce (patch) | |
| tree | 542198287994d792a04d2689549964f2fef2522a /testsuite/tests/polykinds | |
| parent | 6eb9500b3f0ad70db9d2f0bf7fc1a1fb9a2f8cf9 (diff) | |
| download | haskell-6dc6775590c85371c0d74249bdbcc8c51b9975ce.tar.gz | |
Error message wibbles following TyClDecl/HsTyDefn refactoring
Diffstat (limited to 'testsuite/tests/polykinds')
| -rw-r--r-- | testsuite/tests/polykinds/PolyKinds04.stderr | 12 | ||||
| -rw-r--r-- | testsuite/tests/polykinds/PolyKinds06.stderr | 12 | ||||
| -rw-r--r-- | testsuite/tests/polykinds/PolyKinds07.stderr | 12 | ||||
| -rw-r--r-- | testsuite/tests/polykinds/T5716.stderr | 12 |
4 files changed, 24 insertions, 24 deletions
diff --git a/testsuite/tests/polykinds/PolyKinds04.stderr b/testsuite/tests/polykinds/PolyKinds04.stderr index dfac425cf8..484b0991ab 100644 --- a/testsuite/tests/polykinds/PolyKinds04.stderr +++ b/testsuite/tests/polykinds/PolyKinds04.stderr @@ -1,6 +1,6 @@ - -PolyKinds04.hs:5:16: - Expecting one more argument to `Maybe' - In the type `A Maybe' - In the definition of data constructor `B1' - In the data type declaration for `B' +
+PolyKinds04.hs:5:16:
+ Expecting one more argument to `Maybe'
+ In the type `A Maybe'
+ In the definition of data constructor `B1'
+ In the data declaration for `B'
diff --git a/testsuite/tests/polykinds/PolyKinds06.stderr b/testsuite/tests/polykinds/PolyKinds06.stderr index b2de4bc596..314bb20a87 100644 --- a/testsuite/tests/polykinds/PolyKinds06.stderr +++ b/testsuite/tests/polykinds/PolyKinds06.stderr @@ -1,6 +1,6 @@ - -PolyKinds06.hs:10:11: - Promoted kind `A1' used in a mutually recursive group - In the type `B A1' - In the definition of data constructor `B1' - In the data type declaration for `B' +
+PolyKinds06.hs:10:11:
+ Promoted kind `A1' used in a mutually recursive group
+ In the type `B A1'
+ In the definition of data constructor `B1'
+ In the data declaration for `B'
diff --git a/testsuite/tests/polykinds/PolyKinds07.stderr b/testsuite/tests/polykinds/PolyKinds07.stderr index 2063af0645..203e3aad4b 100644 --- a/testsuite/tests/polykinds/PolyKinds07.stderr +++ b/testsuite/tests/polykinds/PolyKinds07.stderr @@ -1,6 +1,6 @@ - -PolyKinds07.hs:10:11: - Promoted kind `A1' used in a mutually recursive group - In the type `B A1' - In the definition of data constructor `B1' - In the data type declaration for `B' +
+PolyKinds07.hs:10:11:
+ Promoted kind `A1' used in a mutually recursive group
+ In the type `B A1'
+ In the definition of data constructor `B1'
+ In the data declaration for `B'
diff --git a/testsuite/tests/polykinds/T5716.stderr b/testsuite/tests/polykinds/T5716.stderr index 883985673f..76b20cdf86 100644 --- a/testsuite/tests/polykinds/T5716.stderr +++ b/testsuite/tests/polykinds/T5716.stderr @@ -1,6 +1,6 @@ - -T5716.hs:13:33: - `U1' of type `DF * Int -> U' is not promotable - In the type `I (U1 DFInt)' - In the definition of data constructor `I1' - In the data type declaration for `I' +
+T5716.hs:13:33:
+ `U1' of type `DF * Int -> U' is not promotable
+ In the type `I (U1 DFInt)'
+ In the definition of data constructor `I1'
+ In the data declaration for `I'
|