Commit bf4a815a authored by Camil Staps's avatar Camil Staps 🐧

Add ranking constraints for :: a -> String

parent a2c01c45
Pipeline #16552 passed with stage
in 14 minutes and 44 seconds
[ [{"name":"toInt"}, ["LT",["Class","StdOverloaded","toInt"], ["Function","StdChar","digitToInt"]]]
, [{"unify":"Char -> Int"}, ["LT",["Function","StdChar","digitToInt"], ["Function","StdOverloaded","toInt"]]]
, [{"unify":"Int -> String"}, ["LT",["Function","StdOverloaded","fromInt"], ["Function","StdOverloaded","one"]]]
, [{"unify":"a -> String"}, ["LT",["Function","StdOverloaded","toString"], ["Function","Text.GenPrint","printToString"]]]
, [{"unify":"a -> String"}, ["LT",["Function","StdOverloaded","toString"], ["Function","graph_to_string_and_descriptors","graph_to_string_with_descriptors"]]]
, [{"unify":"(m a) -> a"}, ["LT",["Function","StdList","last"], ["Function","StdList","or"]]]
, [{"unify":"(m a) -> a"}, ["LT",["Function","StdOverloadedList","Hd"], ["Function","StdOverloadedList","Avg"]]]
, [{"unify":"(m a) -> a"}, ["LT",["Function","StdList","last"], ["Function","StdGeneric","generic_dict"]]]
......@@ -10,7 +15,9 @@
, [{"unify":"(m a) -> a"}, ["LT",["Function","StdList","hd"], ["Function","StdOverloadedList","Hd"]]]
, [{"unify":"(m a) -> a"}, ["LT",["Function","StdOverloadedList","Hd"], ["Function","StdTuple","thd3"]]]
, [{"unify":"(m a) -> a"}, ["LT",["Function","Data.List","head"], ["Function","System._Unsafe","unsafeCoerce"]]]
, [{"unify":"[a] -> a"}, ["LT",["Function","StdList","last"], ["Function","Data.List","head"]]]
, [{"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