#!/usr/bin/env bash
#
# Type-check the Komodo Actions.
#
# An Action file is not a module — Komodo pastes its contents inside an
# `async function main()` and supplies `ARGS`, `komodo`, `Types`, `YAML` and
# `TOML` around it. Checking the files as-is therefore reports noise that is
# not real (top-level await "errors", and every Action colliding with every
# other at global scope) while hiding what matters.
#
# So each Action is wrapped exactly the way Komodo wraps it and the wrapper
# is what gets checked. Line numbers are shifted by the wrapper preamble;
# subtract 2 to map a reported line back to the source file.
#
# Types under komodo/vendor are fetched from a running Komodo:
# for f in types lib responses terminal; do
# curl -sL "https://<komodo>/client/$f.d.ts" -o deploy/komodo/vendor/$f.d.ts
# done
set -euo pipefail
here="$(cd "$(dirname "$0")" && pwd)"
work="$(mktemp -d)"
trap 'rm -rf "$work"' EXIT
mkdir -p "$work/komodo"
cp -R "$here/komodo/vendor" "$work/komodo/vendor"
cp "$here/komodo/komodo-globals.d.ts" "$work/komodo/"
for action in "$here"/komodo/*.ts; do
name="$(basename "$action")"
# declaration files describe the wrapper; they must not be wrapped by it
case "$name" in *.d.ts) continue ;; esac
{
echo "export {}"
echo "async function main() {"
cat "$action"
echo "}"
echo "void main"
} > "$work/komodo/$name"
done
cp "$here/tsconfig.json" "$work/tsconfig.json"
bunx tsc -p "$work/tsconfig.json"
echo "actions type-check clean"