From 40aa809c494019a3e9d69250133baa2d7c8c3394 Mon Sep 17 00:00:00 2001
From: Ben Sima <ben@bsima.me>
Date: Tue, 26 Aug 2025 17:55:05 -0400
Subject: Add typecheck.sh with Python support

This runs a repl and calls mypy to typecheck the given target. Not only is
this *much* faster than using bild to typecheck stuff, but it also produces less
noise in the logs, so I can have aider call this and the output won't overwhelm
the llm.
---
 Omni/Ide/repl.sh | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'Omni/Ide/repl.sh')

diff --git a/Omni/Ide/repl.sh b/Omni/Ide/repl.sh
index 3b6a536..d4ff200 100755
--- a/Omni/Ide/repl.sh
+++ b/Omni/Ide/repl.sh
@@ -10,6 +10,7 @@
 ###
 ### Options:
 ###   --bash   start bash instead of the target language repl
+###   --cmd x  run 'x' instead of bash, or the target language repl
 help() {
     sed -rn 's/^### ?//;T;p' "$0"
 }
@@ -23,6 +24,10 @@ fi
   if [[ "$1" == "--bash" ]]; then
     CMD="bash"
     shift
+  elif [[ "$1" == "--cmd" ]]; then
+    shift
+    CMD="$1"
+    shift
   fi
   targets="${*:?}"
   json=$(bild --plan "${targets[@]}")
-- 
cgit v1.2.3