Subject: Comments on Ciao-Prolog 1.10 #5: Fri Sep 24 19:11:00 CEST 2004

Incorrect result:

?- X is 1<<(1<<16).
 
X = 1 ? ;
 
no
?-


Uncaught overflow:

[ulrich@gupu src]$ /opt/gupu/bin/ciao
Ciao-Prolog 1.10 #5: Fri Sep 24 19:11:00 CEST 2004
?- catch(length(Xs,100000000),Pat,true).
% Malloc: No such file or directory
{ERROR: Memory allocated out of addressable bounds!}
{ Execution aborted }
?-

[ulrich@gupu src]$ /opt/gupu/bin/ciao
Ciao-Prolog 1.10 #5: Fri Sep 24 19:11:00 CEST 2004
?- X=1+X,Y is X.
Segmentation fault (core dumped)

?- X=[a|X],Y=..X.

no
Expected: domain_error/representation_error

?- functor(F,f,400).
 
no

Expected: representation_error