Issue 1051

.pre-commit-config.yaml

@@ -19,7 +19,7 @@ repos:
         name: run prettier
         description: format files with prettier
         entry: prettier --write .
-        files: \.(md|ya?ml)$
+        files: \.(md|ya?ml|json)$
         language: node
         additional_dependencies: ['prettier@3.3.3']
   - repo: https://github.com/jendrikseipp/vulture
@@ -64,7 +64,7 @@ repos:
         args: [--allow-missing-credentials]
       - id: detect-private-key
       - id: end-of-file-fixer
-        exclude: \.out$|\.html$|^ast\.json$|^tokens\.json$
+        exclude: \.out$|\.html$
       - id: fix-byte-order-marker
       - id: forbid-submodules
       - id: mixed-line-ending

ast.json

@@ -397,4 +397,4 @@
       }
     }
   ]
-}
+}

b.sh

@@ -58,30 +58,4 @@ if ! ./"$SALAM_OUTPUT" input.salam; then
 	echo "Program execution failed!"
 	exit 1
 fi
-echo "Program executed successfully."
-
-# ────── Function to beautify JSON ──────
-beautify_json_if_valid() {
-	local file="$1"
-	if [ -f "$file" ]; then
-		if command -v jq >/dev/null 2>&1; then
-			echo "Checking if $file is valid JSON..."
-			if jq empty "$file" >/dev/null 2>&1; then
-				echo "Beautifying $file using jq..."
-				jq . "$file" >"${file}.pretty" && mv "${file}.pretty" "$file"
-				echo "Beautification of $file complete."
-			else
-				echo "$file contains invalid JSON. Skipping beautification."
-			fi
-		else
-			echo "Warning: 'jq' is not installed. Skipping beautification of $file."
-			echo "To install: sudo apt install jq"
-		fi
-	else
-		echo "$file not found. Skipping beautification."
-	fi
-}
-
-# ────── Beautify JSON outputs ──────
-beautify_json_if_valid "tokens.json"
-beautify_json_if_valid "ast.json"
+echo "Program executed successfully."

tokens.json

@@ -478,4 +478,4 @@
       "value": null
     }
   ]
-}
+}