To get rid of -skip-versions, we must extend the boolean language to allow for version comparisions. Operators like ver=, ver>=, etc. would have to be added to blang. Opam already has such version comparing code, so all we need to do is to vendor the appropriate opam library (once it becomes available) to have the same version comparison mechanism.
Alizter
commented
2 years ago
To get rid of
-skip-versions, we must extend the boolean language to allow for version comparisions. Operators likever=,ver>=, etc. would have to be added to blang. Opam already has such version comparing code, so all we need to do is to vendor the appropriate opam library (once it becomes available) to have the same version comparison mechanism.