Add analyzer. (#7)

* Update run.sh

Analyzer uses `uiua run` to make style comments, advice, and warnings

* Update run.sh

* Update analyzer to only analyze .ua files, add tests

* Add newlines to the ends of expected_tags files

* Add debug

* Can't use bash in sh, can I?

* Clean up expected

* Update analyzer, this should pass the ci

* newlines causing trouble as always

* Remove debug

* wow the ci is strict

* Remove jq debug as well

* format

* Could this finally fix it?

* Revert "Could this finally fix it?"

This reverts commit 8dc5f1d.

* each isn't yet deprecated in uiua 14

* Pleasing the CI yet another time

* Yep. CI.

* Make the analyzer add type

* Remove todo

Co-authored-by: Erik Schierboom <erik_schierboom@hotmail.com>

* Remove rest of TODO as well

* Update Dockerfile

* Update Dockerfile

* Fix tests

---------

Co-authored-by: Erik Schierboom <erik_schierboom@hotmail.com>

Author: quintuple-mallard

Dockerfile

@@ -1,8 +1,8 @@
-FROM rust:1.82.0-alpine3.20 AS builder
+FROM rust:1.87.0-alpine3.20 AS builder
 
 RUN apk add --no-cache linux-headers make musl-dev
 
-RUN cargo install uiua@0.14.1
+RUN cargo install --git https://github.com/uiua-lang/uiua --rev aa6310c uiua
 
 FROM alpine:3.20
 

bin/run.sh

@@ -1,4 +1,4 @@
-#!/usr/bin/env sh
+#!/usr/bin/env sh 
 
 # Synopsis:
 # Run the analyzer on a solution.
@@ -21,6 +21,33 @@ if [ -z "$1" ] || [ -z "$2" ] || [ -z "$3" ]; then
     exit 1
 fi
 
+analyze_files() {
+    TEMP1=$(mktemp)
+    for file in "$1"/*.ua; do
+        [ -e "$file" ] || continue
+        uiua run "$file" >> "$TEMP1"
+    done
+
+    RESULT=$(cat "$TEMP1")
+
+    jq -n --arg in "$RESULT" '
+      {
+        comments: (
+          $in
+          | split("─")
+          | map(gsub("^\\s+|\\s+$"; ""))
+          | map(gsub("(?s)\\n\\s+at.+?\\|"; "\n"))
+          | map(select(test("^(Warning|Advice|Style):")))
+          | map({
+              comment: "uiua.general.generic_message",
+              params: { comment: . },
+              type: (if . | test("^Warning:") then "actionable" else "informative" end)
+            })
+        )
+      }
+    '
+}
+
 slug="$1"
 solution_dir=$(realpath "${2%/}")
 output_dir=$(realpath "${3%/}")
@@ -33,10 +60,7 @@ mkdir -p "${output_dir}"
 echo "${slug}: analyzing..."
 
 # Analyze the solution
-# TODO: replace the below command with your own command(s) 
-# to analyze the solution and output the analysis.json and
-# tags.json files
-echo '{"comments": []}' > "${analysis_file}"
+analyze_files $2 > "${analysis_file}"
 echo '{"tags": []}' > "${tags_file}"
 
 echo "${slug}: done"

tests/deprecated/deprecated.ua

@@ -0,0 +1 @@
+Logo ← ☇ 0

tests/deprecated/expected_analysis.json

@@ -0,0 +1,11 @@
+{
+  "comments": [
+    {
+      "comment": "uiua.general.generic_message",
+      "params": {
+        "comment": "Warning: ☇ rerank is deprecated and will be removed in a future version, use subscripted ♭ deshape or °⊸(⧻△) instead\n Logo ← ☇ 0"
+      },
+      "type": "actionable"
+    }
+  ]
+}

tests/deprecated/expected_tags.json

@@ -0,0 +1 @@
+{"tags": []}

tests/long-line/expected_analysis.json

@@ -0,0 +1,11 @@
+{
+  "comments": [
+    {
+      "comment": "uiua.general.generic_message",
+      "params": {
+        "comment": "Advice: Split this into multiple lines (heuristic: 65/60) 😠\n Logo ← ⍜°⍉(⊂⊃(+0.1↧¤ ⊃((<⊙(⌵/ℂ))0.95|⊂⊙0.5⇌˙×)) (×⊃(=∩⌟<0.2 0.7 /+×⟜ⁿ1_2)((<⊙(⌵/ℂ))1))) ˙⊞⊟-⊸¬÷⟜⇡200"
+      },
+      "type": "informative"
+    }
+  ]
+}

tests/long-line/expected_tags.json

@@ -0,0 +1 @@
+{"tags": []}

tests/long-line/long-line.ua

@@ -0,0 +1 @@
+Logo ← ⍜°⍉(⊂⊃(+0.1↧¤ ⊃((<⊙(⌵/ℂ))0.95|⊂⊙0.5⇌˙×)) (×⊃(=∩⌟<0.2 0.7 /+×⟜ⁿ1_2)((<⊙(⌵/ℂ))1))) ˙⊞⊟-⊸¬÷⟜⇡200

tests/no-comments/expected_analysis.json

@@ -1 +1,3 @@
-{"comments": []}
+{
+  "comments": []
+}

tests/style-issue/expected_analysis.json

@@ -0,0 +1,11 @@
+{
+  "comments": [
+    {
+      "comment": "uiua.general.generic_message",
+      "params": {
+        "comment": "Style: Prefer `⟜` over `⊃∘` for clarity\n Image ← ⊞+.÷⊃∘⇡100"
+      },
+      "type": "informative"
+    }
+  ]
+}