1.1 --- a/src/smltest/ME/solve.sml	Tue Jun 06 12:04:11 2006 +0200
     1.2 +++ b/src/smltest/ME/solve.sml	Tue Jun 06 13:26:49 2006 +0200
     1.3 @@ -426,7 +426,7 @@
     1.4   moveActiveDown 1; 
     1.5   refFormula 1 (get_pos 1 1); (* 3,1 Res, <ISA> x = 0 + -1 * -1 </ISA> *)
     1.6  
     1.7 -(*#####################WN041023: error deep in nxt_tac##################*)
     1.8 +(*#####################WN060606: Rewrite_Set_Inst error ##################*)
     1.9   val ((pt,p),_) = get_calc 1; show_pt pt;
    1.10   interSteps 1 ([3,1],Res);
    1.11   val ((pt,p),_) = get_calc 1; show_pt pt;
    1.12 @@ -434,15 +434,13 @@
    1.13   term2str (get_obj g_form pt [3,2]);(*"x = 0 + -1 * -1"  ok*)
    1.14   get_obj g_tac pt [3,1,1];          (*Empty_Tac            *)
    1.15  
    1.16 -(*@@@@@@ GOON.WN060602 @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@*)
    1.17 -
    1.18   val [(_,(((pt,_),_),[(_,(p,_))]))] = !states;
    1.19   val [Nd (PrfObj {form, tac, result, ...}, [])] = children (get_nd pt p);
    1.20   
    1.21   term2str form = "-1 + x = 0";
    1.22 - tac = Empty_Tac;              (*WN041023: error deep in nxt_tac*)
    1.23 - fst result = e_term;          (*WN041023: error deep in nxt_tac*)
    1.24 -(*#####################WN041023: error deep in nxt_tac##################*)
    1.25 + tac = Empty_Tac;    
    1.26 + fst result = e_term;
    1.27 +(*#####################WN060606: Rewrite_Set_Inst error ##################*)
    1.28  				  
    1.29   moveActiveDown 1; 
    1.30   refFormula 1 (get_pos 1 1); (* 3,2 Res, <ISA> x = 1 </ISA> *)

     2.1 --- a/src/smltest/Scripts/scrtools.sml	Tue Jun 06 12:04:11 2006 +0200
     2.2 +++ b/src/smltest/Scripts/scrtools.sml	Tue Jun 06 13:26:49 2006 +0200
     2.3 @@ -82,7 +82,7 @@
     2.4  
     2.5  val ((pt,p),_) = get_calc 1; show_pt pt;
     2.6  if existpt' ([1], Frm) pt then ()
     2.7 -else raise error "scrtools.sml: auto-generated script doesnt work";
     2.8 +else raise error "scrtools.sml: test-script test_interSteps_1 doesnt work";
     2.9  
    2.10  
    2.11  "-------- test the same called by interSteps norm_Poly -----------";
    2.12 @@ -105,7 +105,9 @@
    2.13  val ((pt,p),_) = get_calc 1; show_pt pt;
    2.14  
    2.15  interSteps 1 ([1], Res);
    2.16 -
    2.17 +val ((pt,p),_) = get_calc 1; show_pt pt;
    2.18 +if existpt' ([1,4], Res) pt then ()
    2.19 +else raise error  "scrtools.sml: auto-generated norm_Poly doesnt work";
    2.20  
    2.21  "-------- test the same called by interSteps norm_Rational -------";
    2.22  "-------- test the same called by interSteps norm_Rational -------";
    2.23 @@ -128,4 +130,6 @@
    2.24  
    2.25  interSteps 1 ([1], Res);
    2.26  val ((pt,p),_) = get_calc 1; show_pt pt;
    2.27 +if existpt' ([1,4], Res) pt then ()
    2.28 +else raise error  "scrtools.sml: auto-generated norm_Rational doesnt work";
    2.29