Commit 19c6049a authored by Jan Stolarek's avatar Jan Stolarek

Fix T6018th test failure

parent 85915e9b
......@@ -84,7 +84,6 @@ $( do { decl@([ClosedTypeFamilyD _ _ _ (Just inj) _]) <-
Bak Int = Char
Bak Char = Int
Bak a = a |]
; runIO $ putStrLn (pprint inj)
; return decl
}
)
......
| 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
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment