1.1 --- a/test/Tools/isac/Frontend/use-cases.sml	Mon May 18 13:22:43 2015 +0200
     1.2 +++ b/test/Tools/isac/Frontend/use-cases.sml	Mon May 18 14:08:09 2015 +0200
     1.3 @@ -1128,7 +1128,7 @@
     1.4   autoCalculate' 1 CompleteCalcHead;
     1.5   autoCalculate' 1 (Step 1);
     1.6   autoCalculate' 1 (Step 1);
     1.7 - appendFormula 1 "-1 + x = 0" |> Future.join;  
     1.8 + appendFormula 1 "-1 + x = 0" (*|> Future.join*);
     1.9   (*... returns calcChangedEvent with*)
    1.10   val (unc, del, gen) = (([1],Res), ([1],Res), ([2],Res));
    1.11   getFormulaeFromTo 1 unc gen 99999 (*all levels*) false;
    1.12 @@ -1151,7 +1151,7 @@
    1.13   autoCalculate' 1 CompleteCalcHead;
    1.14   autoCalculate' 1 (Step 1);
    1.15   autoCalculate' 1 (Step 1);
    1.16 - appendFormula 1 "x - 1 = 0" |> Future.join; 
    1.17 + appendFormula 1 "x - 1 = 0" (*|> Future.join*);
    1.18   val (unc, del, gen) = (([1],Res), ([1],Res), ([2],Res));
    1.19   getFormulaeFromTo 1 unc gen 99999 (*all levels*) false;
    1.20   (*11 elements !!!*)
    1.21 @@ -1174,7 +1174,7 @@
    1.22   autoCalculate' 1 CompleteCalcHead;
    1.23   autoCalculate' 1 (Step 1);
    1.24   autoCalculate' 1 (Step 1);
    1.25 - appendFormula 1 "x = 1" |> Future.join; 
    1.26 + appendFormula 1 "x = 1" (*|> Future.join*);
    1.27   (*... returns calcChangedEvent with*)
    1.28   val (unc, del, gen) = (([1],Res), ([1],Res), ([3,2],Res));
    1.29   getFormulaeFromTo 1 unc gen 99999 (*all levels*) false;
    1.30 @@ -1198,7 +1198,7 @@
    1.31   autoCalculate' 1 CompleteCalcHead;
    1.32   autoCalculate' 1 (Step 1);
    1.33   autoCalculate' 1 (Step 1);
    1.34 - appendFormula 1 "x - 4711 = 0" |> Future.join; 
    1.35 + appendFormula 1 "x - 4711 = 0" (*|> Future.join*);
    1.36   (*... returns <ERROR> no derivation found </ERROR>*)
    1.37  
    1.38   val ((pt,_),_) = get_calc 1;
    1.39 @@ -1354,7 +1354,7 @@
    1.40  autoCalculate' 1 CompleteCalcHead;
    1.41  autoCalculate' 1 (Step 1);
    1.42  autoCalculate' 1 (Step 1);(*([1], Res), d_d x (x ^^^ 2) + d_d x (sin (x ^^^ 4))*)
    1.43 -appendFormula 1 "d_d x (x ^ 2) + cos (4 * x ^ 3)" |> Future.join; (*<<<<<<<=========================*)
    1.44 +appendFormula 1 "d_d x (x ^ 2) + cos (4 * x ^ 3)" (*|> Future.join*); (*<<<<<<<=========================*)
    1.45  (* the check for errpat is maximally liberal (whole term modulo "nrls" from "type met"),
    1.46    would recognize "cos (4 * x ^ (4 - 1)) + 2 * x" as well.
    1.47    results in <CALCMESSAGE> error pattern #chain-rule-diff-both# </CALCMESSAGE>
    1.48 @@ -1435,7 +1435,7 @@
    1.49  replaceFormula 1 "Simplify (5 * x / (4 * y) + 3 * x / (4 * y))";
    1.50  autoCalculate' 1 CompleteCalcHead;
    1.51  autoCalculate' 1 (Step 1);
    1.52 -appendFormula 1 "8 * x / (8 * y)" |> Future.join;
    1.53 +appendFormula 1 "8 * x / (8 * y)" (*|> Future.join*);
    1.54  (*<CALCMESSAGE> no derivation found </CALCMESSAGE> 
    1.55  --- but in BridgeLog Java <=> SML:
    1.56  <CALCMESSAGE> error pattern #addition-of-fractions# </CALCMESSAGE>*)