TRACY will no longer cache nonsensical results

Author: satfra

PacletInfo.m

@@ -1,3 +1,3 @@
 (* ::Package:: *)
 
-PacletObject[<|"Name" -> "FunKit", "Version" -> "0.3.3", "WolframVersion" -> "11.0+", "Extensions" -> {{"Kernel", "Context" -> {{"FunKit`", "FunKit.m"}}}, {"Documentation", "Language" -> "English"}}|>]
+PacletObject[<|"Name" -> "FunKit", "Version" -> "0.3.4", "WolframVersion" -> "11.0+", "Extensions" -> {{"Kernel", "Context" -> {{"FunKit`", "FunKit.m"}}}, {"Documentation", "Language" -> "English"}}|>]

modules/TRACY/Tracing.m

@@ -20,6 +20,17 @@
       $standardFORMmomentumRules -- Current FORM momentum expansion rules
 **********************************************************************************)
 
+FormTracer`FormTrace::invalidResult = "FORM tracing returned an invalid result containing `1`. The result will not be cached.";
+
+validateTraceResult[result_] :=
+    Module[{poison},
+        poison = Select[{Null, $Failed, $Aborted}, !FreeQ[result, #]&];
+        If[Length[poison] > 0,
+            Message[FormTracer`FormTrace::invalidResult, poison];
+            Abort[]
+        ];
+    ];
+
 Unprotect[FEx, FTerm, FormTracer`FormTrace];
 
 FEx /: FormTracer`FormTrace[name_String, FEx[a__], preReplRules_ : {}, postReplRules_ : {}, bracket_ : {}] :=
@@ -46,6 +57,7 @@
             Return[result]
         ];
         result = FormTracer`FormTrace[FTerm[a], preReplRules, postReplRules, bracket];
+        validateTraceResult[result];
         Export[file, result];
         Return[result];
     ];
@@ -221,6 +233,7 @@
         FormTracer`DefineExtraVars[origVars];
         Quiet[DeleteFile[tmpfileName]];
         ret = (ret) /. repl[[2]] // Rationalize;
+        validateTraceResult[ret];
         Export[file, ret];
         Return[ret];
     ];