From 733b6eea7cd77956a02b849e9c437f0b1c8313b8 Mon Sep 17 00:00:00 2001 From: Richard Eisenberg Date: Sun, 4 Aug 2013 17:24:48 +0100 Subject: [PATCH] Wibbles to output from refactoring datacon code --- testsuite/tests/gadt/gadt11.stderr | 2 +- testsuite/tests/typecheck/should_fail/T7175.stderr | 2 +- testsuite/tests/typecheck/should_fail/tcfail155.stderr | 2 +- testsuite/tests/typecheck/should_fail/tcfail176.stderr | 2 +- 4 files changed, 4 insertions(+), 4 deletions(-) diff --git a/testsuite/tests/gadt/gadt11.stderr b/testsuite/tests/gadt/gadt11.stderr index b753bd961c..c2e63f0716 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 e65918c22b..f6adfff128 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 58426f4150..15d6d69856 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 cb829b43af..c19885a437 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’ -- GitLab