Add ranking constraints for exact results in using queries; update submodule

parent 2109a575
Pipeline #16510 failed with stage
in 6 minutes and 32 seconds
Subproject commit 9104d2c68f5b070416cfc816bbacb22510727c99
Subproject commit c59d8995087c2c22848b33d7b650c3f960d8adea
......@@ -39,6 +39,7 @@ $(DB): builddb
./$< > $(DB)
clean:
shopt -s globstar; $(RM) -r **/*.abc $(BIN) $(MAN) $(DB)
find -name '*.abc' -delete
$(RM) $(BIN) $(MAN) $(DB)
.FORCE:
#!/bin/bash
set -ev
install_clean.sh 'base lib-platform lib-tcpip' 2018-10-30
install_clean.sh 'base lib-platform lib-tcpip' 2018-11-18
PACKAGES="patch jq unzip z3"
apt-get update -qq
......
[ [{"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"]]]
, [{"unify":"[a] -> a"}, ["LT",["StdList","last"], ["Data.List","head"]]]
[ [{"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"]]]
]
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