From 19c6049a3d718a3200feab644d6bbbc6b5f2e74b Mon Sep 17 00:00:00 2001 From: Jan Stolarek Date: Fri, 4 Sep 2015 05:15:06 +0200 Subject: Fix T6018th test failure --- testsuite/tests/th/T6018th.hs | 1 - testsuite/tests/th/T6018th.stderr | 3 +-- 2 files changed, 1 insertion(+), 3 deletions(-) diff --git a/testsuite/tests/th/T6018th.hs b/testsuite/tests/th/T6018th.hs index 32053636e2..91438c8dd8 100644 --- a/testsuite/tests/th/T6018th.hs +++ b/testsuite/tests/th/T6018th.hs @@ -84,7 +84,6 @@ $( do { decl@([ClosedTypeFamilyD _ _ _ (Just inj) _]) <- Bak Int = Char Bak Char = Int Bak a = a |] - ; runIO $ putStrLn (pprint inj) ; return decl } ) diff --git a/testsuite/tests/th/T6018th.stderr b/testsuite/tests/th/T6018th.stderr index 98c318b63d..4579ea54c3 100644 --- a/testsuite/tests/th/T6018th.stderr +++ b/testsuite/tests/th/T6018th.stderr @@ -1,6 +1,5 @@ -| r_0 -> a_1 -T6018th.hs:98:4: +T6018th.hs:97:4: Type family equations violate injectivity annotation: H Int Int Int = Bool H Int Char Bool = Bool -- cgit v1.2.1