1.1 --- a/test/Tools/isac/Interpret/appl.sml	Tue Jul 26 14:35:06 2011 +0200
     1.2 +++ b/test/Tools/isac/Interpret/appl.sml	Tue Jul 26 15:52:07 2011 +0200
     1.3 @@ -21,7 +21,6 @@
     1.4    ("Test",["sqroot-test","univariate","equation","test"],
     1.5     ["Test","squ-equ-test-subpbl1"]);
     1.6  val (p,_,f,nxt,_,pt) = CalcTreeTEST [(fmz, (dI',pI',mI'))];
     1.7 -(*========== inhibit exn 110415 -> 110506 ======================================
     1.8  val (p,_,f,nxt,_,pt) = me nxt p [1] pt;
     1.9  val (p,_,f,nxt,_,pt) = me nxt p [1] pt;
    1.10  val (p,_,f,nxt,_,pt) = me nxt p [1] pt;
    1.11 @@ -43,22 +42,23 @@
    1.12  
    1.13  val (p,_,f,nxt,_,pt) = me nxt p [1] pt;
    1.14  show_pt pt;
    1.15 -============ inhibit exn 110415 ==============================================*)
    1.16  
    1.17  
    1.18  
    1.19  
    1.20  
    1.21  
    1.22 -(*-.-.-.-.-.-isolate response.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.
    1.23 +(*-.-.-.-.-.-isolate response.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.*)
    1.24  "~~~~~ fun step, args:"; val (ip as (_,p_), (ptp as (pt,p), tacis)) = (p, ((pt, e_pos'), []))
    1.25  val pIopt = get_pblID (pt,ip);
    1.26  tacis; (*= []*)
    1.27  pIopt; (*= SOME ["sqroot-test", "univariate", ...]*)
    1.28  member op = [Pbl,Met] p_ andalso is_none (get_obj g_env pt (fst p)); (*= true*)
    1.29  "~~~~~ fun nxt_specify_, args:"; val (ptp as (pt, pos as (p,p_))) = (pt,ip);
    1.30 -val pblobj as (PblObj{meth,origin=origin as (oris,(dI',pI',mI'),_),
    1.31 -			  probl,spec=(dI,pI,mI),...}) = get_obj I pt p;
    1.32 +(*============ inhibit exn AK110726 ==============================================
    1.33 +(* ERROR: Exception Bind raised and subsequent errors (not declared...)*)
    1.34 +val pblobj as (PblObj{meth, origin = origin as (oris,(dI', pI', mI'), _),
    1.35 +			  probl, spec = (dI, pI, mI), ...}) = get_obj I pt p;
    1.36  just_created_ pblobj (*by Subproblem*) andalso origin <> e_origin; (*false*)
    1.37  val cpI = if pI = e_pblID then pI' else pI;
    1.38  		val cmI = if mI = e_metID then mI' else mI;
    1.39 @@ -67,6 +67,10 @@
    1.40  		val pb = foldl and_ (true, map fst pre);
    1.41  val (_,tac) = nxt_spec p_ pb oris (dI',pI',mI') (probl, meth) 
    1.42  			  (ppc, (#ppc o get_met) cmI) (dI, pI, mI);
    1.43 +============ inhibit exn AK110726 ==============================================*)
    1.44 +
    1.45 +(*============ inhibit exn AK110726 ==============================================
    1.46 +(* ERROR: Exception Bind raised and subsequent errors (not declared...)*)
    1.47  "~~~~~ fun nxt_specif, args:"; val (Add_Given ct, ptp) = (tac, ptp);
    1.48  "~~~~~ fun nxt_specif_additem, args:"; val (sel, ct, ptp as (pt, (p, Pbl))) = ("#Given", ct, ptp);
    1.49  val (PblObj{meth=met,origin=(oris,(dI',pI',_),_),
    1.50 @@ -81,5 +85,5 @@
    1.51  if t = parseNEW "-1 + x = (0::real)" then ()
    1.52  else error "TODO"
    1.53  is_known ctxt sel oris t; (*= ("identifiers [equality] not in example", ...WN110504???*)
    1.54 --.-.-.-.-.-.-isolate response.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.*)
    1.55 -
    1.56 +============ inhibit exn AK110726 ==============================================*)
    1.57 +(*-.-.-.-.-.-.-isolate response.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.*)