diff options
Diffstat (limited to 'testsuite/tests/indexed-types/should_fail/T8368a.stderr')
| -rw-r--r-- | testsuite/tests/indexed-types/should_fail/T8368a.stderr | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/testsuite/tests/indexed-types/should_fail/T8368a.stderr b/testsuite/tests/indexed-types/should_fail/T8368a.stderr index 5b20206745..a3d01dc47f 100644 --- a/testsuite/tests/indexed-types/should_fail/T8368a.stderr +++ b/testsuite/tests/indexed-types/should_fail/T8368a.stderr @@ -1,6 +1,7 @@ -T8368a.hs:7:3: - Data constructor ‘MkFam’ returns type ‘Fam Bool b’ - instead of an instance of its parent type ‘Fam Int b’ - In the definition of data constructor ‘MkFam’ - In the data instance declaration for ‘Fam’ +T8368a.hs:7:3: error: + • Couldn't match type ‘Bool’ with ‘Int’ + Expected: Fam Int b + Actual: Fam Bool b + • In the result type of data constructor ‘MkFam’ + In the data instance declaration for ‘Fam’ |