1.1 --- a/test/Tools/isac/Interpret/calchead.sml	Sun Jun 30 17:27:34 2013 +0200
     1.2 +++ b/test/Tools/isac/Interpret/calchead.sml	Thu Jul 11 16:58:31 2013 +0200
     1.3 @@ -386,32 +386,32 @@
     1.4  val ags = isalist2list ags'; 
     1.5  val pI = ["linear","system"];
     1.6  val pats = (#ppc o get_pbt) pI;
     1.7 -(*---inhibit exn provided by this testcase--------------------------
     1.8 +(*============ inhibit exn AK110726 ==============================================
     1.9  val xxx - match_ags (theory "EqSystem") pats ags;
    1.10 --------------------------------------------------------------------*)
    1.11 +============ inhibit exn AK110726 ==============================================*)
    1.12  "-c1-----------------------------------------------------";
    1.13  "--------------------------step through code match_ags---";
    1.14  val (thy, pbt:pat list, ags) = (@{theory "EqSystem"}, pats, ags);
    1.15  fun flattup (i,(var,bool,str,itm_)) = (i,var,bool,str,itm_);
    1.16  	val pbt' = filter_out is_copy_named pbt; (*=equalities, solveForVars*)
    1.17  	val cy = filter is_copy_named pbt;       (*=solution*)
    1.18 -(*---inhibit exn provided by this testcase--------------------------
    1.19 +(*============ inhibit exn AK110726 ==============================================
    1.20  	val oris' - matc thy pbt' ags [];
    1.21 --------------------------------------------------------------------*)
    1.22 +============ inhibit exn AK110726 ==============================================*)
    1.23  "-------------------------------step through code matc---";
    1.24  val (thy, (p as (s,(d,t)))::pbt, a::ags, oris) = (thy, pbt', ags, []);
    1.25  (is_copy_named_idstr o free2str) t;
    1.26  "---if False:...";
    1.27 -(*---inhibit exn provided by this testcase--------------------------
    1.28 +(*============ inhibit exn AK110726 ==============================================
    1.29  val opt - mtc thy p a;
    1.30 --------------------------------------------------------------------*)
    1.31 +============ inhibit exn AK110726 ==============================================*)
    1.32  "--------------------------------step through code mtc---";
    1.33  val (thy, (str, (dsc, _)):pat, ty $ var) = (thy, p, a);
    1.34  cterm_of;
    1.35  val ttt = (dsc $ var);
    1.36 -(*---inhibit exn provided by this testcase--------------------------
    1.37 +(*============ inhibit exn AK110726 ==============================================
    1.38  cterm_of thy (dsc $ var);
    1.39 --------------------------------------------------------------------*)
    1.40 +============ inhibit exn AK110726 ==============================================*)
    1.41  
    1.42  "-------------------------------------step through end---";
    1.43  "--------- match_ags, is_cp, cpy_nam +with EqSystem (!)--";
    1.44 @@ -477,7 +477,7 @@
    1.45  val ags = isalist2list ags'; 
    1.46  val pI = ["linear","system"];
    1.47  val pats = (#ppc o get_pbt) pI;
    1.48 -(*---inhibit exn provided by this testcase--------------------------
    1.49 +(*============ inhibit exn AK110726 ==============================================
    1.50  val xxx - match_ags (theory "EqSystem") pats ags;
    1.51  -------------------------------------------------------------------*)
    1.52  "-c1-----------------------------------------------------";
    1.53 @@ -486,21 +486,21 @@
    1.54  fun flattup (i,(var,bool,str,itm_)) = (i,var,bool,str,itm_);
    1.55  	val pbt' = filter_out is_copy_named pbt; (*=equalities, solveForVars*)
    1.56  	val cy = filter is_copy_named pbt;       (*=solution*)
    1.57 -(*---inhibit exn provided by this testcase--------------------------
    1.58 +(*============ inhibit exn AK110726 ==============================================
    1.59  	val oris' - matc thy pbt' ags [];
    1.60  -------------------------------------------------------------------*)
    1.61  "-------------------------------step through code matc---";
    1.62  val (thy, (p as (s,(d,t)))::pbt, a::ags, oris) = (thy, pbt', ags, []);
    1.63  (is_copy_named_idstr o free2str) t;
    1.64  "---if False:...";
    1.65 -(*---inhibit exn provided by this testcase--------------------------
    1.66 +(*============ inhibit exn AK110726 ==============================================
    1.67  val opt - mtc thy p a;
    1.68  -------------------------------------------------------------------*)
    1.69  "--------------------------------step through code mtc---";
    1.70  val (thy, (str, (dsc, _)):pat, ty $ var) = (thy, p, a);
    1.71  cterm_of;
    1.72  val ttt = (dsc $ var);
    1.73 -(*---inhibit exn provided by this testcase--------------------------
    1.74 +(*============ inhibit exn AK110726 ==============================================
    1.75  cterm_of thy (dsc $ var);
    1.76  -------------------------------------------------------------------*)
    1.77  "-------------------------------------step through end---";