Add ranking constraints

parent 88a528cc
Pipeline #16524 passed with stage
in 15 minutes and 18 seconds
Subproject commit cb66601ee66ac09b20ade3774812099527bb6664
Subproject commit a2a620fa55e72cea65f8dfbbb90b97946acdf820
[ [{"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":"(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"]]]
, [{"unify":"(m a) -> a"}, ["LT",["Function","StdList","limit"], ["Function","StdGeneric","generic_dict"]]]
, [{"unify":"(m a) -> a"}, ["LT",["Function","StdOrdList","minList"], ["Function","StdList","or"]]]
, [{"unify":"(m a) -> a"}, ["LT",["Function","StdList","hd"], ["Function","System._Unsafe","unsafeCoerce"]]]
, [{"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"]]]
, [{"using":["Text"]}, ["LT",["Class","Text","Text"], ["Function","Text.Terminal.VT100","vt100render"]]]
, [{"using":["Text"]}, ["LT",["Class","Text","Text"], ["Function","iTasks.WF.Tasks.Interaction","viewTitle"]]]
, [{"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"]]]
, [{"unify":"Int -> [Int]"}, ["LT",["Function","Control.Applicative","pure"], ["Function","Text.Unicode","toUnicode"]]]
, [{"unify":"Int -> [Int]"}, ["LT",["Function","System._Unsafe","unsafeCoerce"], ["Function","StdMisc","undef"]]]
, [{"using":["Text"]}, ["LT",["Class","Text","Text"], ["Function","Text.Terminal.VT100","vt100render"]]]
, [{"using":["Text"]}, ["LT",["Class","Text","Text"], ["Function","iTasks.WF.Tasks.Interaction","viewTitle"]]]
]
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