typedb / typedb-studio

TypeDB Studio (IDE)
https://typedb.com
Mozilla Public License 2.0
191 stars 44 forks source link

Indicate that results may be incomplete after a transaction errors #592

Open alexjpwalker opened 2 years ago

alexjpwalker commented 2 years ago

Problem to Solve

When running three Match queries in the same file, and Query 1 succeeds but Query 2 terminates with an error, the Graph output for Query 1 is left in an incomplete state (missing edges and roleplayers), with no notice saying that it might be incomplete.

This is because the transaction is closed prematurely by Query 2, meaning that the edge loader cannot run.

Proposed Solution

What I think we need here is a message displayed somewhere visible from all output tabs, saying "The transaction was closed early due to an error. Results and graphs may be incomplete."