1.1 --- a/test/Tools/isac/Interpret/ctree.sml	Wed Jul 27 08:46:09 2011 +0200
     1.2 +++ b/test/Tools/isac/Interpret/ctree.sml	Wed Jul 27 13:04:57 2011 +0200
     1.3 @@ -229,6 +229,8 @@
     1.4  (*============ inhibit exn AK110726 ==============================================
     1.5  if term2str res = "[x = 1]" (*WN050219 e_term in cut_tree!!!*) then () else
     1.6  error "ctree.sml: diff:behav. in cut_level 1ab";
     1.7 +============ inhibit exn AK110726 ==============================================*)
     1.8 +(*============ inhibit exn AK110726 ==============================================
     1.9  if map fst (get_interval ([],Frm) ([],Res) 9999 pt') =
    1.10     [([], Frm), 
    1.11      ([1], Frm), 
    1.12 @@ -290,6 +292,11 @@
    1.13  if term2str form = "x + 1 + -1 * 2 = 0" (*remained !!!*) then () else
    1.14  error "ctree.sml: diff:behav. in cut_tree 1ab";
    1.15  ============ inhibit exn AK110726 ==============================================*)
    1.16 +(* AK110727 Debuging
    1.17 +  (* get_obj g_form pt' [2]; 
    1.18 +    (* ERROR: exception PTREE "get_obj: pos = [2] does not exist" 
    1.19 +          raised (line 908 /src/Tools/isac/Interpret/ctree.sml")*)*)
    1.20 +"~~~~~ fun get_obj, args:"; val (f, (Nd (b, bs)) ,(p::ps)) = (g_form, pt', [2]);*)
    1.21  
    1.22  val (res,asm) = get_obj g_result pt' [];
    1.23  if res = e_term (*WN050219 done by cut_tree*) then () else
    1.24 @@ -373,11 +380,6 @@
    1.25  
    1.26  
    1.27  
    1.28 -
    1.29 -
    1.30 -
    1.31 -
    1.32 -
    1.33  "=====new ptree 2 miniscript with mini-subpbl ====================";
    1.34  "=====new ptree 2 miniscript with mini-subpbl ====================";
    1.35  "=====new ptree 2 miniscript with mini-subpbl ====================";
    1.36 @@ -841,6 +843,7 @@
    1.37      [[1,4],[2],[3],[4],[4,1],[4,1,1],[4,2],[4,3],[4,3,1]] => () 
    1.38    | _ => error "diff.behav.in ctree.sml: get_interval lev 1c";
    1.39  
    1.40 +
    1.41  (*========== inhibit exn AK110719 ==============================================
    1.42  case get_trace pt [4,2] [5] of
    1.43     (*[([4,2],_),([4,3],_),([4,4],_),([4,4,1],_),([4,4,2],_),([4,4,3],_),