1.1 --- a/test/Tools/isac/Frontend/use-cases.sml Sat Mar 08 11:07:52 2014 +0100
1.2 +++ b/test/Tools/isac/Frontend/use-cases.sml Mon Mar 10 21:07:35 2014 +0100
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";
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";
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";
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";
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)"; (*<<<<<<<=========================*)
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 @@ -1434,7 +1434,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)";
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>*)