diff options
Diffstat (limited to 'Omni')
| -rwxr-xr-x | Omni/Ide/typecheck.sh | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/Omni/Ide/typecheck.sh b/Omni/Ide/typecheck.sh index 9de8b54..5f92c90 100755 --- a/Omni/Ide/typecheck.sh +++ b/Omni/Ide/typecheck.sh @@ -4,8 +4,8 @@ ### ### > typecheck.sh <target..> ### -### Uses repl.sh to provision the environment for target, then runs the -### appropriate typechecker for the given module. +### Runs the typechecker for the given target by building it with bild. +### This leverages bild's built-in typechecking without running tests. ### help() { sed -rn 's/^### ?//;T;p' "$0" @@ -15,4 +15,7 @@ if [[ $# == 0 ]] || [[ "$1" == "-h" ]]; then exit 1 fi target="$1" -repl.sh --cmd "python -m mypy $target" "$target" + +# Use bild to typecheck (bild runs mypy for Python, ghc for Haskell, etc.) +# This is simpler than trying to set up the environment ourselves +bild "$target" |