Commit 57f21d7f authored by Camil Staps's avatar Camil Staps 🍃

Add ranking constraint for `:: [m a] -> m [a]`

parent f6a89ac8
Pipeline #19384 passed with stages
in 19 minutes and 47 seconds
......@@ -28,6 +28,8 @@
, [{"unify":"[a] -> a"}, ["LT",["Function","StdList","last"], ["Function","Data.List","head"]]]
, [{"unify":"[m a] -> m [a]"},["LT",["Function","Data.List","transpose"], ["Function","StdList","reverse"]]]
, [{"unify":"Int -> [Int]"}, ["LT",["Function","_SystemEnumStrict","_from_o"], ["Function","Text.Unicode","toUnicode"]]]
, [{"unify":"Int -> [Int]"}, ["LT",["Function","_SystemEnumStrict","_from_o"], ["Function","StdMisc","undef"]]]
, [{"unify":"Int -> [Int]"}, ["LT",["Function","Control.GenMonad","ret"], ["Function","StdMisc","undef"]]]
......
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