In #1448 we bumped our OCaml lower bound from 4.10 to 4.14. This gives access to new language and standard library features that we could exploit. Below is a list of some, but more could be found by going to OCaml changelogs and @since annotations in Stdlib.
4.11
4.12
[ ] Either module — could at least revert b4c0057e1d82d9649b627af96f5237b2e4a8e1e0, not sure if we want to use it for Printable.Either, etc.
In #1448 we bumped our OCaml lower bound from 4.10 to 4.14. This gives access to new language and standard library features that we could exploit. Below is a list of some, but more could be found by going to OCaml changelogs and
@sinceannotations inStdlib.4.11
4.12
Eithermodule — could at least revert b4c0057e1d82d9649b627af96f5237b2e4a8e1e0, not sure if we want to use it forPrintable.Either, etc.Hashtbl.rebuild— we've thought about using this to fix some potential GobView unmarshaling issues, but this needs to be investigated more (https://github.com/goblint/analyzer/pull/651#issuecomment-1102134585).4.13
String.starts_with/ends_with— #1523.4.14
Seqfunctions — #1437.GobListand possibly elsewhere.