From a3f1e6872f4f768d14899a1e70bbdc14f32e478d Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Sun, 20 Aug 2023 19:41:32 +0200 Subject: feat: improve semantics error reporting Also makes model seeds cancellable to reduce server load during semantic analysis. --- subprojects/frontend/src/xtext/xtextServiceResults.ts | 7 +++++++ 1 file changed, 7 insertions(+) (limited to 'subprojects/frontend/src/xtext/xtextServiceResults.ts') 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; + +export const SemanticsResult = z.object({ + error: z.string().optional(), + issues: Issue.array().optional(), +}); + +export type SemanticsResult = z.infer; -- cgit v1.2.3-54-g00ecf