From jan@swi.psy.uva.nl  Mon Dec  6 10:02:38 1999
Received: from gollem.swi.psy.uva.nl (root@gollem [145.18.114.15])
	by swi.psy.uva.nl (8.9.3/8.9.3) with ESMTP id KAA29877
	for <prolog@swi.psy.uva.nl>; Mon, 6 Dec 1999 10:02:38 +0100 (MET)
Received: from localhost (localhost [[UNIX: localhost]])
	by gollem.swi.psy.uva.nl (8.9.3/8.9.3) id KAA06431
	for prolog@swi.psy.uva.nl; Mon, 6 Dec 1999 10:02:38 +0100
From: Jan Wielemaker <jan@swi.psy.uva.nl>
Organization: SWI, University of Amsterdam
To: prolog@swi.psy.uva.nl
Subject: Re: ADDING MODULES
Date: Mon, 6 Dec 1999 10:01:45 +0100
X-Mailer: KMail [version 1.0.21]
Content-Type: text/plain
References: <3.0.6.32.19991203085153.007e8b50@posta.alinet.it>
MIME-Version: 1.0
Message-Id: <99120610023801.06373@gollem>
Content-Transfer-Encoding: 8bit

On Fri, 03 Dec 1999, Cortelli Paolo wrote:
>Hello,
>      I'm using Beta 3.3 for Windows.
>
>      if there is a mistake in the arity in the module definition (I put
>cls/1 in place of cls/0), then there are these problems:
>1) at the first call to another predicate you find an error on cls which is
>   not used by that predicate
>2) if I repeat the query with the module name, it's ok.
>3) if I repeat again without the module name, this time it's ok
>4) my error also influenced visibility: local predicates were accessible
>   without the module name.

I'm trying to get this behaviour, but problably I don't understand the
sequence.  Please include a source file and transscript.

	Regards --- Jan

