1.1 --- a/test/Tools/isac/Interpret/calchead.sml	Mon Jul 25 11:52:07 2011 +0200
     1.2 +++ b/test/Tools/isac/Interpret/calchead.sml	Mon Jul 25 14:19:22 2011 +0200
     1.3 @@ -1,4 +1,3 @@
     1.4 -
     1.5    (* Title: tests on calchead.sml
     1.6     Author: Walther Neuper 051013,
     1.7     (c) due to copyright terms
     1.8 @@ -85,11 +84,10 @@
     1.9  val(p,_,Form'(PpcKF(_,_,_,_,ppc)),nxt,_,pt) = specify nxt p [] pt;
    1.10  (**)
    1.11  
    1.12 -(*========== inhibit exn AK110718 =======================================================
    1.13  val nxt = tac2tac_ pt p (Add_Find "valuesFor [(a::real)]"); 
    1.14  val(p,_,Form'(PpcKF(_,_,_,_,ppc)),nxt,_,pt) = specify nxt p [] pt;
    1.15  (*uncaught exception TYPE 6.5.03*)
    1.16 -
    1.17 +(*========== inhibit exn AK110718 =======================================================
    1.18  if ppc<>(Problem [],  
    1.19           {Find=[Incompl "maximum",Incompl "valuesFor [a]"],
    1.20  	  Given=[Correct "fixedValues [r = Arbfix]"],
    1.21 @@ -98,18 +96,21 @@
    1.22  else (); (*different with show_types !!!*)
    1.23  ========== inhibit exn AK110718 =======================================================*)
    1.24  
    1.25 +val nxt = tac2tac_ pt p (Add_Given "boundVariable a"); 
    1.26  (*========== inhibit exn AK110718 =======================================================
    1.27 -val nxt = tac2tac_ pt p (Add_Given "boundVariable a"); 
    1.28 +(* ERROR: Exception Bind raised *)
    1.29  val(p,_,Form'(PpcKF(_,_,_,_,ppc)),nxt,_,pt) = specify nxt p [] pt;
    1.30 +========== inhibit exn AK110718 =======================================================*)
    1.31  
    1.32  val nxt = tac2tac_ pt p (Add_Given "boundVariable a+"); 
    1.33 +(*========== inhibit exn AK110718 =======================================================
    1.34 +(* ERROR: Exception Bind raised *)
    1.35  val(p,_,Form'(PpcKF(_,_,_,_,ppc)),nxt,_,pt) = specify nxt p [] pt;
    1.36  ========== inhibit exn AK110718 =======================================================*)
    1.37  
    1.38  val m = Specify_Problem ["maximum_of","function"];
    1.39  val nxt = tac2tac_ pt p m; 
    1.40  val(p,_,Form'(PpcKF(_,_,_,_,ppc)),nxt,_,pt) = specify nxt p [] pt;
    1.41 -(**)
    1.42  (*========== inhibit exn AK110718 =======================================================
    1.43  if ppc<>(Problem ["maximum_of","function"],  
    1.44           {Find=[Incompl "maximum",Incompl "valuesFor"],
    1.45 @@ -124,10 +125,11 @@
    1.46      Relate=[Missing "relations rs_"],Where=[],With=[]})
    1.47  then error "diffappl.sml: Specify_Problem different behaviour" 
    1.48  else ();*)
    1.49 +========== inhibit exn AK110718 =======================================================*)
    1.50  
    1.51  val nxt = tac2tac_ pt p(Specify_Method ["DiffApp","max_by_calculus"]);
    1.52  val(p,_,Form'(PpcKF(_,_,_,_,ppc)),nxt,_,pt) = specify nxt p [] pt;
    1.53 -(**)
    1.54 +(*========== inhibit exn AK110718 =======================================================
    1.55  
    1.56  if ppc<>(Method ["DiffApp","max_by_calculus"],
    1.57  	 {Find=[Incompl "maximum",Incompl "valuesFor"],
    1.58 @@ -280,13 +282,13 @@
    1.59  (*val nxt = Add_Relation "relations" --- 
    1.60    --- [b=Arbfix] KANN NICHT VERLANGT WERDEN !!!!*)
    1.61  
    1.62 -(*========== inhibit exn 010830 =======================================================
    1.63 +(*========== inhibit exn 010830 =======================================================*)
    1.64  (*30.8.01 ... funktioniert nicht mehr nach Einfuehrung env ....
    1.65  if nxt<>(Add_Relation "relations []")
    1.66  then error "test specify, fmz <> []: nxt <> Add_Relation.." 
    1.67  else (); (*different with show_types !!!*)
    1.68  *)
    1.69 -========== inhibit exn 010830 =======================================================*)
    1.70 +(*========== inhibit exn 010830 =======================================================*)
    1.71  
    1.72  val nxt = Add_Relation "relations [(A=a+b)]";
    1.73  val nxt = tac2tac_ pt p nxt; 
    1.74 @@ -725,4 +727,3 @@
    1.75  
    1.76  (*-.-.-.-.-.-isolate response.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.
    1.77  -.-.-.-.-.-.-isolate response.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.*)
    1.78 -