Verified Commit 42b838a6 authored by Camil Staps's avatar Camil Staps 🚀

Add name search ranking constraints

parent bf4a815a
Pipeline #16561 passed with stage
in 15 minutes and 22 seconds
Subproject commit 2b6446a618ad9d298012b4df5669a96a6649ff86
Subproject commit 7f9aa332c7a5454d1a6850835eda47cd3f12c1b1
[ [{"name":"toInt"}, ["LT",["Class","StdOverloaded","toInt"], ["Function","StdChar","digitToInt"]]]
, [{"name":"Foldable"}, ["LT",["Class","Data.Foldable","Foldable"], ["Class","Text.StringAppender","Appendable"]]]
, [{"name":"Foldable"}, ["LT",["Class","Data.Foldable","Foldable"], ["Function","StdList","foldr"]]]
, [{"unify":"Char -> Int"}, ["LT",["Function","StdChar","digitToInt"], ["Function","StdOverloaded","toInt"]]]
, [{"unify":"Int -> String"}, ["LT",["Function","StdOverloaded","fromInt"], ["Function","StdOverloaded","one"]]]
......
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