From pmoura@noe.ubi.pt Fri Oct 26 15:35:10 2001
Received: from noe.ubi.pt (noe.ubi.pt [193.136.64.94])
	by swi.psy.uva.nl (8.11.2/8.11.2) with ESMTP id f9QDZAt18605;
	Fri, 26 Oct 2001 15:35:10 +0200 (MET DST)
Received: from localhost (delta.ubi.pt [193.136.64.178])
	by noe.ubi.pt (8.9.3/8.9.3) with ESMTP id OAA04307;
	Fri, 26 Oct 2001 14:31:42 GMT
Date: Fri, 26 Oct 2001 14:34:58 +0100
Subject: Re: [SWIPL] Type error vs. silent failure
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Mime-Version: 1.0 (Apple Message framework v472)
Cc: Paulo Moura <pmoura@noe.ubi.pt>, Gernot Salzer <salzer@logic.at>,
   prolog@swi.psy.uva.nl
To: Jan Wielemaker <jan@swi.psy.uva.nl>
From: Paulo Moura <pmoura@noe.ubi.pt>
In-Reply-To: <200110261101.f9QB1Pl12948@gollem.swi.psy.uva.nl>
Message-Id: <3FAFAD7F-CA16-11D5-8334-00039315BB3A@noe.ubi.pt>
X-Mailer: Apple Mail (2.472)
Content-Transfer-Encoding: 8bit
X-MIME-Autoconverted: from quoted-printable to 8bit by swi.psy.uva.nl id f9QDZAt18605


On Sexta, Outubro 26, 2001, at 12:01 , Jan Wielemaker wrote:

> Gernot,
>
>> [ Sorry, must have been discussed in the past, but couldn't find 
>> anything ]
>
> Not on this list, but in general, I assume it must be.
>
>> Is there any rational behind
>>    nth1(a, [a,b,c], X).
>> failing silently and
>>    length([a,b,c], a).
>> giving a type error?
>
> Not really, apart from the fact that length is part of the ISO standard
> and the standard prescribes the tests to be made and the exceptions they
> should raise, while nth1/3 isn't.

Hum? I'm almost certain that length/2 is NOT in the ISO standard.

Paulo


-----------------------------------------------------------
Paulo Jorge Lopes de Moura
Dep. of Informatics                   Office 4.3  Ext. 3257
University of Beira Interior          Phone: +351 275319700
6201-001 Covilhã                      Fax:   +351 275319732
Portugal

mailto:pmoura@noe.ubi.pt
http://www.ci.uc.pt/logtalk/pmoura.html
-----------------------------------------------------------

