1 files changed, 0 insertions, 40 deletions

diff --git a/language-web/src/main/js/xtext/xtextMessages.ts b/language-web/src/main/js/xtext/xtextMessages.ts
deleted file mode 100644
index c4305fcf..00000000
--- a/language-web/src/main/js/xtext/xtextMessages.ts
+++ /dev/null
@@ -1,40 +0,0 @@
-import { z } from 'zod';
-
-export const xtextWebRequest = z.object({
-  id: z.string().nonempty(),
-  request: z.unknown(),
-});
-
-export type XtextWebRequest = z.infer<typeof xtextWebRequest>;
-
-export const xtextWebOkResponse = z.object({
-  id: z.string().nonempty(),
-  response: z.unknown(),
-});
-
-export type XtextWebOkResponse = z.infer<typeof xtextWebOkResponse>;
-
-export const xtextWebErrorKind = z.enum(['request', 'server']);
-
-export type XtextWebErrorKind = z.infer<typeof xtextWebErrorKind>;
-
-export const xtextWebErrorResponse = z.object({
-  id: z.string().nonempty(),
-  error: xtextWebErrorKind,
-  message: z.string(),
-});
-
-export type XtextWebErrorResponse = z.infer<typeof xtextWebErrorResponse>;
-
-export const xtextWebPushService = z.enum(['highlight', 'validate']);
-
-export type XtextWebPushService = z.infer<typeof xtextWebPushService>;
-
-export const xtextWebPushMessage = z.object({
-  resource: z.string().nonempty(),
-  stateId: z.string().nonempty(),
-  service: xtextWebPushService,
-  push: z.unknown(),
-});
-
-export type XtextWebPushMessage = z.infer<typeof xtextWebPushMessage>;