diff options
| author | Jan Stolarek <jan.stolarek@p.lodz.pl> | 2015-09-04 05:15:06 +0200 |
|---|---|---|
| committer | Jan Stolarek <jan.stolarek@p.lodz.pl> | 2015-09-04 05:16:53 +0200 |
| commit | 19c6049a3d718a3200feab644d6bbbc6b5f2e74b (patch) | |
| tree | 33e625964122d4473bb0e28f78132fc5938a9d1c | |
| parent | 85915e9b73a662f3cc474323ec370d4f61817474 (diff) | |
| download | haskell-19c6049a3d718a3200feab644d6bbbc6b5f2e74b.tar.gz | |
Fix T6018th test failure
| -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 |