Release 0.0.42

Author: rcosta358

client/package.json

@@ -2,7 +2,7 @@
 	"name": "liquid-java",
 	"displayName": "LiquidJava",
 	"description": "Extending Java with Liquid Types",
-	"version": "0.0.41",
+	"version": "0.0.42",
 	"publisher": "AlcidesFonseca",
 	"repository": {
 		"type": "git",

client/server/language-server-liquidjava.jar

@@ -65,7 +65,7 @@ export type RefinementError = BaseDiagnostic & {
     category: 'error';
     type: 'refinement-error';
     translationTable: TranslationTable;
-    expected: ValDerivationNode;
+    expected: string; // ValDerivationNode
     found: ValDerivationNode;
 }
 

client/src/types/diagnostics.ts

@@ -47,7 +47,7 @@ export function renderError(error: LJError): string {
             const e = error as RefinementError;
             return /*html*/`
                 ${header}
-                ${renderSection('Expected', renderDerivationNode(e, e.expected))}
+                <pre>${e.expected/*renderSection('Expected', renderDerivationNode(e, e.expected))*/} </pre>
                 ${renderSection('Found', renderDerivationNode(e, e.found))}
                 ${location}
             `;

client/src/webview/renderers/diagnostics/errors.ts

@@ -173,7 +173,7 @@
 		<dependency>
 			<groupId>io.github.liquid-java</groupId>
 			<artifactId>liquidjava-verifier</artifactId>
-			<version>0.0.8</version>
+			<version>0.0.9</version>
 		</dependency>
 		<dependency>
 			<groupId>tools.aqua</groupId>

server/pom.xml

@@ -9,7 +9,7 @@
  * DTO for serializing RefinementError instances to JSON
  */
 public record RefinementErrorDTO(String category, String type, String title, String message, String file, ErrorPosition position,
-        TranslationTableDTO translationTable, ValDerivationNode expected, ValDerivationNode found) {
+        TranslationTableDTO translationTable, String expected, ValDerivationNode found) {
 
     public static RefinementErrorDTO from(RefinementError error) {
         return new RefinementErrorDTO("error", "refinement-error", error.getTitle(), error.getMessage(), error.getFile(),