1.1 --- a/test/Tools/isac/Interpret/error-pattern.sml	Sat Dec 03 19:12:38 2022 +0100
     1.2 +++ b/test/Tools/isac/Interpret/error-pattern.sml	Sun Dec 04 16:48:06 2022 +0100
     1.3 @@ -63,7 +63,7 @@
     1.4  
     1.5   appendFormula 1 "- 2 * 1 + (1 + x) = 0" (*|> Future.join*); refFormula 1 (States.get_pos 1 1);
     1.6   val ((pt,_),_) = States.get_calc 1;
     1.7 - val str = pr_ctree pr_short pt;
     1.8 + val str = pr_ctree ctxt pr_short pt;
     1.9  if str =
    1.10  (".    ----- pblobj -----\n" ^
    1.11  "1.   x + 1 = 2\n" ^
    1.12 @@ -183,7 +183,7 @@
    1.13  
    1.14   appendFormula 1 "x = 2" (*|> Future.join*);
    1.15   val ((pt,p),_) = States.get_calc 1;
    1.16 - val str = pr_ctree pr_short pt;
    1.17 + val str = pr_ctree ctxt pr_short pt;
    1.18   writeln str;
    1.19   if str = ".    ----- pblobj -----\n1.   x + 1 = 2\n" andalso p = ([1], Res)
    1.20   then ()
    1.21 @@ -216,7 +216,7 @@
    1.22  
    1.23   appendFormula 1 "x = 1" (*|> Future.join*);
    1.24   val ((pt,p),_) = States.get_calc 1;
    1.25 - val str = pr_ctree pr_short pt;
    1.26 + val str = pr_ctree ctxt pr_short pt;
    1.27   writeln str;
    1.28   if str = ".    ----- pblobj -----\n1.   x + 1 = 2\n2.   x + 1 + - 1 * 2 = 0\n3.    ----- pblobj -----\n3.1.   - 1 + x = 0\n3.2.   x = 0 + - 1 * - 1\n3.2.1.   x = 0 + - 1 * - 1\n3.2.2.   x = 0 + 1\n" andalso p = ([3,2], Res)
    1.29   then () (*finds 1 step too early: ([3,2], Res) "x = 1" also by script !!!*)
    1.30 @@ -245,7 +245,7 @@
    1.31   autoCalculate 1 (Steps 1); refFormula 1 (States.get_pos 1 1);(*x + 1 + - 1 * 2 = 0*);
    1.32   appendFormula 1 "[x = 3 + -2*1]" (*|> Future.join*);
    1.33   val ((pt,p),_) = States.get_calc 1;
    1.34 - val str = pr_ctree pr_short pt;
    1.35 + val str = pr_ctree ctxt pr_short pt;
    1.36   writeln str;
    1.37   if str=".    ----- pblobj -----\n1.   x + 1 = 2\n2.   x + 1 + - 1 * 2 = 0\n3.    ----- pblobj -----\n3.1.   - 1 + x = 0\n3.2.   x = 0 + - 1 * - 1\n4.   [x = 1]\n4.1.   [x = 1]\n4.2.   [x = - 2 + 3]\n4.3.   [x = 3 + - 2]\n" then ()
    1.38   else error "inform.sml: diff.behav.appendFormula: Res + latEE 1";
    1.39 @@ -271,7 +271,7 @@
    1.40  
    1.41   replaceFormula 1 "-2 * 1 + (1 + x) = 0"; refFormula 1 (States.get_pos 1 1);
    1.42   val ((pt,_),_) = States.get_calc 1;
    1.43 - val str = pr_ctree pr_short pt;
    1.44 + val str = pr_ctree ctxt pr_short pt;
    1.45  
    1.46  (* before AK110725 this was
    1.47  ".    ----- pblobj -----\n
    1.48 @@ -316,7 +316,7 @@
    1.49  
    1.50   replaceFormula 1 "x + 1 = 4 + -2"; refFormula 1 (States.get_pos 1 1);
    1.51   val ((pt,_),_) = States.get_calc 1;
    1.52 - val str = pr_ctree pr_short pt;
    1.53 + val str = pr_ctree ctxt pr_short pt;
    1.54   writeln str;
    1.55   if str= ".    ----- pblobj -----\n1.   x + 1 = 2\n1.1.   x + 1 = 2\n1.2.   1 + x = 2\n1.3.   1 + x = - 2 + 4\n1.4.   x + 1 = - 2 + 4\n" then ()
    1.56   else error "inform.sml: diff.behav.replaceFormula: on Res 1 + = 1";
    1.57 @@ -339,7 +339,7 @@
    1.58  
    1.59   replaceFormula 1 "x + 1 = 4 + -2"; refFormula 1 (States.get_pos 1 1);
    1.60   val ((pt,_),_) = States.get_calc 1;
    1.61 - val str = pr_ctree pr_short pt;
    1.62 + val str = pr_ctree ctxt pr_short pt;
    1.63   writeln str;
    1.64   if str= ".    ----- pblobj -----\n1.   x + 1 = 2\n1.1.   x + 1 = 2\n1.2.   1 + x = 2\n1.3.   1 + x = - 2 + 4\n1.4.   x + 1 = - 2 + 4\n" then ()
    1.65   else error "inform.sml: diff.behav.replaceFormula: on Frm 1 + = 1";
    1.66 @@ -364,7 +364,7 @@
    1.67  
    1.68   replaceFormula 1 "x + 1 = 4 + -2"; refFormula 1 (States.get_pos 1 1);
    1.69   val ((pt,p),_) = States.get_calc 1;
    1.70 - val str = pr_ctree pr_short pt;
    1.71 + val str = pr_ctree ctxt pr_short pt;
    1.72   writeln str;
    1.73   if p = ([1], Res) then ()
    1.74   else error "inform.sml: diff.behav. cut calculation 2";
    1.75 @@ -460,7 +460,7 @@
    1.76  
    1.77   appendFormula 1 " x - "; (*<ERROR> syntax error in ' x - ' </ERROR>*)
    1.78   val ((pt,_),_) = States.get_calc 1;
    1.79 - val str = pr_ctree pr_short pt;
    1.80 + val str = pr_ctree ctxt pr_short pt;
    1.81   writeln str;
    1.82   if str = ".    ----- pblobj -----\n1.   x + 1 = 2\n" then ()
    1.83   else error "inform.sml: diff.behav.appendFormula: syntax error";