[Fwd: Bug - since 2002!]

Filed as bug 408

attached mail follows:

Dear Joachim,

I'm disappointed!

I reported this bug three years ago - and the new version still has
it.

Why?

Furthermore, I suspect that the proposed workaround of putting true
behind each assignment does not work 100%.

Ulrich Scholz

On Thu, Jan 03, 2002 at 09:47:15PM +0100, Ulrich Scholz wrote:
> 
> 
> The ECLiPSe banner with the version number and configuration
> (unless visible in the script):
> 
> bash$ eclipse
> ECLiPSe Constraint Logic Programming System [kernel]
> Copyright Imperial College London and ICL
> Certain libraries copyright Parc Technologies Ltd
> GMP library copyright Free Software Foundation
> Version 5.3 #41, Sat Nov 24 13:49 2001
> [eclipse 1]: [error].
> error.pl   compiled traceable 224 bytes in 0.00 seconds
> 
> Yes (0.00s cpu)
> [eclipse 2]: b.
> 3 
> 
> Yes (0.00s cpu)
> 
> This hould be a 2 !!!
> It does seem not to depend on writeln!
> 
> 
> Machine type:
> 
> ultra10
> 
> 
> Operating system name and version number:
> 
> Sparc OS 5
> 
> 
> Your .eclipserc and ECLIPSE... environment variables, if used:
> 
> I don't have an .eclipserc
> ECLIPSEDIR=/u/kiwi/staff/scholz/Tools/eclipse
> 
> 
> A script which causes the bug to appear, enhanced by comments where
> necessary (start from the ECLiPSe banner unless the option -e is used):
> 
> %program error.pl
> 
> a :- 
> 	true.
> 
> b :-
> 	
> 	a,
> 
> 	F1 = 2,
> 	F2 = 3,
> 	
> 	writeln(F1),
> 
> 	c(F2).
> 
> c(_).
> 
> -- 
> Ulrich Scholz
> 
> scholz@informatik.tu-darmstadt.de
> http://www.intellektik.informatik.tu-darmstadt.de/~scholz/

-- 
Ulrich Scholz

scholz@informatik.tu-darmstadt.de
http://www.intellektik.informatik.tu-darmstadt.de/~scholz