diff --git a/testsuite/tests/gadt/gadt11.stderr b/testsuite/tests/gadt/gadt11.stderr index b753bd961cafe0ad729b978c66c7a726e803dcdc..c2e63f0716cff05cce6dd4b3bd4c3ceecd7e261c 100644 --- a/testsuite/tests/gadt/gadt11.stderr +++ b/testsuite/tests/gadt/gadt11.stderr @@ -1,6 +1,6 @@ gadt11.hs:12:3: Data constructor ‛L2’ returns type ‛T1 Bool’ - instead of an instance of its parent type ‛T2 a’ + instead of an instance of its parent type ‛T2’ In the definition of data constructor ‛L2’ In the data declaration for ‛T2’ diff --git a/testsuite/tests/typecheck/should_fail/T7175.stderr b/testsuite/tests/typecheck/should_fail/T7175.stderr index e65918c22b9484b115c3755efd40202f1548abab..f6adfff1288bddc21b06e85ca9cfa0cbfc053119 100644 --- a/testsuite/tests/typecheck/should_fail/T7175.stderr +++ b/testsuite/tests/typecheck/should_fail/T7175.stderr @@ -1,6 +1,6 @@ T7175.hs:8:4: Data constructor ‛G1C’ returns type ‛F Int’ - instead of an instance of its parent type ‛G1 a’ + instead of an instance of its parent type ‛G1’ In the definition of data constructor ‛G1C’ In the data declaration for ‛G1’ diff --git a/testsuite/tests/typecheck/should_fail/tcfail155.stderr b/testsuite/tests/typecheck/should_fail/tcfail155.stderr index 58426f4150724ea2bcbdb256e2ed2b58636ea946..15d6d6985663fbb1781ce06ab5d6640f002fcb6b 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail155.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail155.stderr @@ -1,6 +1,6 @@ tcfail155.hs:8:6: Data constructor ‛P’ returns type ‛L2’ - instead of an instance of its parent type ‛T a’ + instead of an instance of its parent type ‛T’ In the definition of data constructor ‛P’ In the data declaration for ‛T’ diff --git a/testsuite/tests/typecheck/should_fail/tcfail176.stderr b/testsuite/tests/typecheck/should_fail/tcfail176.stderr index cb829b43afaa705b6ad3d67c688a4b946b763eb3..c19885a4377be5ecfd8c825734039ea9edda7ec5 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail176.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail176.stderr @@ -1,6 +1,6 @@ tcfail176.hs:7:21: Data constructor ‛Bug’ returns type ‛Maybe a’ - instead of an instance of its parent type ‛Bug a’ + instead of an instance of its parent type ‛Bug’ In the definition of data constructor ‛Bug’ In the newtype declaration for ‛Bug’