do loop makes unnecessary choicepoint

From: Joachim Schimpf <j.schimpf_at_icparc.ic.ac.uk>
Date: Tue 06 Mar 2001 02:09:24 PM GMT
Message-ID: <3AA4EF94.23DFDC89@icparc.ic.ac.uk> 
This choicepoint shouldn't be necessary:

 p(M) :- for(I,M,1,-1) do writeln(I).


[eclipse 7]: als(do__1).

do__1/2 :
        Try_me_else                     16 2 584(Trust_me)
        Get_valueAMAM                   A1 A2 
        Allocate                        1 
        Savecut                   
        Res                             0 1 
        Exitc                     

        Trust_me                        16 
	...


-- Joachim
Received on Tue Mar 06 14:09:24 2001

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