Skip to content

IH-633: Transition away from exception-raising Hashtbl.find and Unix.getenv #5751

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
last-genius merged 6 commits into from
Jul 8, 2024
Merged

IH-633: Transition away from exception-raising Hashtbl.find and Unix.getenv #5751

Changes from 1 commit
Commits
Show all changes
6 commits
Select commit Hold shift + click to select a range
99c4356
Transition from exception-raising Unix.getenv to Sys.getenv_opt with
Jun 19, 2024
7be240f
Replace Hashtbl.find with Hashtbl.find_opt in trivial cases
Jun 26, 2024
1869b44
Refactor Hashtbl.find out of resources/table.ml
Jun 26, 2024
47f3c3d
Refactor Hashtbl.find out of xenopsd/xc/readln.ml
Jun 26, 2024
d4be15e
Add a gate for Hashbtl.find
Jun 27, 2024
76f232d
Merge branch 'master' into private/asultanov/opt-refactoring
last-genius Jul 8, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Merge branch 'master' into private/asultanov/opt-refactoring 
Signed-off-by: Andriy Sultanov <[email protected]>
  • Loading branch information
@last-genius
last-genius authored Jul 8, 2024
commit 76f232dbb20dda85c76bb8962e8593bbb8fc2ff6
22 changes: 22 additions & 0 deletions quality-gate.sh
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -93,6 +93,7 @@ ocamlyacc () {
fi
}


unixgetenv () {
N=1
UNIXGETENV=$(git grep -P -r -o --count 'getenv(?!_opt)' -- **/*.ml | wc -l)
Expand All @@ -117,6 +118,26 @@ hashtblfind () {
fi
}

unnecessary-length () {
N=0
local_grep () {
git grep -r -o --count "$1" -- '**/*.ml' | wc -l
}
UNNECESSARY_LENGTH=$(local_grep "List.length.*=+\s*0")
UNNECESSARY_LENGTH=$((UNNECESSARY_LENGTH+$(local_grep "0\s*=+\s*List.length")))
UNNECESSARY_LENGTH=$((UNNECESSARY_LENGTH+$(local_grep "List.length.*\s>\s*0")))
UNNECESSARY_LENGTH=$((UNNECESSARY_LENGTH+$(local_grep "0\s*<\s*List.length")))
UNNECESSARY_LENGTH=$((UNNECESSARY_LENGTH+$(local_grep "List.length.*\s<\s*1")))
UNNECESSARY_LENGTH=$((UNNECESSARY_LENGTH+$(local_grep "1\s*>\s*List.length")))
if [ "$UNNECESSARY_LENGTH" -eq "$N" ]; then
echo "OK found $UNNECESSARY_LENGTH unnecessary usages of List.length in OCaml files."
else
echo "ERROR expected $N unnecessary usages of List.length in OCaml files,
got $UNNECESSARY_LENGTH. Use lst =/<> [] or match statements instead." 1>&2
exit 1
fi
}

list-hd
verify-cert
mli-files
Expand All @@ -126,4 +147,5 @@ vtpm-fields
ocamlyacc
unixgetenv
hashtblfind
unnecessary-length

You are viewing a condensed version of this merge commit. You can view the full changes here.