diff options
| -rwxr-xr-x | Omni/Ide/repl.sh | 5 | ||||
| -rwxr-xr-x | Omni/Ide/typecheck.sh | 18 |
2 files changed, 23 insertions, 0 deletions
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[@]}") diff --git a/Omni/Ide/typecheck.sh b/Omni/Ide/typecheck.sh new file mode 100755 index 0000000..9de8b54 --- /dev/null +++ b/Omni/Ide/typecheck.sh @@ -0,0 +1,18 @@ +#!/usr/bin/env bash +### +### typecheck a given target +### +### > typecheck.sh <target..> +### +### Uses repl.sh to provision the environment for target, then runs the +### appropriate typechecker for the given module. +### +help() { + sed -rn 's/^### ?//;T;p' "$0" +} +if [[ $# == 0 ]] || [[ "$1" == "-h" ]]; then + help + exit 1 +fi +target="$1" +repl.sh --cmd "python -m mypy $target" "$target" |