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
From [https://groups.google.com/forum/#!msg/swi-prolog/uJq7xF_5FV0/y5a1sesnBwAJ]:
> I have tried including a 'make' goal by declaring it safe with the
> sandbox predicates, but I get an error 'no permission to declare
> safe_goal 'door:my_make(_G273)'
This should in theory work, but the declaration must be *after* the
predicate declaration as it is checked not to be obviously wrong. In
particular it does not allow defining meta-predicates as safe primitives
as that would make everything safe.
Cheers --- Jan
This ordering dependency should be in the documentation somewhere.
Apologies if I missed it, but I couldn't find it in either pengines or sandbox.
The text was updated successfully, but these errors were encountered:
From [https://groups.google.com/forum/#!msg/swi-prolog/uJq7xF_5FV0/y5a1sesnBwAJ]:
This ordering dependency should be in the documentation somewhere.
Apologies if I missed it, but I couldn't find it in either
pengines
orsandbox
.The text was updated successfully, but these errors were encountered: