Add more ranking constraints for unification

parent ffe00e18
Pipeline #16493 passed with stage
in 14 minutes and 58 seconds
[ [{"name":"toInt"}, ["LT",["StdOverloaded","toInt"], ["StdChar","digitToInt"]]]
, [{"unify":"Char -> Int"}, ["LT",["StdChar","digitToInt"], ["StdOverloaded","toInt"]]]
, [{"unify":"Int -> String"}, ["LT",["StdOverloaded","fromInt"], ["StdOverloaded","one"]]]
, [{"unify":"(m a) -> a"}, ["LT",["StdList","last"], ["StdList","or"]]]
, [{"unify":"(m a) -> a"}, ["LT",["StdOverloadedList","Hd"], ["StdOverloadedList","Avg"]]]
, [{"unify":"(m a) -> a"}, ["LT",["StdList","last"], ["StdGeneric","generic_dict"]]]
, [{"unify":"(m a) -> a"}, ["LT",["StdList","limit"], ["StdGeneric","generic_dict"]]]
, [{"unify":"(m a) -> a"}, ["LT",["StdOrdList","minList"], ["StdList","or"]]]
]
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