Verified Commit d84cf9e5 authored by Camil Staps's avatar Camil Staps 🚀

Add ranking constraints for "a -> (a,a)": splitFileName < stdio < _from_o,...

Add ranking constraints for "a -> (a,a)": splitFileName < stdio < _from_o, because of complexity and unresolvedness of the required contexts
parent 50e692af
Pipeline #27181 passed with stages
in 20 minutes and 10 seconds
Subproject commit d4c6cc9ee492d388d606bd507651d1a41df9cf72
Subproject commit c5472e17bd6f591457d967e905a2099c35d23db0
......@@ -35,4 +35,7 @@
, [{"unify":"Int -> [Int]"}, ["LT",["Function","Control.GenMonad","ret"], ["Function","StdMisc","undef"]]]
, [{"unify":"Int -> [Int]"}, ["LT",["Function","Control.Applicative","pure"], ["Function","Text.Unicode","toUnicode"]]]
, [{"unify":"Int -> [Int]"}, ["LT",["Function","System._Unsafe","unsafeCoerce"], ["Function","StdMisc","undef"]]]
, [{"unify":"a -> (a,a)"}, ["LT",["Function","System.FilePath","splitFileName"],["Function","StdFile","stdio"]]]
, [{"unify":"a -> (a,a)"}, ["LT",["Function","StdFile","stdio"], ["Function","_SystemEnumStrict","_from_o"]]]
]
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