feat: improve semantics error reporting

Also makes model seeds cancellable to reduce server load during semantic
analysis.

1 files changed, 7 insertions, 0 deletions

diff --git a/subprojects/frontend/src/xtext/xtextServiceResults.ts b/subprojects/frontend/src/xtext/xtextServiceResults.ts
index d3b467ad..cae95771 100644
--- a/subprojects/frontend/src/xtext/xtextServiceResults.ts
+++ b/subprojects/frontend/src/xtext/xtextServiceResults.ts
@@ -125,3 +125,10 @@ export const FormattingResult = DocumentStateResult.extend({
 });
 
 export type FormattingResult = z.infer<typeof FormattingResult>;
+
+export const SemanticsResult = z.object({
+  error: z.string().optional(),
+  issues: Issue.array().optional(),
+});
+
+export type SemanticsResult = z.infer<typeof SemanticsResult>;