I have no ciao system in reach of my hands, so I can't test it right now, but I'm pretty sure that in ciao you can't use the operators defined in a different file. I have encountered it while doing some work with ciao and the solution I used was to simply declare all operators (which was actually only one) in every module. I'm actually quite curious if there is any smarter way to do it.
Dear Bartek,
this question has been answered recently (http://clip.dia.fi.upm.es/Mail/ciao-users/0367.html).
MCL
__________________ Myspacebargotstuck ============================================================================== Message: Address: Action: help majordomo(a)clip.dia.fi.upm.es Info. on useful commands subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list <whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list ----------------------------------------------------------------------------- Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/ -----------------------------------------------------------------------------