You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This applies to all the predicates defined in protobufs.c
If an argument is instantiated and not of the appropriate type (integer, list(integer), etc., sometimes the predicate quietly fails, sometimes gives an incorrect "instantiation error", sometimes gives an appropriate error.
Implementation notes:
See PL_term_type() and return values PL_VARIABLE, PL_INTEGER.
Need to verify all instantiation errors and also add checks before some unification calls.
The text was updated successfully, but these errors were encountered:
This applies to all the predicates defined in protobufs.c
If an argument is instantiated and not of the appropriate type (integer, list(integer), etc., sometimes the predicate quietly fails, sometimes gives an incorrect "instantiation error", sometimes gives an appropriate error.
Implementation notes:
See PL_term_type() and return values PL_VARIABLE, PL_INTEGER.
Need to verify all instantiation errors and also add checks before some unification calls.
The text was updated successfully, but these errors were encountered: