Hi,

I've done:

ciaoc -c use_stack.pl stack.pl

and got:

{In *class_expansion* ERROR: (lns 0-0) Predicate fact$exp/3 undefined in source ERROR: (lns 0-0) Predicate $goalis_empty0/1 undefined in source ERROR: (lns 0-0) Predicate $goaltop1/1 undefined in source ERROR: (lns 0-0) Predicate $goalpop1/1 undefined in source ERROR: (lns 0-0) Predicate $goalpush1/1 undefined in source ERROR: (lns 0-0) Predicate $factstorage1/1 undefined in source ERROR: (lns 0-0) Predicate $factstorage1/1 undefined in source ERROR: (lns 0-0) Predicate $goalis_empty0/1 undefined in source ERROR: (lns 0-0) Predicate $goaltop1/1 undefined in source ERROR: (lns 0-0) Predicate $goalpop1/1 undefined in source ERROR: (lns 0-0) Predicate $goalpush1/1 undefined in source ERROR: (lns 0-0) Predicate $factstorage1/1 undefined in source ERROR: (lns 0-0) Predicate class$goalcalling/3 undefined in source ERROR: Aborted module compilation

but stack.po, stack.itf, use_stack.po and use_stack.itf were generated.

The thing is:

I tried programming an O'Ciao class made by myself using foreign_interface for some of the predicates of the class, and got the same errors, .po and .itf files, but no .o or .c generated.

With the .po and .itf files already in place, compiling again (same command) generated .c and .o files without errors.

¿Is this the expected behavior?

Thank You, Regards

Javier