fd_sets:insetdomain/4 should flag more errors

From: Warwick Harvey <wh_at_icparc.ic.ac.uk>
Date: Mon 10 Sep 2001 05:05:03 PM GMT
Message-ID: <20010910180503.A1055@tempest.icparc.ic.ac.uk> 
Hi,

With the latest patch and main branch builds, the following succeed:

[eclipse 2]: insetdomain(a, _, _, _).

Yes (0.00s cpu)
[eclipse 3]: insetdomain(f(X), _, _, _).

X = X
Yes (0.00s cpu)
[eclipse 4]: 

Perhaps most confusing is when one accidentally passes a list of fd_set
variables instead of the intended single fd_set variable; the predicate
gladly succeeds without doing anything or reporting any problem.  Some kind
of error or warning would be nice.  :)

Cheers,
Warwick
Received on Mon Sep 10 18:05:04 2001

This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:08:09 PM GMT GMT