swipl-devel icon indicating copy to clipboard operation
swipl-devel copied to clipboard

Modify `infer_meta_predicate/2` such that `?` is reported rather than `*`

Open eshelyaron opened this issue 3 years ago • 0 comments

This PR makes infer_meta_predicate/2 consistent with the general preference of SWI-Prolog for using ? rather than * as the unspecified argument mode specifier.

While this is a breaking change, as far as I can tell library(prolog_metainference) is only used by library(prolog_codewalk) which does not rely on the current behavior of infer_meta_predicate/2 using *, and I couldn't find any public code outside of SWI-Prolog itself currently using infer_meta_predicate/2.

eshelyaron avatar Oct 24 '21 18:10 eshelyaron