diff options
| -rw-r--r-- | testsuite/tests/th/T6018th.hs | 1 | ||||
| -rw-r--r-- | testsuite/tests/th/T6018th.stderr | 3 |
2 files changed, 1 insertions, 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 |