From 89168849a781626fc794ae97375da979ac83bf96 Mon Sep 17 00:00:00 2001 From: "Edward Z. Yang" Date: Sun, 12 Feb 2017 22:36:19 -0800 Subject: Say 'data' explicitly in IfAbstractTyCon output. Signed-off-by: Edward Z. Yang --- testsuite/tests/backpack/should_fail/bkpfail26.stderr | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'testsuite/tests/backpack/should_fail/bkpfail26.stderr') diff --git a/testsuite/tests/backpack/should_fail/bkpfail26.stderr b/testsuite/tests/backpack/should_fail/bkpfail26.stderr index 583629f212..fa192c261a 100644 --- a/testsuite/tests/backpack/should_fail/bkpfail26.stderr +++ b/testsuite/tests/backpack/should_fail/bkpfail26.stderr @@ -14,7 +14,7 @@ bkpfail26.bkp:15:9: error: • Type constructor ‘T’ has conflicting definitions in the module and its hsig file Main module: type T a = [a] - Hsig file: skolem T a + Hsig file: {- skolem -} data T a Illegal parameterized type synonym in implementation of abstract data. (Try eta reducing your type synonym so that it is nullary.) • while checking that q:H implements signature H in p[H=q:H] -- cgit v1.2.1