1.1 --- a/test/Tools/isac/Interpret/calchead.sml	Tue Oct 18 12:05:03 2016 +0200
     1.2 +++ b/test/Tools/isac/Interpret/calchead.sml	Thu Oct 20 10:26:29 2016 +0200
     1.3 @@ -230,8 +230,8 @@
     1.4  val nxt = tac2tac_ pt p nxt; 
     1.5  val(p,_,Form'(PpcKF(_,_,_,_,ppc)),nxt,_,pt) = specify nxt p [] pt;
     1.6  (*val nxt = Apply_Method ("DiffApp","max_by_calculus") *)
     1.7 -if nxt<>(Apply_Method ["DiffApp","max_by_calculus"])
     1.8 -then error "test specify, fmz <> []: nxt <> Apply_Method max_by_calculus" else ();
     1.9 +case nxt of (Apply_Method ["DiffApp","max_by_calculus"]) => ()
    1.10 +| _ => error "test specify, fmz <> []: nxt <> Apply_Method max_by_calculus";
    1.11  
    1.12  
    1.13  "--------- maximum example with 'specify', fmz = [] --------------";
    1.14 @@ -733,8 +733,8 @@
    1.15         ostate = Incomplete, result = (Const ("empty", "'a"), [])},
    1.16         []) : ptree*)
    1.17  "----- WN101007 worked until here (checked same as isac2002) ---";
    1.18 -if nxt = ("Model_Problem", Model_Problem) then ()
    1.19 -else error "clchead.sml: check specify phase step 1";
    1.20 +case nxt of ("Model_Problem", Model_Problem) => ()
    1.21 +| _ => error "clchead.sml: check specify phase step 1";
    1.22  "--- step 2 --";
    1.23  val (p,_,f,nxt,_,pt) = me nxt p c pt; (*Florian: see response buffer, top*)
    1.24  (*val it = "--- step 2 --" : string
    1.25 @@ -806,13 +806,13 @@
    1.26         ostate = Incomplete, result = (Const ("empty", "'a"), [])},
    1.27         []) : ptree*)
    1.28  "----- WN101007 ptree checked same as isac2002, diff. in nxt --- REPAIRED";
    1.29 -if nxt = ("Add_Given", Add_Given "functionTerm (x + 1)") then ()
    1.30 -else error "clchead.sml: check specify phase step 2";
    1.31 +case nxt of ("Add_Given", Add_Given "functionTerm (x + 1)") => ()
    1.32 +| _ => error "clchead.sml: check specify phase step 2";
    1.33  "--- step 3 --";
    1.34  val (p,_,f,nxt,_,pt) = me nxt p c pt;
    1.35  "----- WN101008 ptree checked same as isac2002, diff. in nxt --- REPAIRED";
    1.36 -if nxt = ("Add_Given", Add_Given "integrateBy x") then ()
    1.37 -else error "clchead.sml: check specify phase step 2";
    1.38 +case nxt of ("Add_Given", Add_Given "integrateBy x") => ()
    1.39 +| _ => error "clchead.sml: check specify phase step 2";
    1.40  
    1.41  "--------- check: fmz matches pbt -----------------------";
    1.42  "--------- check: fmz matches pbt -----------------------";