Add error extraction utility and tests for line/col in parse errors (… #28
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Jac Type Check | |
| on: | |
| push: | |
| branches: [main] | |
| pull_request: | |
| branches: [main] | |
| jobs: | |
| jac-check: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v4 | |
| with: | |
| submodules: true | |
| - name: Set up Python | |
| uses: actions/setup-python@v5 | |
| with: | |
| python-version: '3.12' | |
| - name: Install dependencies | |
| run: | | |
| pip install -e ./jac | |
| pip install -e ./jac-scale | |
| pip install -e ./jac-client | |
| pip install -e ./jac-byllm | |
| pip install -e ./jac-super | |
| - name: Run jac format (check formatting) | |
| run: | | |
| find . -type f -name "*.jac" ! -path "*/fixtures/*" ! -path "./scripts/*" ! -name "*_err.jac" ! -name "*_syntax_err.jac" -print0 | xargs -0 --no-run-if-empty jac format --check --lintfix | |
| - name: Verify jir_registry.jac is up to date | |
| run: | | |
| jac gen-jir-registry --verify | |
| - name: Run jac check (using .jacignore) | |
| run: | | |
| jac check . --ignore checker_*.jac *_err.jac $(grep -v '^#' .jacignore | grep -v '^[[:space:]]*$' | tr '\n' ' ') --nowarn |