ciao-lang/ciao

Ciao 1.24.0 errors when loading the `iso_strict` package

Closed this issue · 3 comments

$ 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
jfmc commented

Thanks! That issue is highly related with #100 and they will be fixed together.

jfmc commented

@pmoura, could you confirm if the fix for #100 also fixes this one? Thanks!

Also fixed, yes.