Commit 6cf60b53 authored by Camil Staps's avatar Camil Staps 🐧

More ranking constraints

parent 1847e5f9
Pipeline #16515 passed with stage
in 14 minutes
[ [{"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":"[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"]]]
[ [{"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":"[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"]]]
]
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