From 016b5d7822cf6e03e9a0c6f2002993b893506355 Mon Sep 17 00:00:00 2001
From: Andrew Dailey <adailey@silverwork-solutions.com>
Date: Tue, 15 Jul 2025 15:21:54 -0500
Subject: [PATCH] ensure that type spans to is greater than or equal to from
 when generating diagnostics.

---
 .../components/code-editor/extensions/linter.ts  | 16 ++++++++++------
 1 file changed, 10 insertions(+), 6 deletions(-)

diff --git a/packages/jdm-editor/src/components/code-editor/extensions/linter.ts b/packages/jdm-editor/src/components/code-editor/extensions/linter.ts
index 975e2d47..98f62eea 100644
--- a/packages/jdm-editor/src/components/code-editor/extensions/linter.ts
+++ b/packages/jdm-editor/src/components/code-editor/extensions/linter.ts
@@ -158,18 +158,22 @@ export const validateZenExpression = ({
   const expressionDiagnostics = source ? lintExpression(expressionType, source) : [];
   const typeDiagnostics: Diagnostic[] = types
     .filter((t) => !!t.error)
-    .map((t) =>
-      createDiagnostic({
-        from: t.span[0],
-        to: t.span[1],
+    .map((t) => {
+      // Ensure span values are valid to prevent CodeMirror infinite loops
+      const from = Math.min(t.span[0], t.span[1]);
+      const to = Math.max(t.span[0], t.span[1]);
+      
+      return createDiagnostic({
+        from,
+        to,
         severity: match(t.error as string)
           .with(P.string.startsWith('Hint:'), () => 'hint' as const)
           .with(P.string.startsWith('Info:'), () => 'info' as const)
           .otherwise(() => 'warning' as const),
         message: t.error as string,
         source: 'Type check',
-      }),
-    );
+      });
+    });
 
   const diagnostics = [...expressionDiagnostics, ...typeDiagnostics];