patched SimplifyPaulis error msg

which previously correctly displayed the error message, but returned Null instead of $Failed
QTechTheory · Apr 4, 2024 · 27e70b6 · 27e70b6
1 parent 7d2afa1
commit 27e70b6
Show file tree

Hide file tree

Showing 3 changed files with 229 additions and 188 deletions.
diff --git a/Link/QuESTlink.m b/Link/QuESTlink.m
@@ -2213,16 +2213,16 @@ The probability of the forced measurement outcome (as if it were hypothetically
                     uneval,
                 (* otherwise this is an unrecognised Pauli sub-expression *)
                 True,
+                    (* raise Message (without $Failed because Message causes immediate abort) *)
                     Message[SimplifyPaulis::error, 
                         "Input contained the following sub-expression of Pauli operators which could not be simplified: " <> 
-                        ToString @ StandardForm @ uneval];
-                    $Failed]]
+                        ToString @ StandardForm @ uneval]]]
 
         SimplifyPaulis[expr_] :=
             Enclose[
                 (* immediately abort upon unrecognised sub-expression *)
                 ConfirmQuiet @ innerSimplifyPaulis @ expr,
-                ReleaseHold @ # @ "HeldMessageCall" & ]
+                (ReleaseHold @ # @ "HeldMessageCall"; $Failed) & ]
 
         SimplifyPaulis[__] := invalidArgError[SimplifyPaulis]