Ciao 1.24.0 errors when loading the `iso_strict` package
Closed this issue · 3 comments
pmoura commented
$ ciao
Ciao 1.24.0 [DARWINx86_64]
?- use_package(iso_strict).
{Using package /Users/pmoura/.ciaoroot/v1.24.0-m1/core/library/iso_strict/iso_strict.pl
Note: Package dcg already loaded in shell
Note: Package datafacts already loaded in shell
{Using package /Users/pmoura/.ciaoroot/v1.24.0-m1/core/lib/dynamic_clauses/dynamic_clauses.pl
ERROR: (lns 6-6) (data)/1 directive not allowed in shell
ERROR: (lns 7-8) redefining/1 directive not allowed in shell
ERROR: (lns 9-10) (data)/1 directive not allowed in shell
ERROR: (lns 11-12) export/1 directive not allowed in shell
{ERROR: assertz/1 - permission error: modify not allowed on static_procedure with value /(dynamic_rt:clause,2)}
aborted
pmoura commented
Also fixed, yes.