difftreelog
ci use hercules
in: master
110 files changed
.envrcdiffbeforeafterboth--- a/.envrc
+++ b/.envrc
@@ -3,6 +3,6 @@
use flake
-if ! diff .github/hooks/pre-commit .git/hooks/pre-commit >/dev/null; then
+if ! test -d .jj && ! diff .github/hooks/pre-commit .git/hooks/pre-commit >/dev/null; then
echo -e "${RED}Hooks are updated, read .github/hooks/pre-commit, and then install it with cp .github/hooks/pre-commit .git/hooks/pre-commit${RESET}"
fi
.github/workflows/checks.yamldiffbeforeafterboth--- a/.github/workflows/checks.yaml
+++ /dev/null
@@ -1,25 +0,0 @@
-name: Checks
-on: [ pull_request ]
-jobs:
- tests:
- name: Tests
- uses: ./.github/workflows/test.yaml
- lints:
- name: Lints
- runs-on: ubuntu-latest
- steps:
- - uses: actions/checkout@v4.1.4
- - uses: actions-rust-lang/setup-rust-toolchain@v1.8.0
- - uses: auguwu/clippy-action@1.3.0
- with:
- token: ${{ secrets.GITHUB_TOKEN }}
- permissions:
- checks: write
- formatting:
- name: Formatting
- runs-on: ubuntu-latest
- steps:
- - uses: actions/checkout@v4.1.4
- - uses: actions-rust-lang/setup-rust-toolchain@v1.8.0
- - uses: actions-rust-lang/rustfmt@v1.1.0
-
.github/workflows/release.yamldiffbeforeafterboth--- a/.github/workflows/release.yaml
+++ /dev/null
@@ -1,140 +0,0 @@
-name: Release
-on:
- push:
- tags: [ 'v*' ]
-jobs:
- tests:
- uses: ./.github/workflows/test.yaml
-
- cargo-release:
- if: !endsWith(github.ref, '-test')
- needs: [ tests ]
- runs-on: ubuntu-latest
- steps:
- - uses: actions/checkout@v4.1.4
- - name: Install stable toolchain
- uses: actions-rust-lang/setup-rust-toolchain@v1.8.0
- with:
- toolchain: stable
- - run: cargo install cargo-release
- - run: cargo login ${{ secrets.CARGO_TOKEN }}
- - run: cargo release --no-dev-version --skip-push --skip-tag --no-confirm
-
- github-release:
- needs: [ tests ]
- strategy:
- matrix:
- target:
- # Linux build notes:
- # While musl targets are not as supported as gnu, those are most relevant to users,
- # which want to download binaries from github, as glibc has compatibility issues
- # with older distros
-
- # Tier 1
- - i686-pc-windows-msvc
- - x86_64-apple-darwin
- - x86_64-pc-windows-msvc
-
- # Tier 2
- - aarch64-apple-darwin
- - aarch64-unknown-linux-musl
- - i686-unknown-linux-musl
- - x86_64-unknown-linux-musl
- include:
- # Linux
- - target: aarch64-unknown-linux-musl
- os: ubuntu-latest
- bin: jrsonnet
- name: jrsonnet-linux-aarch64
- - target: i686-unknown-linux-musl
- os: ubuntu-latest
- bin: jrsonnet
- name: jrsonnet-linux-i686
- - target: x86_64-unknown-linux-musl
- os: ubuntu-latest
- bin: jrsonnet
- name: jrsonnet-linux-amd64
-
- # Windows
- - target: i686-pc-windows-msvc
- os: windows-latest
- bin: jrsonnet.exe
- name: jrsonnet-windows-i686.exe
- - target: x86_64-pc-windows-msvc
- os: windows-latest
- bin: jrsonnet.exe
- name: jrsonnet-windows-amd64.exe
-
- # Apple
- - target: aarch64-apple-darwin
- os: macOS-latest
- bin: jrsonnet
- name: jrsonnet-darwin-aarch64
- - target: x86_64-apple-darwin
- os: macOS-latest
- bin: jrsonnet
- name: jrsonnet-darwin-amd64
- runs-on: ${{ matrix.os }}
- steps:
- - name: Fetch apt repo updates
- if: ${{ startsWith(matrix.os, 'ubuntu-') }}
- run: sudo apt update
-
- - name: Install stable toolchain
- uses: actions-rust-lang/setup-rust-toolchain@v1.8.0
- with:
- toolchain: stable
- target: ${{ matrix.target }}
-
- - uses: actions/checkout@v4.1.4
-
- - name: Add experimental flags
- if: ${{ endsWith(github.ref, '-test' )}}
- run: echo 'EXPERIMENTAL_FLAGS=--features=experimental' >> $GITHUB_ENV
-
- - name: Linux x86 cross compiler
- if: ${{ startsWith(matrix.target, 'i686-unknown-linux-') }}
- run: sudo apt install gcc-multilib
-
- - name: ARM cross compiler
- if: ${{ startsWith(matrix.target, 'aarch64-unknown-linux-') }}
- uses: actions-rs/cargo@v1
- with:
- command: install
- args: cross
-
- - name: ARM gcc
- if: ${{ startsWith(matrix.target, 'aarch64-unknown-linux-') }}
- run: sudo apt install gcc-aarch64-linux-gnu
-
- - name: Musl gcc
- if: ${{ endsWith(matrix.target, '-musl') }}
- run: sudo apt install musl musl-tools
-
- - name: Run cross build
- if: ${{ startsWith(matrix.target, 'aarch64-unknown-linux-') }}
- shell: bash
- run: cross build --bin=jrsonnet --release --target ${{ matrix.target }} ${{ env.EXPERIMENTAL_FLAGS }}
-
- - name: Run build
- if: ${{ !startsWith(matrix.target, 'aarch64-unknown-linux-') }}
- run: cargo build --bin=jrsonnet --release --target ${{ matrix.target }} ${{ env.EXPERIMENTAL_FLAGS }}
-
- - name: Package
- shell: bash
- run: |
- cd target/${{ matrix.target }}/release
-
- cp ${{ matrix.bin }} ../../../${{ matrix.name }}
- cd -
-
- - name: Generate SHA-256
- run: shasum -a 256 ${{ matrix.name }} > ${{ matrix.name }}.sha256
-
- - name: Publish
- uses: softprops/action-gh-release@v2.0.4
- with:
- draft: true
- files: "jrsonnet*"
- env:
- GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
.github/workflows/test.yamldiffbeforeafterboth--- a/.github/workflows/test.yaml
+++ /dev/null
@@ -1,21 +0,0 @@
-name: Test
-on: [ workflow_call ]
-jobs:
- test:
- name: Test
- runs-on: ubuntu-latest
- steps:
- - uses: actions/checkout@v4.1.4
- - uses: actions-rust-lang/setup-rust-toolchain@v1.8.0
- - run: cargo test --all
- test-stable:
- name: Test on stable
- runs-on: ubuntu-latest
- steps:
- - uses: actions/checkout@v4.1.4
- - name: Install the latest stable toolchain
- uses: actions-rust-lang/setup-rust-toolchain@v1.8.0
- with:
- toolchain: stable
- - run: cargo test --all
-
Cargo.lockdiffbeforeafterboth--- a/Cargo.lock
+++ b/Cargo.lock
@@ -9,7 +9,7 @@
checksum = "5a15f179cd60c4584b8a8c596927aadc462e27f2ca70c04e0071964a73ba7a75"
dependencies = [
"cfg-if",
- "getrandom",
+ "getrandom 0.3.4",
"once_cell",
"version_check",
"zerocopy",
@@ -38,11 +38,12 @@
[[package]]
name = "annotate-snippets"
-version = "0.12.11"
+version = "0.12.13"
source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "16e4850548ff4a25a77ce3bda7241874e17fb702ea551f0cc62a2dbe052f1272"
+checksum = "74fc7650eedcb2fee505aad48491529e408f0e854c2d9f63eb86c1361b9b3f93"
dependencies = [
"anstyle",
+ "memchr",
"unicode-width",
]
@@ -59,9 +60,9 @@
[[package]]
name = "anstream"
-version = "0.6.21"
+version = "1.0.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "43d5b281e737544384e969a5ccad3f1cdd24b48086a0fc1b2a5262a26b8f4f4a"
+checksum = "824a212faf96e9acacdbd09febd34438f8f711fb84e09a8916013cd7815ca28d"
dependencies = [
"anstyle",
"anstyle-parse",
@@ -74,15 +75,15 @@
[[package]]
name = "anstyle"
-version = "1.0.13"
+version = "1.0.14"
source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "5192cca8006f1fd4f7237516f40fa183bb07f8fbdfedaa0036de5ea9b0b45e78"
+checksum = "940b3a0ca603d1eade50a4846a2afffd5ef57a9feac2c0e2ec2e14f9ead76000"
[[package]]
name = "anstyle-parse"
-version = "0.2.7"
+version = "1.0.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "4e7644824f0aa2c7b9384579234ef10eb7efb6a0deb83f9630a49594dd9c15c2"
+checksum = "52ce7f38b242319f7cabaa6813055467063ecdc9d355bbb4ce0c68908cd8130e"
dependencies = [
"utf8parse",
]
@@ -109,9 +110,9 @@
[[package]]
name = "anyhow"
-version = "1.0.101"
+version = "1.0.102"
source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "5f0e0fee31ef5ed1ba1316088939cea399010ed7731dba877ed44aeb407a75ea"
+checksum = "7f202df86484c868dbad7eaa557ef785d5c66295e41b460ef922eca0723b842c"
[[package]]
name = "ar_archive_writer"
@@ -142,9 +143,9 @@
[[package]]
name = "bitflags"
-version = "2.10.0"
+version = "2.11.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "812e12b5285cc515a9c72a5c1d3b6d46a19dac5acfef5265968c166106e31dd3"
+checksum = "843867be96c8daad0d758b57df9392b6d8d271134fce549de6ce169ff98a92af"
[[package]]
name = "block-buffer"
@@ -167,18 +168,18 @@
[[package]]
name = "bumpalo"
-version = "3.19.1"
+version = "3.20.2"
source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "5dd9dc738b7a8311c7ade152424974d8115f2cdad61e8dab8dac9f2362298510"
+checksum = "5d20789868f4b01b2f2caec9f5c4e0213b41e3e5702a50157d699ae31ced2fcb"
dependencies = [
"allocator-api2",
]
[[package]]
name = "cc"
-version = "1.2.55"
+version = "1.2.58"
source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "47b26a0954ae34af09b50f0de26458fa95369a0d478d8236d3f93082b219bd29"
+checksum = "e1e928d4b69e3077709075a938a05ffbedfa53a84c8f766efbf8220bb1ff60e1"
dependencies = [
"find-msvc-tools",
"shlex",
@@ -192,9 +193,9 @@
[[package]]
name = "clap"
-version = "4.5.57"
+version = "4.6.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "6899ea499e3fb9305a65d5ebf6e3d2248c5fab291f300ad0a704fbe142eae31a"
+checksum = "b193af5b67834b676abd72466a96c1024e6a6ad978a1f484bd90b85c94041351"
dependencies = [
"clap_builder",
"clap_derive",
@@ -202,9 +203,9 @@
[[package]]
name = "clap_builder"
-version = "4.5.57"
+version = "4.6.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "7b12c8b680195a62a8364d16b8447b01b6c2c8f9aaf68bee653be34d4245e238"
+checksum = "714a53001bf66416adb0e2ef5ac857140e7dc3a0c48fb28b2f10762fc4b5069f"
dependencies = [
"anstream",
"anstyle",
@@ -214,18 +215,18 @@
[[package]]
name = "clap_complete"
-version = "4.5.65"
+version = "4.6.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "430b4dc2b5e3861848de79627b2bedc9f3342c7da5173a14eaa5d0f8dc18ae5d"
+checksum = "19c9f1dde76b736e3681f28cec9d5a61299cbaae0fce80a68e43724ad56031eb"
dependencies = [
"clap",
]
[[package]]
name = "clap_derive"
-version = "4.5.55"
+version = "4.6.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "a92793da1a46a5f2a02a6f4c46c6496b28c43638adea8306fcb0caa1634f24e5"
+checksum = "1110bd8a634a1ab8cb04345d8d878267d57c3cf1b38d91b71af6686408bbca6a"
dependencies = [
"heck 0.5.0",
"proc-macro2",
@@ -235,26 +236,25 @@
[[package]]
name = "clap_lex"
-version = "0.7.7"
+version = "1.1.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "c3e64b0cc0439b12df2fa678eae89a1c56a529fd067a9115f7827f1fffd22b32"
+checksum = "c8d4a3bb8b1e0c1050499d1815f5ab16d04f0959b233085fb31653fbfc9d98f9"
[[package]]
name = "colorchoice"
-version = "1.0.4"
+version = "1.0.5"
source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "b05b61dc5112cbb17e4b6cd61790d9845d13888356391624cbe7e41efeac1e75"
+checksum = "1d07550c9036bf2ae0c684c4297d503f838287c83c53686d05370d0e139ae570"
[[package]]
name = "console"
-version = "0.15.11"
+version = "0.16.3"
source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "054ccb5b10f9f2cbf51eb355ca1d05c2d279ce1804688d0db74b4733a5aeafd8"
+checksum = "d64e8af5551369d19cf50138de61f1c42074ab970f74e99be916646777f8fc87"
dependencies = [
"encode_unicode",
"libc",
- "once_cell",
- "windows-sys 0.59.0",
+ "windows-sys 0.61.2",
]
[[package]]
@@ -302,7 +302,7 @@
"bumpalo",
"hashbrown 0.15.5",
"indexmap",
- "rustc-hash 2.1.1",
+ "rustc-hash 2.1.2",
"serde",
"unicode-width",
]
@@ -451,12 +451,25 @@
"cfg-if",
"js-sys",
"libc",
- "r-efi",
+ "r-efi 5.3.0",
"wasip2",
"wasm-bindgen",
]
[[package]]
+name = "getrandom"
+version = "0.4.2"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "0de51e6874e94e7bf76d726fc5d13ba782deca734ff60d5bb2fb2607c7406555"
+dependencies = [
+ "cfg-if",
+ "libc",
+ "r-efi 6.0.0",
+ "wasip2",
+ "wasip3",
+]
+
+[[package]]
name = "globset"
version = "0.4.18"
source = "registry+https://github.com/rust-lang/crates.io-index"
@@ -538,6 +551,12 @@
]
[[package]]
+name = "id-arena"
+version = "2.3.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "3d3067d79b975e8844ca9eb072e16b31c3c1c36928edf9c6789548c524d0d954"
+
+[[package]]
name = "indexmap"
version = "2.13.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
@@ -560,9 +579,9 @@
[[package]]
name = "insta"
-version = "1.46.3"
+version = "1.47.2"
source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "e82db8c87c7f1ccecb34ce0c24399b8a73081427f3c7c50a5d597925356115e4"
+checksum = "7b4a6248eb93a4401ed2f37dfe8ea592d3cf05b7cf4f8efa867b6895af7e094e"
dependencies = [
"console",
"globset",
@@ -589,13 +608,13 @@
[[package]]
name = "itoa"
-version = "1.0.17"
+version = "1.0.18"
source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "92ecc6618181def0457392ccd0ee51198e065e016d1d527a7ac1b6dc7c1f09d2"
+checksum = "8f42a60cbdf9a97f5d2305f08a87dc4e09308d1276d28c869c684d7777685682"
[[package]]
name = "jrsonnet"
-version = "0.5.0-pre97"
+version = "0.5.0-pre98"
dependencies = [
"clap",
"clap_complete",
@@ -612,7 +631,7 @@
[[package]]
name = "jrsonnet-cli"
-version = "0.5.0-pre97"
+version = "0.5.0-pre98"
dependencies = [
"clap",
"jrsonnet-evaluator",
@@ -623,7 +642,7 @@
[[package]]
name = "jrsonnet-deps"
-version = "0.5.0-pre97"
+version = "0.5.0-pre98"
dependencies = [
"clap",
"jrsonnet-cli",
@@ -634,7 +653,7 @@
[[package]]
name = "jrsonnet-evaluator"
-version = "0.5.0-pre97"
+version = "0.5.0-pre98"
dependencies = [
"annotate-snippets",
"anyhow",
@@ -649,7 +668,7 @@
"jrsonnet-types",
"num-bigint",
"pathdiff",
- "rustc-hash 2.1.1",
+ "rustc-hash 2.1.2",
"rustversion",
"serde",
"stacker",
@@ -660,7 +679,7 @@
[[package]]
name = "jrsonnet-fmt"
-version = "0.5.0-pre97"
+version = "0.5.0-pre98"
dependencies = [
"clap",
"hi-doc",
@@ -672,7 +691,7 @@
[[package]]
name = "jrsonnet-formatter"
-version = "0.5.0-pre97"
+version = "0.5.0-pre98"
dependencies = [
"dprint-core",
"hi-doc",
@@ -704,16 +723,16 @@
[[package]]
name = "jrsonnet-interner"
-version = "0.5.0-pre97"
+version = "0.5.0-pre98"
dependencies = [
"hashbrown 0.16.1",
"jrsonnet-gcmodule",
- "rustc-hash 2.1.1",
+ "rustc-hash 2.1.2",
]
[[package]]
name = "jrsonnet-ir"
-version = "0.5.0-pre97"
+version = "0.5.0-pre98"
dependencies = [
"insta",
"jrsonnet-gcmodule",
@@ -724,7 +743,7 @@
[[package]]
name = "jrsonnet-ir-parser"
-version = "0.5.0-pre97"
+version = "0.5.0-pre98"
dependencies = [
"insta",
"jrsonnet-gcmodule",
@@ -734,14 +753,14 @@
[[package]]
name = "jrsonnet-lexer"
-version = "0.5.0-pre97"
+version = "0.5.0-pre98"
dependencies = [
"logos",
]
[[package]]
name = "jrsonnet-macros"
-version = "0.5.0-pre97"
+version = "0.5.0-pre98"
dependencies = [
"proc-macro2",
"quote",
@@ -751,7 +770,7 @@
[[package]]
name = "jrsonnet-peg-parser"
-version = "0.5.0-pre97"
+version = "0.5.0-pre98"
dependencies = [
"insta",
"jrsonnet-gcmodule",
@@ -761,7 +780,7 @@
[[package]]
name = "jrsonnet-rowan-parser"
-version = "0.5.0-pre97"
+version = "0.5.0-pre98"
dependencies = [
"anyhow",
"drop_bomb",
@@ -776,7 +795,7 @@
[[package]]
name = "jrsonnet-stdlib"
-version = "0.5.0-pre97"
+version = "0.5.0-pre98"
dependencies = [
"base64",
"jrsonnet-evaluator",
@@ -787,7 +806,7 @@
"md5",
"num-bigint",
"regex",
- "rustc-hash 2.1.1",
+ "rustc-hash 2.1.2",
"serde",
"serde-saphyr",
"serde_json",
@@ -798,7 +817,7 @@
[[package]]
name = "jrsonnet-types"
-version = "0.5.0-pre97"
+version = "0.5.0-pre98"
dependencies = [
"jrsonnet-gcmodule",
"peg",
@@ -806,9 +825,9 @@
[[package]]
name = "js-sys"
-version = "0.3.85"
+version = "0.3.94"
source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "8c942ebf8e95485ca0d52d97da7c5a2c387d0e7f0ba4c35e93bfcaee045955b3"
+checksum = "2e04e2ef80ce82e13552136fabeef8a5ed1f985a96805761cbb9a2c34e7664d9"
dependencies = [
"once_cell",
"wasm-bindgen",
@@ -816,22 +835,28 @@
[[package]]
name = "keccak"
-version = "0.1.5"
+version = "0.1.6"
source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "ecc2af9a1119c51f12a14607e783cb977bde58bc069ff0c3da1095e635d70654"
+checksum = "cb26cec98cce3a3d96cbb7bced3c4b16e3d13f27ec56dbd62cbc8f39cfb9d653"
dependencies = [
"cpufeatures",
]
[[package]]
+name = "leb128fmt"
+version = "0.1.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "09edd9e8b54e49e587e4f6295a7d29c3ea94d469cb40ab8ca70b288248a81db2"
+
+[[package]]
name = "libc"
-version = "0.2.180"
+version = "0.2.184"
source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "bcc35a38544a891a5f7c865aca548a982ccb3b8650a5b06d0fd33a10283c56fc"
+checksum = "48f5d2a454e16a5ea0f4ced81bd44e4cfc7bd3a507b61887c99fd3538b28e4af"
[[package]]
name = "libjsonnet"
-version = "0.5.0-pre97"
+version = "0.5.0-pre98"
dependencies = [
"jrsonnet-evaluator",
"jrsonnet-gcmodule",
@@ -842,9 +867,9 @@
[[package]]
name = "linux-raw-sys"
-version = "0.11.0"
+version = "0.12.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "df1d3c3b53da64cf5760482273a98e575c651a67eec7f77df96b5b642de8f039"
+checksum = "32a66949e030da00e8c7d4434b251670a91556f4144941d37452769c25d58a53"
[[package]]
name = "log"
@@ -970,9 +995,9 @@
[[package]]
name = "once_cell"
-version = "1.21.3"
+version = "1.21.4"
source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "42f5e15c9953c5e4ccceeb2e7382a716482c34515315f7b03532b8b4e8393d2d"
+checksum = "9f7c3e4beb33f85d45ae3e3a1792185706c8e16d043238c593331cc7cd313b50"
[[package]]
name = "once_cell_polyfill"
@@ -1047,6 +1072,16 @@
]
[[package]]
+name = "prettyplease"
+version = "0.2.37"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "479ca8adacdd7ce8f1fb39ce9ecccbfe93a3f1344b3d0d97f20bc0196208f62b"
+dependencies = [
+ "proc-macro2",
+ "syn",
+]
+
+[[package]]
name = "proc-macro2"
version = "1.0.106"
source = "registry+https://github.com/rust-lang/crates.io-index"
@@ -1080,9 +1115,9 @@
[[package]]
name = "quote"
-version = "1.0.44"
+version = "1.0.45"
source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "21b2ebcf727b7760c461f091f9f0f539b77b8e87f2fd88131e7f1b433b3cece4"
+checksum = "41f2619966050689382d2b44f664f4bc593e129785a36d6ee376ddf37259b924"
dependencies = [
"proc-macro2",
]
@@ -1094,6 +1129,12 @@
checksum = "69cdb34c158ceb288df11e18b4bd39de994f6657d83847bdffdbd7f346754b0f"
[[package]]
+name = "r-efi"
+version = "6.0.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "f8dcc9c7d52a811697d2151c701e0d08956f92b0e24136cf4cf27b57a6a0d9bf"
+
+[[package]]
name = "rand"
version = "0.9.2"
source = "registry+https://github.com/rust-lang/crates.io-index"
@@ -1119,7 +1160,7 @@
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "76afc826de14238e6e8c374ddcc1fa19e374fd8dd986b0d2af0d02377261d83c"
dependencies = [
- "getrandom",
+ "getrandom 0.3.4",
]
[[package]]
@@ -1165,9 +1206,9 @@
[[package]]
name = "regex-syntax"
-version = "0.8.9"
+version = "0.8.10"
source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "a96887878f22d7bad8a3b6dc5b7440e0ada9a245242924394987b21cf2210a4c"
+checksum = "dc897dd8d9e8bd1ed8cdad82b5966c3e0ecae09fb1907d58efaa013543185d0a"
[[package]]
name = "rowan"
@@ -1189,15 +1230,15 @@
[[package]]
name = "rustc-hash"
-version = "2.1.1"
+version = "2.1.2"
source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "357703d41365b4b27c590e3ed91eabb1b663f07c4c084095e60cbed4362dff0d"
+checksum = "94300abf3f1ae2e2b8ffb7b58043de3d399c73fa6f4b73826402a5c457614dbe"
[[package]]
name = "rustix"
-version = "1.1.3"
+version = "1.1.4"
source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "146c9e247ccc180c1f61615433868c99f3de3ae256a30a43b49f67c2d9171f34"
+checksum = "b6fe4565b9518b83ef4f91bb47ce29620ca828bd32cb7e408f0062e9930ba190"
dependencies = [
"bitflags",
"errno",
@@ -1233,6 +1274,12 @@
]
[[package]]
+name = "semver"
+version = "1.0.27"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "d767eb0aabc880b29956c35734170f26ed551a859dbd361d140cdbeca61ab1e2"
+
+[[package]]
name = "serde"
version = "1.0.228"
source = "registry+https://github.com/rust-lang/crates.io-index"
@@ -1252,7 +1299,7 @@
"annotate-snippets",
"base64",
"encoding_rs_io",
- "getrandom",
+ "getrandom 0.3.4",
"nohash-hasher",
"num-traits",
"regex",
@@ -1401,9 +1448,9 @@
[[package]]
name = "syn"
-version = "2.0.114"
+version = "2.0.117"
source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "d4d107df263a3013ef9b1879b0df87d706ff80f65a86ea879bd9c31f9b307c2a"
+checksum = "e665b8803e7b1d2a727f4023456bbbbe74da67099c585258af0ad9c5013b9b99"
dependencies = [
"proc-macro2",
"quote",
@@ -1423,12 +1470,12 @@
[[package]]
name = "tempfile"
-version = "3.24.0"
+version = "3.27.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "655da9c7eb6305c55742045d5a8d2037996d61d8de95806335c7c86ce0f82e9c"
+checksum = "32497e9a4c7b38532efcdebeef879707aa9f794296a4f0244f6f69e9bc8574bd"
dependencies = [
"fastrand",
- "getrandom",
+ "getrandom 0.4.2",
"once_cell",
"rustix",
"windows-sys 0.61.2",
@@ -1474,9 +1521,9 @@
[[package]]
name = "tree-sitter"
-version = "0.26.5"
+version = "0.26.8"
source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "12987371f54efc9b9306a20dc87ed5aaee9f320c8a8b115e28515c412b2efe39"
+checksum = "887bd495d0582c5e3e0d8ece2233666169fa56a9644d172fc22ad179ab2d0538"
dependencies = [
"cc",
"regex",
@@ -1488,9 +1535,9 @@
[[package]]
name = "tree-sitter-highlight"
-version = "0.26.5"
+version = "0.26.8"
source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "2b688407049ea1b55a7e872f138947d22389118b9c4d09b459cb34ca205e41c0"
+checksum = "ccde2b54a34b58313e69c02496a2a9ad38d59af79b196b5e1df063431752a7e0"
dependencies = [
"regex",
"streaming-iterator",
@@ -1524,9 +1571,9 @@
[[package]]
name = "unicode-ident"
-version = "1.0.22"
+version = "1.0.24"
source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "9312f7c4f6ff9069b165498234ce8be658059c6728633667c526e27dc2cf1df5"
+checksum = "e6e4313cd5fcd3dad5cafa179702e2b244f760991f45397d14d4ebf38247da75"
[[package]]
name = "unicode-width"
@@ -1535,6 +1582,12 @@
checksum = "b4ac048d71ede7ee76d585517add45da530660ef4390e49b098733c6e897f254"
[[package]]
+name = "unicode-xid"
+version = "0.2.6"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "ebc1c04c71510c7f702b52b7c350734c9ff1295c464a03335b00bb84fc54f853"
+
+[[package]]
name = "utf8parse"
version = "0.2.2"
source = "registry+https://github.com/rust-lang/crates.io-index"
@@ -1575,10 +1628,19 @@
]
[[package]]
+name = "wasip3"
+version = "0.4.0+wasi-0.3.0-rc-2026-01-06"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "5428f8bf88ea5ddc08faddef2ac4a67e390b88186c703ce6dbd955e1c145aca5"
+dependencies = [
+ "wit-bindgen",
+]
+
+[[package]]
name = "wasm-bindgen"
-version = "0.2.108"
+version = "0.2.117"
source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "64024a30ec1e37399cf85a7ffefebdb72205ca1c972291c51512360d90bd8566"
+checksum = "0551fc1bb415591e3372d0bc4780db7e587d84e2a7e79da121051c5c4b89d0b0"
dependencies = [
"cfg-if",
"once_cell",
@@ -1589,9 +1651,9 @@
[[package]]
name = "wasm-bindgen-macro"
-version = "0.2.108"
+version = "0.2.117"
source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "008b239d9c740232e71bd39e8ef6429d27097518b6b30bdf9086833bd5b6d608"
+checksum = "7fbdf9a35adf44786aecd5ff89b4563a90325f9da0923236f6104e603c7e86be"
dependencies = [
"quote",
"wasm-bindgen-macro-support",
@@ -1599,9 +1661,9 @@
[[package]]
name = "wasm-bindgen-macro-support"
-version = "0.2.108"
+version = "0.2.117"
source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "5256bae2d58f54820e6490f9839c49780dff84c65aeab9e772f15d5f0e913a55"
+checksum = "dca9693ef2bab6d4e6707234500350d8dad079eb508dca05530c85dc3a529ff2"
dependencies = [
"bumpalo",
"proc-macro2",
@@ -1612,14 +1674,48 @@
[[package]]
name = "wasm-bindgen-shared"
-version = "0.2.108"
+version = "0.2.117"
source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "1f01b580c9ac74c8d8f0c0e4afb04eeef2acf145458e52c03845ee9cd23e3d12"
+checksum = "39129a682a6d2d841b6c429d0c51e5cb0ed1a03829d8b3d1e69a011e62cb3d3b"
dependencies = [
"unicode-ident",
]
[[package]]
+name = "wasm-encoder"
+version = "0.244.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "990065f2fe63003fe337b932cfb5e3b80e0b4d0f5ff650e6985b1048f62c8319"
+dependencies = [
+ "leb128fmt",
+ "wasmparser",
+]
+
+[[package]]
+name = "wasm-metadata"
+version = "0.244.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "bb0e353e6a2fbdc176932bbaab493762eb1255a7900fe0fea1a2f96c296cc909"
+dependencies = [
+ "anyhow",
+ "indexmap",
+ "wasm-encoder",
+ "wasmparser",
+]
+
+[[package]]
+name = "wasmparser"
+version = "0.244.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "47b807c72e1bac69382b3a6fb3dbe8ea4c0ed87ff5629b8685ae6b9a611028fe"
+dependencies = [
+ "bitflags",
+ "hashbrown 0.15.5",
+ "indexmap",
+ "semver",
+]
+
+[[package]]
name = "winapi-util"
version = "0.1.11"
source = "registry+https://github.com/rust-lang/crates.io-index"
@@ -1721,6 +1817,88 @@
version = "0.51.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "d7249219f66ced02969388cf2bb044a09756a083d0fab1e566056b04d9fbcaa5"
+dependencies = [
+ "wit-bindgen-rust-macro",
+]
+
+[[package]]
+name = "wit-bindgen-core"
+version = "0.51.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "ea61de684c3ea68cb082b7a88508a8b27fcc8b797d738bfc99a82facf1d752dc"
+dependencies = [
+ "anyhow",
+ "heck 0.5.0",
+ "wit-parser",
+]
+
+[[package]]
+name = "wit-bindgen-rust"
+version = "0.51.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "b7c566e0f4b284dd6561c786d9cb0142da491f46a9fbed79ea69cdad5db17f21"
+dependencies = [
+ "anyhow",
+ "heck 0.5.0",
+ "indexmap",
+ "prettyplease",
+ "syn",
+ "wasm-metadata",
+ "wit-bindgen-core",
+ "wit-component",
+]
+
+[[package]]
+name = "wit-bindgen-rust-macro"
+version = "0.51.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "0c0f9bfd77e6a48eccf51359e3ae77140a7f50b1e2ebfe62422d8afdaffab17a"
+dependencies = [
+ "anyhow",
+ "prettyplease",
+ "proc-macro2",
+ "quote",
+ "syn",
+ "wit-bindgen-core",
+ "wit-bindgen-rust",
+]
+
+[[package]]
+name = "wit-component"
+version = "0.244.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "9d66ea20e9553b30172b5e831994e35fbde2d165325bec84fc43dbf6f4eb9cb2"
+dependencies = [
+ "anyhow",
+ "bitflags",
+ "indexmap",
+ "log",
+ "serde",
+ "serde_derive",
+ "serde_json",
+ "wasm-encoder",
+ "wasm-metadata",
+ "wasmparser",
+ "wit-parser",
+]
+
+[[package]]
+name = "wit-parser"
+version = "0.244.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "ecc8ac4bc1dc3381b7f59c34f00b67e18f910c2c0f50015669dde7def656a736"
+dependencies = [
+ "anyhow",
+ "id-arena",
+ "indexmap",
+ "log",
+ "semver",
+ "serde",
+ "serde_derive",
+ "serde_json",
+ "unicode-xid",
+ "wasmparser",
+]
[[package]]
name = "xshell"
@@ -1759,18 +1937,18 @@
[[package]]
name = "zerocopy"
-version = "0.8.39"
+version = "0.8.48"
source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "db6d35d663eadb6c932438e763b262fe1a70987f9ae936e60158176d710cae4a"
+checksum = "eed437bf9d6692032087e337407a86f04cd8d6a16a37199ed57949d415bd68e9"
dependencies = [
"zerocopy-derive",
]
[[package]]
name = "zerocopy-derive"
-version = "0.8.39"
+version = "0.8.48"
source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "4122cd3169e94605190e77839c9a40d40ed048d305bfdc146e7df40ab0f3e517"
+checksum = "70e3cd084b1788766f53af483dd21f93881ff30d7320490ec3ef7526d203bad4"
dependencies = [
"proc-macro2",
"quote",
@@ -1779,6 +1957,6 @@
[[package]]
name = "zmij"
-version = "1.0.19"
+version = "1.0.21"
source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "3ff05f8caa9038894637571ae6b9e29466c1f4f829d26c9b28f869a29cbe3445"
+checksum = "b8848ee67ecc8aedbaf3e4122217aff892639231befc6a1b58d29fff4c2cabaa"
Cargo.tomldiffbeforeafterboth--- a/Cargo.toml
+++ b/Cargo.toml
@@ -8,20 +8,20 @@
edition = "2021"
license = "MIT"
repository = "https://github.com/CertainLach/jrsonnet"
-version = "0.5.0-pre97"
+version = "0.5.0-pre98"
[workspace.dependencies]
-jrsonnet-evaluator = { path = "./crates/jrsonnet-evaluator", version = "0.5.0-pre97" }
-jrsonnet-macros = { path = "./crates/jrsonnet-macros", version = "0.5.0-pre97" }
-jrsonnet-ir = { path = "./crates/jrsonnet-ir", version = "0.5.0-pre97" }
-jrsonnet-ir-parser = { path = "./crates/jrsonnet-ir-parser", version = "0.5.0-pre97" }
-jrsonnet-peg-parser = { path = "./crates/jrsonnet-peg-parser", version = "0.5.0-pre97" }
-jrsonnet-rowan-parser = { path = "./crates/jrsonnet-rowan-parser", version = "0.5.0-pre97" }
-jrsonnet-interner = { path = "./crates/jrsonnet-interner", version = "0.5.0-pre97" }
-jrsonnet-stdlib = { path = "./crates/jrsonnet-stdlib", version = "0.5.0-pre97" }
-jrsonnet-cli = { path = "./crates/jrsonnet-cli", version = "0.5.0-pre97" }
-jrsonnet-types = { path = "./crates/jrsonnet-types", version = "0.5.0-pre97" }
-jrsonnet-formatter = { path = "./crates/jrsonnet-formatter", version = "0.5.0-pre97" }
+jrsonnet-evaluator = { path = "./crates/jrsonnet-evaluator", version = "0.5.0-pre98" }
+jrsonnet-macros = { path = "./crates/jrsonnet-macros", version = "0.5.0-pre98" }
+jrsonnet-ir = { path = "./crates/jrsonnet-ir", version = "0.5.0-pre98" }
+jrsonnet-ir-parser = { path = "./crates/jrsonnet-ir-parser", version = "0.5.0-pre98" }
+jrsonnet-peg-parser = { path = "./crates/jrsonnet-peg-parser", version = "0.5.0-pre98" }
+jrsonnet-rowan-parser = { path = "./crates/jrsonnet-rowan-parser", version = "0.5.0-pre98" }
+jrsonnet-interner = { path = "./crates/jrsonnet-interner", version = "0.5.0-pre98" }
+jrsonnet-stdlib = { path = "./crates/jrsonnet-stdlib", version = "0.5.0-pre98" }
+jrsonnet-cli = { path = "./crates/jrsonnet-cli", version = "0.5.0-pre98" }
+jrsonnet-types = { path = "./crates/jrsonnet-types", version = "0.5.0-pre98" }
+jrsonnet-formatter = { path = "./crates/jrsonnet-formatter", version = "0.5.0-pre98" }
jrsonnet-gcmodule = { version = "0.4.2" }
# Diagnostics.
# hi-doc is my library, which handles text formatting very well, but isn't polished enough yet
bindings/jsonnet/Cargo.tomldiffbeforeafterboth--- a/bindings/jsonnet/Cargo.toml
+++ b/bindings/jsonnet/Cargo.toml
@@ -39,5 +39,8 @@
interop-threading = []
experimental = ["exp-preserve-order", "exp-destruct"]
-exp-preserve-order = ["jrsonnet-evaluator/exp-preserve-order", "jrsonnet-stdlib/exp-preserve-order"]
+exp-preserve-order = [
+ "jrsonnet-evaluator/exp-preserve-order",
+ "jrsonnet-stdlib/exp-preserve-order",
+]
exp-destruct = ["jrsonnet-evaluator/exp-destruct"]
bindings/jsonnet/src/import.rsdiffbeforeafterboth--- a/bindings/jsonnet/src/import.rs
+++ b/bindings/jsonnet/src/import.rs
@@ -5,16 +5,15 @@
cell::RefCell,
collections::HashMap,
env::current_dir,
- ffi::{c_void, CStr, CString},
+ ffi::{CStr, CString, c_void},
os::raw::{c_char, c_int},
path::PathBuf,
ptr::null_mut,
};
use jrsonnet_evaluator::{
- bail,
+ AsPathLike, ImportResolver, ResolvePath, bail,
error::{ErrorKind::*, Result},
- AsPathLike, ImportResolver, ResolvePath,
};
use jrsonnet_gcmodule::Acyclic;
use jrsonnet_ir::{SourceDirectory, SourceFile, SourcePath};
bindings/jsonnet/src/lib.rsdiffbeforeafterboth--- a/bindings/jsonnet/src/lib.rs
+++ b/bindings/jsonnet/src/lib.rs
@@ -21,14 +21,13 @@
};
use jrsonnet_evaluator::{
- apply_tla, bail,
+ AsPathLike, FileImportResolver, IStr, ImportResolver, Result, State, Val, apply_tla, bail,
gc::WithCapacityExt as _,
manifest::{JsonFormat, ManifestFormat, ToStringFormat},
rustc_hash::FxHashMap,
stack::set_stack_depth_limit,
tla::TlaArg,
trace::{CompactFormat, PathResolver, TraceFormat},
- AsPathLike, FileImportResolver, IStr, ImportResolver, Result, State, Val,
};
use jrsonnet_gcmodule::Acyclic;
use jrsonnet_ir::SourcePath;
bindings/jsonnet/src/native.rsdiffbeforeafterboth--- a/bindings/jsonnet/src/native.rs
+++ b/bindings/jsonnet/src/native.rs
@@ -1,13 +1,13 @@
use std::{
- ffi::{c_void, CStr},
+ ffi::{CStr, c_void},
os::raw::{c_char, c_int},
};
use jrsonnet_evaluator::{
+ IStr, Val,
error::{Error, ErrorKind},
function::builtin::{NativeCallback, NativeCallbackHandler},
typed::FromUntyped as _,
- IStr, Val,
};
use crate::VM;
bindings/jsonnet/src/val_make.rsdiffbeforeafterboth--- a/bindings/jsonnet/src/val_make.rs
+++ b/bindings/jsonnet/src/val_make.rs
@@ -6,8 +6,8 @@
};
use jrsonnet_evaluator::{
+ ObjValue, Val,
val::{ArrValue, NumValue},
- ObjValue, Val,
};
use crate::VM;
bindings/jsonnet/src/val_modify.rsdiffbeforeafterboth--- a/bindings/jsonnet/src/val_modify.rs
+++ b/bindings/jsonnet/src/val_modify.rs
@@ -4,7 +4,7 @@
use std::{ffi::CStr, os::raw::c_char};
-use jrsonnet_evaluator::{val::ArrValue, Thunk, Val};
+use jrsonnet_evaluator::{Thunk, Val, val::ArrValue};
use crate::VM;
bindings/jsonnet/src/vars_tlas.rsdiffbeforeafterboth--- a/bindings/jsonnet/src/vars_tlas.rs
+++ b/bindings/jsonnet/src/vars_tlas.rs
@@ -2,8 +2,7 @@
use std::{ffi::CStr, os::raw::c_char};
-use jrsonnet_evaluator::tla::TlaArg;
-use jrsonnet_evaluator::IStr;
+use jrsonnet_evaluator::{IStr, tla::TlaArg};
use crate::VM;
cmds/jrsonnet-deps/src/main.rsdiffbeforeafterboth--- a/cmds/jrsonnet-deps/src/main.rs
+++ b/cmds/jrsonnet-deps/src/main.rs
@@ -1,12 +1,10 @@
-use std::collections::BTreeSet;
-use std::process::exit;
+use std::{collections::BTreeSet, process::exit};
use clap::Parser;
+use jrsonnet_cli::MiscOpts;
use jrsonnet_evaluator::{FileImportResolver, ImportResolver};
-use jrsonnet_ir::{visit::Visitor, IStr, Source, SourcePath};
+use jrsonnet_ir::{IStr, Source, SourcePath, visit::Visitor};
use jrsonnet_ir_parser::ParserSettings;
-
-use jrsonnet_cli::MiscOpts;
#[derive(Parser)]
struct Opts {
cmds/jrsonnet-fmt/src/main.rsdiffbeforeafterboth--- a/cmds/jrsonnet-fmt/src/main.rs
+++ b/cmds/jrsonnet-fmt/src/main.rs
@@ -6,7 +6,7 @@
};
use clap::Parser;
-use jrsonnet_formatter::{format, FormatOptions};
+use jrsonnet_formatter::{FormatOptions, format};
#[derive(Parser)]
#[allow(clippy::struct_excessive_bools)]
@@ -51,8 +51,12 @@
}
fn main_result() -> Result<(), Error> {
- eprintln!("jrsonnet-fmt is a prototype of a jsonnet code formatter, do not expect it to produce meaningful results right now.");
- eprintln!("It is not expected for its output to match other implementations, it will be completly separate implementation with maybe different name.");
+ eprintln!(
+ "jrsonnet-fmt is a prototype of a jsonnet code formatter, do not expect it to produce meaningful results right now."
+ );
+ eprintln!(
+ "It is not expected for its output to match other implementations, it will be completly separate implementation with maybe different name."
+ );
let mut opts = Opts::parse();
let input = if opts.exec {
if opts.in_place {
cmds/jrsonnet/Cargo.tomldiffbeforeafterboth--- a/cmds/jrsonnet/Cargo.toml
+++ b/cmds/jrsonnet/Cargo.toml
@@ -12,19 +12,19 @@
[features]
experimental = [
- "exp-preserve-order",
- "exp-destruct",
- "exp-null-coaelse",
- "exp-object-iteration",
- "exp-bigint",
- "exp-apply",
+ "exp-preserve-order",
+ "exp-destruct",
+ "exp-null-coaelse",
+ "exp-object-iteration",
+ "exp-bigint",
+ "exp-apply",
]
# Use mimalloc as allocator
mimalloc = ["mimallocator"]
# Experimental feature, which allows to preserve order of object fields
exp-preserve-order = [
- "jrsonnet-evaluator/exp-preserve-order",
- "jrsonnet-cli/exp-preserve-order",
+ "jrsonnet-evaluator/exp-preserve-order",
+ "jrsonnet-cli/exp-preserve-order",
]
# Destructuring of locals
exp-destruct = ["jrsonnet-evaluator/exp-destruct"]
@@ -36,9 +36,9 @@
exp-regex = ["jrsonnet-cli/exp-regex"]
# obj?.field, obj?.['field']
exp-null-coaelse = [
- "jrsonnet-evaluator/exp-null-coaelse",
- "jrsonnet-ir/exp-null-coaelse",
- "jrsonnet-cli/exp-null-coaelse",
+ "jrsonnet-evaluator/exp-null-coaelse",
+ "jrsonnet-ir/exp-null-coaelse",
+ "jrsonnet-cli/exp-null-coaelse",
]
# --exp-apply
exp-apply = []
cmds/jrsonnet/src/main.rsdiffbeforeafterboth--- a/cmds/jrsonnet/src/main.rs
+++ b/cmds/jrsonnet/src/main.rs
@@ -1,5 +1,5 @@
use std::{
- fs::{create_dir_all, File},
+ fs::{File, create_dir_all},
io::{Read, Write},
};
@@ -7,9 +7,8 @@
use clap_complete::Shell;
use jrsonnet_cli::{GcOpts, ManifestOpts, MiscOpts, OutputOpts, StdOpts, TlaOpts, TraceOpts};
use jrsonnet_evaluator::{
- apply_tla, bail,
+ ResultExt, State, Val, apply_tla, bail,
error::{Error as JrError, ErrorKind},
- ResultExt, State, Val,
};
use jrsonnet_ir::{SourceDefaultIgnoreJpath, SourcePath};
crates/jrsonnet-cli/Cargo.tomldiffbeforeafterboth--- a/crates/jrsonnet-cli/Cargo.toml
+++ b/crates/jrsonnet-cli/Cargo.toml
@@ -12,20 +12,15 @@
[features]
exp-preserve-order = [
- "jrsonnet-evaluator/exp-preserve-order",
- "jrsonnet-stdlib/exp-preserve-order",
-]
-exp-bigint = [
- "jrsonnet-evaluator/exp-bigint",
- "jrsonnet-stdlib/exp-bigint",
+ "jrsonnet-evaluator/exp-preserve-order",
+ "jrsonnet-stdlib/exp-preserve-order",
]
+exp-bigint = ["jrsonnet-evaluator/exp-bigint", "jrsonnet-stdlib/exp-bigint"]
exp-null-coaelse = [
- "jrsonnet-evaluator/exp-null-coaelse",
- "jrsonnet-stdlib/exp-null-coaelse",
+ "jrsonnet-evaluator/exp-null-coaelse",
+ "jrsonnet-stdlib/exp-null-coaelse",
]
-exp-regex = [
- "jrsonnet-stdlib/exp-regex",
-]
+exp-regex = ["jrsonnet-stdlib/exp-regex"]
[dependencies]
jrsonnet-evaluator = { workspace = true, features = ["explaining-traces"] }
crates/jrsonnet-cli/src/lib.rsdiffbeforeafterboth--- a/crates/jrsonnet-cli/src/lib.rs
+++ b/crates/jrsonnet-cli/src/lib.rs
@@ -7,10 +7,10 @@
use clap::Parser;
use jrsonnet_evaluator::{
- stack::{limit_stack_depth, StackDepthLimitOverrideGuard},
FileImportResolver,
+ stack::{StackDepthLimitOverrideGuard, limit_stack_depth},
};
-use jrsonnet_gcmodule::{with_thread_object_space, ObjectSpace};
+use jrsonnet_gcmodule::{ObjectSpace, with_thread_object_space};
pub use manifest::*;
pub use stdlib::*;
pub use tla::*;
crates/jrsonnet-cli/src/stdlib.rsdiffbeforeafterboth--- a/crates/jrsonnet-cli/src/stdlib.rs
+++ b/crates/jrsonnet-cli/src/stdlib.rs
@@ -1,8 +1,7 @@
use std::str::FromStr;
use clap::Parser;
-use jrsonnet_evaluator::tla::TlaArg;
-use jrsonnet_evaluator::{trace::PathResolver, Result};
+use jrsonnet_evaluator::{Result, tla::TlaArg, trace::PathResolver};
use jrsonnet_stdlib::ContextInitializer;
#[derive(Clone)]
crates/jrsonnet-cli/src/tla.rsdiffbeforeafterboth--- a/crates/jrsonnet-cli/src/tla.rs
+++ b/crates/jrsonnet-cli/src/tla.rs
@@ -1,6 +1,7 @@
use clap::Parser;
-use jrsonnet_evaluator::tla::TlaArg;
-use jrsonnet_evaluator::{error::Result, gc::WithCapacityExt as _, rustc_hash::FxHashMap, IStr};
+use jrsonnet_evaluator::{
+ IStr, error::Result, gc::WithCapacityExt as _, rustc_hash::FxHashMap, tla::TlaArg,
+};
use crate::{ExtFile, ExtStr};
crates/jrsonnet-evaluator/Cargo.tomldiffbeforeafterboth--- a/crates/jrsonnet-evaluator/Cargo.toml
+++ b/crates/jrsonnet-evaluator/Cargo.toml
@@ -26,13 +26,19 @@
# Allows to preserve field order in objects
exp-preserve-order = []
# Implements field destructuring
-exp-destruct = ["jrsonnet-peg-parser?/exp-destruct", "jrsonnet-ir-parser?/exp-destruct"]
+exp-destruct = [
+ "jrsonnet-peg-parser?/exp-destruct",
+ "jrsonnet-ir-parser?/exp-destruct",
+]
# Iteration over objects yields [key, value] elements
exp-object-iteration = []
# Bigint type
exp-bigint = ["num-bigint", "jrsonnet-types/exp-bigint"]
# obj?.field, obj?.['field']
-exp-null-coaelse = ["jrsonnet-peg-parser?/exp-null-coaelse", "jrsonnet-ir-parser?/exp-null-coaelse"]
+exp-null-coaelse = [
+ "jrsonnet-peg-parser?/exp-null-coaelse",
+ "jrsonnet-ir-parser?/exp-null-coaelse",
+]
[dependencies]
jrsonnet-interner.workspace = true
@@ -63,7 +69,13 @@
num-bigint = { workspace = true, features = ["serde"], optional = true }
stacker = "0.1.23"
-educe = { version = "0.6.0", default-features = false, features = ["Clone", "Debug", "Eq", "Hash", "PartialEq"] }
+educe = { version = "0.6.0", default-features = false, features = [
+ "Clone",
+ "Debug",
+ "Eq",
+ "Hash",
+ "PartialEq",
+] }
[build-dependencies]
rustversion = "1.0.22"
crates/jrsonnet-evaluator/src/arr/mod.rsdiffbeforeafterboth--- a/crates/jrsonnet-evaluator/src/arr/mod.rs
+++ b/crates/jrsonnet-evaluator/src/arr/mod.rs
@@ -5,11 +5,11 @@
rc::Rc,
};
-use jrsonnet_gcmodule::{cc_dyn, Cc};
+use jrsonnet_gcmodule::{Cc, cc_dyn};
use jrsonnet_interner::IBytes;
use jrsonnet_ir::Expr;
-use crate::{function::NativeFn, typed::IntoUntyped, Context, Result, Thunk, Val};
+use crate::{Context, Result, Thunk, Val, function::NativeFn, typed::IntoUntyped};
mod spec;
pub use spec::{ArrayLike, *};
crates/jrsonnet-evaluator/src/arr/spec.rsdiffbeforeafterboth--- a/crates/jrsonnet-evaluator/src/arr/spec.rs
+++ b/crates/jrsonnet-evaluator/src/arr/spec.rs
@@ -1,18 +1,17 @@
-use std::rc::Rc;
-use std::{any::Any, cell::RefCell, fmt::Debug, mem::replace};
+use std::{any::Any, cell::RefCell, fmt::Debug, mem::replace, rc::Rc};
use jrsonnet_gcmodule::{Cc, Trace};
use jrsonnet_interner::{IBytes, IStr};
use jrsonnet_ir::Expr;
use super::ArrValue;
-use crate::function::NativeFn;
use crate::{
+ Context, Error, ObjValue, Result, Thunk, Val,
error::ErrorKind::InfiniteRecursionDetected,
evaluate,
+ function::NativeFn,
typed::{IntoUntyped, Typed},
val::ThunkValue,
- Context, Error, ObjValue, Result, Thunk, Val,
};
pub trait ArrayLike: Any + Trace + Debug {
crates/jrsonnet-evaluator/src/async_import.rsdiffbeforeafterboth--- a/crates/jrsonnet-evaluator/src/async_import.rs
+++ b/crates/jrsonnet-evaluator/src/async_import.rs
@@ -1,9 +1,7 @@
-use std::rc::Rc;
-use std::{any::Any, cell::RefCell, future::Future};
+use std::{any::Any, cell::RefCell, future::Future, rc::Rc};
use jrsonnet_gcmodule::Acyclic;
-use jrsonnet_ir::visit::Visitor;
-use jrsonnet_ir::{IStr, Source, SourcePath};
+use jrsonnet_ir::{IStr, Source, SourcePath, visit::Visitor};
use rustc_hash::FxHashMap;
use crate::{AsPathLike, FileData, ImportResolver, ResolvePathOwned, State};
crates/jrsonnet-evaluator/src/ctx.rsdiffbeforeafterboth--- a/crates/jrsonnet-evaluator/src/ctx.rs
+++ b/crates/jrsonnet-evaluator/src/ctx.rs
@@ -6,8 +6,8 @@
use rustc_hash::FxHashMap;
use crate::{
- error::ErrorKind::*, gc::WithCapacityExt as _, map::LayeredHashMap, ObjValue, Pending, Result,
- SupThis, Thunk, Val,
+ ObjValue, Pending, Result, SupThis, Thunk, Val, error::ErrorKind::*, gc::WithCapacityExt as _,
+ map::LayeredHashMap,
};
/// Context keeps information about current lexical code location
///
crates/jrsonnet-evaluator/src/dynamic.rsdiffbeforeafterboth--- a/crates/jrsonnet-evaluator/src/dynamic.rs
+++ b/crates/jrsonnet-evaluator/src/dynamic.rs
@@ -3,7 +3,7 @@
use educe::Educe;
use jrsonnet_gcmodule::{Cc, Trace};
-use crate::{bail, error::ErrorKind::InfiniteRecursionDetected, val::ThunkValue, Result};
+use crate::{Result, bail, error::ErrorKind::InfiniteRecursionDetected, val::ThunkValue};
#[derive(Trace, Educe)]
#[educe(Clone)]
crates/jrsonnet-evaluator/src/error.rsdiffbeforeafterboth--- a/crates/jrsonnet-evaluator/src/error.rs
+++ b/crates/jrsonnet-evaluator/src/error.rs
@@ -7,11 +7,11 @@
use thiserror::Error;
use crate::{
+ ObjValue, ResolvePathOwned,
function::{CallLocation, FunctionSignature, ParamName},
stdlib::format::FormatError,
typed::TypeLocError,
val::ConvertNumValueError,
- ObjValue, ResolvePathOwned,
};
#[derive(Debug, Clone)]
@@ -78,7 +78,10 @@
if conf < 0.8 {
continue;
}
- assert!(field.as_str() != key.as_str(), "looks like string pooling failure, please write any info regarding this crash to https://github.com/CertainLach/jrsonnet/issues/113, thanks!");
+ assert!(
+ field.as_str() != key.as_str(),
+ "looks like string pooling failure, please write any info regarding this crash to https://github.com/CertainLach/jrsonnet/issues/113, thanks!"
+ );
heap.push((conf, field));
}
@@ -271,11 +274,11 @@
}
impl fmt::Display for Error {
fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
- writeln!(f, "{}", self.0 .0)?;
- for el in &self.0 .1 .0 {
+ writeln!(f, "{}", self.0.0)?;
+ for el in &self.0.1.0 {
write!(f, "\t{}", el.desc)?;
if let Some(loc) = &el.location {
- write!(f, "at {}", loc.0 .0 .0)?;
+ write!(f, "at {}", loc.0.0.0)?;
loc.0.map_source_locations(&[loc.1, loc.2]);
}
writeln!(f)?;
crates/jrsonnet-evaluator/src/evaluate/destructure.rsdiffbeforeafterboth--- a/crates/jrsonnet-evaluator/src/evaluate/destructure.rs
+++ b/crates/jrsonnet-evaluator/src/evaluate/destructure.rs
@@ -3,15 +3,14 @@
use jrsonnet_interner::IStr;
use jrsonnet_ir::{BindSpec, Destruct};
+#[cfg(feature = "exp-preserve-order")]
+use crate::evaluate;
use crate::{
- bail,
+ Context, Pending, Thunk, Val, bail,
error::{ErrorKind::*, Result},
- evaluate_method, evaluate_named_param, Context, Pending, Thunk, Val,
+ evaluate_method, evaluate_named_param,
};
-#[cfg(feature = "exp-preserve-order")]
-use crate::evaluate;
-
#[allow(clippy::too_many_lines)]
#[allow(unused_variables)]
pub fn destruct<H: BuildHasher>(
@@ -107,10 +106,11 @@
}
#[cfg(feature = "exp-destruct")]
Destruct::Object { fields, rest } => {
- use crate::ObjValueBuilder;
use jrsonnet_ir::DestructRest;
use rustc_hash::FxHashSet;
+ use crate::ObjValueBuilder;
+
let captured_fields: FxHashSet<_> = fields.iter().map(|f| f.0.clone()).collect();
let field_names: Vec<_> = fields
.iter()
crates/jrsonnet-evaluator/src/evaluate/mod.rsdiffbeforeafterboth--- a/crates/jrsonnet-evaluator/src/evaluate/mod.rs
+++ b/crates/jrsonnet-evaluator/src/evaluate/mod.rs
@@ -3,27 +3,28 @@
use jrsonnet_gcmodule::{Cc, Trace};
use jrsonnet_interner::IStr;
use jrsonnet_ir::{
- function::ParamName, ArgsDesc, AssertStmt, BinaryOpType, BindSpec, CompSpec, Expr, ExprParams,
- FieldMember, FieldName, ForSpecData, IfSpecData, ImportKind, LiteralType, ObjBody, ObjMembers,
- Spanned,
+ ArgsDesc, AssertStmt, BinaryOpType, BindSpec, CompSpec, Expr, ExprParams, FieldMember,
+ FieldName, ForSpecData, IfSpecData, ImportKind, LiteralType, ObjBody, ObjMembers, Spanned,
+ function::ParamName,
};
use jrsonnet_types::ValType;
use rustc_hash::FxHashMap;
use self::destructure::destruct;
use crate::{
+ Context, Error, ObjValue, ObjValueBuilder, ObjectAssertion, Pending, Result, ResultExt,
+ SupThis, Unbound, Val,
arr::ArrValue,
bail,
destructure::evaluate_dest,
- error::{suggest_object_fields, ErrorKind::*},
+ error::{ErrorKind::*, suggest_object_fields},
evaluate::operator::{evaluate_binary_op_special, evaluate_unary_op},
function::{CallLocation, FuncDesc, FuncVal},
gc::WithCapacityExt as _,
in_frame,
typed::{FromUntyped, IntoUntyped as _, Typed},
val::{CachedUnbound, IndexableVal, NumValue, StrValue, Thunk},
- with_state, Context, Error, ObjValue, ObjValueBuilder, ObjectAssertion, Pending, Result,
- ResultExt, SupThis, Unbound, Val,
+ with_state,
};
pub mod destructure;
pub mod operator;
crates/jrsonnet-evaluator/src/evaluate/operator.rsdiffbeforeafterboth--- a/crates/jrsonnet-evaluator/src/evaluate/operator.rs
+++ b/crates/jrsonnet-evaluator/src/evaluate/operator.rs
@@ -3,14 +3,14 @@
use jrsonnet_ir::{BinaryOpType, Expr, UnaryOpType};
use crate::{
+ Context, Result, Val,
arr::ArrValue,
bail,
error::ErrorKind::*,
evaluate,
stdlib::std_format,
typed::IntoUntyped as _,
- val::{equals, StrValue},
- Context, Result, Val,
+ val::{StrValue, equals},
};
pub fn evaluate_unary_op(op: UnaryOpType, b: &Val) -> Result<Val> {
crates/jrsonnet-evaluator/src/function/builtin.rsdiffbeforeafterboth--- a/crates/jrsonnet-evaluator/src/function/builtin.rs
+++ b/crates/jrsonnet-evaluator/src/function/builtin.rs
@@ -1,6 +1,6 @@
use std::any::Any;
-use jrsonnet_gcmodule::{cc_dyn, Trace, TraceBox};
+use jrsonnet_gcmodule::{Trace, TraceBox, cc_dyn};
use jrsonnet_ir::function::{FunctionSignature, ParamDefault, ParamName, ParamParse};
use super::CallLocation;
crates/jrsonnet-evaluator/src/function/mod.rsdiffbeforeafterboth--- a/crates/jrsonnet-evaluator/src/function/mod.rs
+++ b/crates/jrsonnet-evaluator/src/function/mod.rs
@@ -9,11 +9,11 @@
use self::{
builtin::{Builtin, StaticBuiltin},
parse::{parse_builtin_call, parse_default_function_call, parse_function_call},
- prepared::{parse_prepared_builtin_call, parse_prepared_function_call, PreparedCall},
+ prepared::{PreparedCall, parse_prepared_builtin_call, parse_prepared_function_call},
};
use crate::{
- bail, error::ErrorKind::*, evaluate, evaluate_trivial, function::builtin::BuiltinFunc, Context,
- Result, Thunk, Val,
+ Context, Result, Thunk, Val, bail, error::ErrorKind::*, evaluate, evaluate_trivial,
+ function::builtin::BuiltinFunc,
};
pub mod builtin;
@@ -21,10 +21,9 @@
mod parse;
mod prepared;
+pub use jrsonnet_ir::function::*;
pub use native::NativeFn;
pub use prepared::PreparedFuncVal;
-
-pub use jrsonnet_ir::function::*;
/// Function callsite location.
/// Either from other jsonnet code, specified by expression location, or from native (without location).
crates/jrsonnet-evaluator/src/function/native.rsdiffbeforeafterboth--- a/crates/jrsonnet-evaluator/src/function/native.rs
+++ b/crates/jrsonnet-evaluator/src/function/native.rs
@@ -1,14 +1,14 @@
use std::marker::PhantomData;
use jrsonnet_gcmodule::Trace;
+use jrsonnet_types::{ComplexValType, ValType};
use super::PreparedFuncVal;
use crate::{
+ CallLocation, Result, Val,
function::FuncVal,
typed::{FromUntyped, IntoUntyped, Typed},
- CallLocation, Result, Val,
};
-use jrsonnet_types::{ComplexValType, ValType};
#[derive(Debug, Trace, Clone)]
pub struct NativeFn<D: 'static>(pub(crate) PreparedFuncVal, PhantomData<D>);
crates/jrsonnet-evaluator/src/function/parse.rsdiffbeforeafterboth--- a/crates/jrsonnet-evaluator/src/function/parse.rs
+++ b/crates/jrsonnet-evaluator/src/function/parse.rs
@@ -1,18 +1,17 @@
use std::rc::Rc;
use jrsonnet_ir::{
+ ArgsDesc, Expr, ExprParams,
function::{FunctionSignature, ParamName},
- ArgsDesc, Expr, ExprParams,
};
use rustc_hash::FxHashMap;
use crate::{
- bail,
+ Context, Pending, Thunk, Val, bail,
destructure::destruct,
error::{ErrorKind::*, Result},
evaluate, evaluate_named_param,
gc::WithCapacityExt as _,
- Context, Pending, Thunk, Val,
};
fn eval_arg(ctx: Context, arg: &Rc<Expr>, tailstrict: bool) -> Result<Thunk<Val>> {
crates/jrsonnet-evaluator/src/function/prepared.rsdiffbeforeafterboth--- a/crates/jrsonnet-evaluator/src/function/prepared.rs
+++ b/crates/jrsonnet-evaluator/src/function/prepared.rs
@@ -1,16 +1,14 @@
use std::rc::Rc;
use jrsonnet_gcmodule::{Acyclic, Trace};
-use jrsonnet_ir::function::FunctionSignature;
-use jrsonnet_ir::{ExprParams, IStr};
+use jrsonnet_ir::{ExprParams, IStr, function::FunctionSignature};
use rustc_hash::{FxHashMap, FxHashSet};
-
-use crate::destructure::destruct;
-use crate::gc::WithCapacityExt;
-use crate::{bail, error::ErrorKind::*, Result};
-use crate::{evaluate_named_param, Context, ContextBuilder, Pending, Thunk, Val};
use super::{CallLocation, FuncVal};
+use crate::{
+ Context, ContextBuilder, Pending, Result, Thunk, Val, bail, destructure::destruct,
+ error::ErrorKind::*, evaluate_named_param, gc::WithCapacityExt,
+};
#[derive(Debug, Trace, Clone)]
pub struct PreparedFuncVal {
crates/jrsonnet-evaluator/src/integrations/serde.rsdiffbeforeafterboth--- a/crates/jrsonnet-evaluator/src/integrations/serde.rs
+++ b/crates/jrsonnet-evaluator/src/integrations/serde.rs
@@ -2,17 +2,17 @@
use jrsonnet_interner::IStr;
use serde::{
+ Deserialize, Serialize, Serializer,
de::{self, Visitor},
ser::{
Error, SerializeMap, SerializeSeq, SerializeStruct, SerializeStructVariant, SerializeTuple,
SerializeTupleStruct, SerializeTupleVariant,
},
- Deserialize, Serialize, Serializer,
};
use crate::{
- arr::ArrValue, in_description_frame, runtime_error, val::NumValue, Error as JrError, ObjValue,
- ObjValueBuilder, Result, Val,
+ Error as JrError, ObjValue, ObjValueBuilder, Result, Val, arr::ArrValue, in_description_frame,
+ runtime_error, val::NumValue,
};
impl<'de> Deserialize<'de> for Val {
crates/jrsonnet-evaluator/src/lib.rsdiffbeforeafterboth--- a/crates/jrsonnet-evaluator/src/lib.rs
+++ b/crates/jrsonnet-evaluator/src/lib.rs
@@ -40,7 +40,7 @@
pub use evaluate::*;
use function::CallLocation;
pub use import::*;
-use jrsonnet_gcmodule::{cc_dyn, Cc, Trace};
+use jrsonnet_gcmodule::{Cc, Trace, cc_dyn};
pub use jrsonnet_interner::{IBytes, IStr};
pub use jrsonnet_ir as parser;
use jrsonnet_ir::{Expr, Source, SourcePath};
crates/jrsonnet-evaluator/src/manifest.rsdiffbeforeafterboth--- a/crates/jrsonnet-evaluator/src/manifest.rs
+++ b/crates/jrsonnet-evaluator/src/manifest.rs
@@ -1,6 +1,6 @@
use std::{borrow::Cow, fmt::Write, ptr};
-use crate::{bail, in_description_frame, Result, ResultExt, Val};
+use crate::{Result, ResultExt, Val, bail, in_description_frame};
pub trait ManifestFormat {
fn manifest_buf(&self, val: Val, buf: &mut String) -> Result<()>;
crates/jrsonnet-evaluator/src/map.rsdiffbeforeafterboth--- a/crates/jrsonnet-evaluator/src/map.rs
+++ b/crates/jrsonnet-evaluator/src/map.rs
@@ -2,7 +2,7 @@
use jrsonnet_interner::IStr;
use rustc_hash::FxHashMap;
-use crate::{gc::WithCapacityExt as _, Thunk, Val};
+use crate::{Thunk, Val, gc::WithCapacityExt as _};
#[derive(Trace, Debug)]
#[trace(tracking(force))]
crates/jrsonnet-evaluator/src/obj/mod.rsdiffbeforeafterboth--- a/crates/jrsonnet-evaluator/src/obj/mod.rs
+++ b/crates/jrsonnet-evaluator/src/obj/mod.rs
@@ -11,7 +11,7 @@
};
use educe::Educe;
-use jrsonnet_gcmodule::{cc_dyn, Acyclic, Cc, Trace, Weak};
+use jrsonnet_gcmodule::{Acyclic, Cc, Trace, Weak, cc_dyn};
use jrsonnet_interner::IStr;
use jrsonnet_ir::Span;
use rustc_hash::{FxHashMap, FxHashSet};
@@ -22,13 +22,13 @@
pub use oop::ObjValueBuilder;
use crate::{
+ CcUnbound, MaybeUnbound, Result, Thunk, Unbound, Val,
arr::{PickObjectKeyValues, PickObjectValues},
bail,
- error::{suggest_object_fields, ErrorKind::*},
+ error::{ErrorKind::*, suggest_object_fields},
identity_hash,
operator::evaluate_add_op,
val::{ArrValue, ThunkValue},
- CcUnbound, MaybeUnbound, Result, Thunk, Unbound, Val,
};
#[cfg(not(feature = "exp-preserve-order"))]
crates/jrsonnet-evaluator/src/obj/oop.rsdiffbeforeafterboth--- a/crates/jrsonnet-evaluator/src/obj/oop.rs
+++ b/crates/jrsonnet-evaluator/src/obj/oop.rs
@@ -1,21 +1,25 @@
-use std::cell::{Cell, RefCell};
-use std::ops::ControlFlow;
-use std::{fmt, mem};
+use std::{
+ cell::{Cell, RefCell},
+ fmt, mem,
+ ops::ControlFlow,
+};
-use crate::function::{CallLocation, FuncVal};
-use crate::gc::WithCapacityExt as _;
-use crate::{
- bail, error::ErrorKind::*, in_frame, CcUnbound, MaybeUnbound, Result, Thunk, Unbound, Val,
-};
use jrsonnet_gcmodule::{Cc, Trace};
use jrsonnet_ir::IStr;
use rustc_hash::{FxHashMap, FxHashSet};
-use super::ordering::{FieldIndex, SuperDepth};
use super::{
CcObjectAssertion, CcObjectCore, EnumFields, EnumFieldsHandler, FieldVisibility, GetFor,
HasFieldIncludeHidden, ObjMember, ObjMemberBuilder, ObjValue, ObjValueInner, ObjectAssertion,
ObjectCore, OmitFieldsCore, SupThis,
+ ordering::{FieldIndex, SuperDepth},
+};
+use crate::{
+ CcUnbound, MaybeUnbound, Result, Thunk, Unbound, Val, bail,
+ error::ErrorKind::*,
+ function::{CallLocation, FuncVal},
+ gc::WithCapacityExt as _,
+ in_frame,
};
#[allow(clippy::module_name_repetitions)]
crates/jrsonnet-evaluator/src/stdlib/format.rsdiffbeforeafterboth--- a/crates/jrsonnet-evaluator/src/stdlib/format.rs
+++ b/crates/jrsonnet-evaluator/src/stdlib/format.rs
@@ -7,10 +7,9 @@
use thiserror::Error;
use crate::{
- bail,
- error::{format_found, suggest_object_fields, ErrorKind::*},
+ Error, ObjValue, Result, Val, bail,
+ error::{ErrorKind::*, format_found, suggest_object_fields},
typed::FromUntyped,
- Error, ObjValue, Result, Val,
};
#[derive(Debug, Clone, Error, Trace)]
crates/jrsonnet-evaluator/src/stdlib/mod.rsdiffbeforeafterboth--- a/crates/jrsonnet-evaluator/src/stdlib/mod.rs
+++ b/crates/jrsonnet-evaluator/src/stdlib/mod.rs
@@ -3,7 +3,7 @@
use format::{format_arr, format_obj};
-use crate::{function::CallLocation, in_frame, Result, Val};
+use crate::{Result, Val, function::CallLocation, in_frame};
pub mod format;
crates/jrsonnet-evaluator/src/tla.rsdiffbeforeafterboth--- a/crates/jrsonnet-evaluator/src/tla.rs
+++ b/crates/jrsonnet-evaluator/src/tla.rs
@@ -5,8 +5,9 @@
use jrsonnet_ir::{SourceFifo, SourcePath};
use crate::{
+ Result, Thunk, Val,
function::{CallLocation, PreparedFuncVal},
- in_description_frame, with_state, Result, Thunk, Val,
+ in_description_frame, with_state,
};
#[derive(Clone, Trace)]
crates/jrsonnet-evaluator/src/trace/mod.rsdiffbeforeafterboth--- a/crates/jrsonnet-evaluator/src/trace/mod.rs
+++ b/crates/jrsonnet-evaluator/src/trace/mod.rs
@@ -10,7 +10,7 @@
#[cfg(feature = "explaining-traces")]
use jrsonnet_ir::Span;
-use crate::{error::ErrorKind, Error};
+use crate::{Error, error::ErrorKind};
/// The way paths should be displayed
#[derive(Clone, Trace)]
@@ -258,7 +258,7 @@
struct ResetData {
loc: Span,
}
- use hi_doc::{source_to_ansi, Formatting, SnippetBuilder, Text};
+ use hi_doc::{Formatting, SnippetBuilder, Text, source_to_ansi};
write!(out, "{}", error.error())?;
if let ErrorKind::ImportSyntaxError { path, error } = error.error() {
crates/jrsonnet-evaluator/src/typed/conversions.rsdiffbeforeafterboth--- a/crates/jrsonnet-evaluator/src/typed/conversions.rs
+++ b/crates/jrsonnet-evaluator/src/typed/conversions.rs
@@ -5,23 +5,23 @@
use jrsonnet_types::{ComplexValType, ValType};
use crate::{
+ ObjValue, ObjValueBuilder, Result, ResultExt, Thunk, Val,
arr::{ArrValue, BytesArray},
bail,
function::FuncVal,
typed::CheckType,
val::{IndexableVal, NumValue, StrValue, ThunkMapper},
- ObjValue, ObjValueBuilder, Result, ResultExt, Thunk, Val,
};
#[doc(hidden)]
pub mod __typed_macro_prelude {
pub use ::jrsonnet_evaluator::{
+ IStr, ObjValue, ObjValueBuilder, State, Val,
error::{ErrorKind, Result as JrResult},
typed::{
CheckType, ComplexValType, FromUntyped, IntoUntyped, ParseTypedObj, SerializeTypedObj,
Typed,
},
- IStr, ObjValue, ObjValueBuilder, State, Val,
};
}
pub use jrsonnet_macros::{FromUntyped, IntoUntyped, Typed};
crates/jrsonnet-evaluator/src/typed/mod.rsdiffbeforeafterboth--- a/crates/jrsonnet-evaluator/src/typed/mod.rs
+++ b/crates/jrsonnet-evaluator/src/typed/mod.rs
@@ -7,8 +7,9 @@
use thiserror::Error;
use crate::{
+ Val,
error::{Error, ErrorKind, Result},
- in_description_frame, Val,
+ in_description_frame,
};
#[derive(Debug, Error, Clone, Acyclic)]
crates/jrsonnet-evaluator/src/val.rsdiffbeforeafterboth--- a/crates/jrsonnet-evaluator/src/val.rs
+++ b/crates/jrsonnet-evaluator/src/val.rs
@@ -9,7 +9,7 @@
rc::Rc,
};
-use jrsonnet_gcmodule::{cc_dyn, Acyclic, Cc, Trace};
+use jrsonnet_gcmodule::{Acyclic, Cc, Trace, cc_dyn};
use jrsonnet_interner::IStr;
pub use jrsonnet_macros::Thunk;
use jrsonnet_types::ValType;
@@ -18,13 +18,12 @@
pub use crate::arr::{ArrValue, ArrayLike};
use crate::{
- bail,
+ ObjValue, Result, SupThis, Unbound, WeakSupThis, bail,
error::{Error, ErrorKind::*},
function::FuncVal,
gc::WithCapacityExt as _,
manifest::{ManifestFormat, ToStringFormat},
typed::{BoundedUsize, MAX_SAFE_INTEGER, MIN_SAFE_INTEGER},
- ObjValue, Result, SupThis, Unbound, WeakSupThis,
};
pub trait ThunkValue: Trace {
crates/jrsonnet-formatter/src/children.rsdiffbeforeafterboth--- a/crates/jrsonnet-formatter/src/children.rs
+++ b/crates/jrsonnet-formatter/src/children.rs
@@ -3,8 +3,8 @@
use std::{fmt::Debug, mem};
use jrsonnet_rowan_parser::{
+ AstNode, AstToken, SyntaxElement, SyntaxNode, TS,
nodes::{CustomError, Trivia, TriviaKind},
- AstNode, AstToken, SyntaxElement, SyntaxNode, TS,
};
pub type ChildTrivia = Vec<Result<Trivia, String>>;
crates/jrsonnet-formatter/src/comments.rsdiffbeforeafterboth--- a/crates/jrsonnet-formatter/src/comments.rs
+++ b/crates/jrsonnet-formatter/src/comments.rs
@@ -1,7 +1,7 @@
use std::string::String;
use dprint_core::formatting::PrintItems;
-use jrsonnet_rowan_parser::{nodes::TriviaKind, AstToken};
+use jrsonnet_rowan_parser::{AstToken, nodes::TriviaKind};
use crate::{children::ChildTrivia, p, pi};
crates/jrsonnet-formatter/src/lib.rsdiffbeforeafterboth--- a/crates/jrsonnet-formatter/src/lib.rs
+++ b/crates/jrsonnet-formatter/src/lib.rs
@@ -2,26 +2,26 @@
use children::{children_between, trivia_before};
use dprint_core::formatting::{
+ ConditionResolver, ConditionResolverContext, LineNumber, PrintItems, PrintOptions,
condition_helpers::is_multiple_lines,
condition_resolvers::true_resolver,
ir_helpers::{new_line_group, with_indent},
- ConditionResolver, ConditionResolverContext, LineNumber, PrintItems, PrintOptions,
};
use hi_doc::{Formatting, SnippetBuilder};
use jrsonnet_lexer::collect_lexed_str_block;
use jrsonnet_rowan_parser::{
+ AstNode, AstToken as _, SyntaxToken,
nodes::{
Arg, ArgsDesc, Assertion, BinaryOperator, Bind, CompSpec, Destruct, DestructArrayPart,
DestructRest, Expr, ExprArray, ExprBase, FieldName, ForSpec, IfSpec, ImportKind, Literal,
Member, Name, Number, ObjBody, ObjLocal, ParamsDesc, SliceDesc, SourceFile, Stmt, Suffix,
Text, TextKind, UnaryOperator, Visibility,
},
- AstNode, AstToken as _, SyntaxToken,
};
use crate::{
- children::{trivia_after, Child, EndingComments},
- comments::{format_comments, CommentLocation},
+ children::{Child, EndingComments, trivia_after},
+ comments::{CommentLocation, format_comments},
};
mod children;
@@ -461,18 +461,10 @@
if mem.should_start_with_newline {
p!(out, nl);
}
- format_comments(
- &mem.before_trivia,
- CommentLocation::AboveItem,
- &mut out,
- );
- p!(&mut out, {mem.value});
+ format_comments(&mem.before_trivia, CommentLocation::AboveItem, &mut out);
+ p!(&mut out, { mem.value });
p!(out, if("trailing comma", multi_line, str(",")));
- format_comments(
- &mem.inline_trivia,
- CommentLocation::ItemInline,
- &mut out,
- );
+ format_comments(&mem.inline_trivia, CommentLocation::ItemInline, &mut out);
p!(out, if_else("member-comp sep", multi_line, nl)(sonl));
}
@@ -490,17 +482,9 @@
if mem.should_start_with_newline {
p!(out, nl);
}
- format_comments(
- &mem.before_trivia,
- CommentLocation::AboveItem,
- &mut out,
- );
+ format_comments(&mem.before_trivia, CommentLocation::AboveItem, &mut out);
p!(&mut out, { mem.value });
- format_comments(
- &mem.inline_trivia,
- CommentLocation::ItemInline,
- &mut out,
- );
+ format_comments(&mem.inline_trivia, CommentLocation::ItemInline, &mut out);
p!(out, if_else("comp spec sep", multi_line, nl)(sonl));
}
crates/jrsonnet-interner/src/lib.rsdiffbeforeafterboth--- a/crates/jrsonnet-interner/src/lib.rs
+++ b/crates/jrsonnet-interner/src/lib.rs
@@ -14,7 +14,7 @@
str,
};
-use hashbrown::{hash_map::RawEntryMut, HashMap};
+use hashbrown::{HashMap, hash_map::RawEntryMut};
use jrsonnet_gcmodule::{Acyclic, Trace};
use rustc_hash::FxBuildHasher;
@@ -242,7 +242,7 @@
pub mod interop {
use std::mem;
- use crate::{PoolMap, POOL};
+ use crate::{POOL, PoolMap};
/// Type-erased interned string pool
pub enum PoolState {}
crates/jrsonnet-ir-parser/Cargo.tomldiffbeforeafterboth--- a/crates/jrsonnet-ir-parser/Cargo.toml
+++ b/crates/jrsonnet-ir-parser/Cargo.toml
@@ -1,5 +1,6 @@
[package]
name = "jrsonnet-ir-parser"
+description = "Jrsonnet hand-rolled parser which parses source directly into IR"
authors.workspace = true
edition.workspace = true
license.workspace = true
crates/jrsonnet-ir-parser/src/lib.rsdiffbeforeafterboth1use std::rc::Rc;23use jrsonnet_gcmodule::Acyclic;4use jrsonnet_ir::{5 unescape, ArgsDesc, AssertExpr, AssertStmt, BinaryOp, BinaryOpType, BindSpec, CompSpec,6 Destruct, Expr, ExprParam, ExprParams, FieldMember, FieldName, ForSpecData, IStr, IfElse,7 IfSpecData, ImportKind, IndexPart, LiteralType, Member, ObjBody, ObjComp, ObjMembers, Slice,8 SliceDesc, Source, Span, Spanned, UnaryOpType, Visibility,9};10use jrsonnet_lexer::{collect_lexed_str_block, Lexeme, Lexer, SyntaxKind, T};1112pub struct ParserSettings {13 pub source: Source,14}1516#[derive(Debug, Clone)]17pub struct ParseErrorLocation {18 pub offset: usize,19}2021#[derive(Debug, Clone)]22pub struct ParseError {23 pub message: String,24 pub location: ParseErrorLocation,25}2627impl std::fmt::Display for ParseError {28 fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {29 write!(f, "{}", self.message)30 }31}3233type Result<T> = std::result::Result<T, ParseError>;3435struct Parser<'a> {36 lexemes: Vec<Lexeme<'a>>,37 offset: usize,38 source: Source,39}4041impl<'a> Parser<'a> {42 fn new(code: &'a str, source: Source) -> Self {43 Self {44 lexemes: Lexer::new(code)45 .filter(|l| {46 !matches!(47 l.kind,48 SyntaxKind::WHITESPACE49 | SyntaxKind::SINGLE_LINE_SLASH_COMMENT50 | SyntaxKind::SINGLE_LINE_HASH_COMMENT51 | SyntaxKind::MULTI_LINE_COMMENT52 )53 })54 .collect(),55 offset: 0,56 source,57 }58 }5960 fn peek(&self) -> SyntaxKind {61 if self.at_eof() {62 SyntaxKind::EOF63 } else {64 self.lexemes[self.offset].kind65 }66 }6768 fn text(&self) -> &'a str {69 self.lexemes[self.offset].text70 }7172 fn at(&self, kind: SyntaxKind) -> bool {73 !self.at_eof() && self.peek() == kind74 }7576 fn eat_any(&mut self) {77 self.offset += 1;78 }7980 fn at_eof(&self) -> bool {81 self.offset >= self.lexemes.len()82 }8384 fn try_eat(&mut self, t: SyntaxKind) -> bool {85 if self.at(t) {86 self.eat_any();87 return true;88 }89 false90 }9192 fn current_desc(&self) -> String {93 if self.at_eof() {94 return "end of file".to_owned();95 }96 let kind = self.peek();97 let text = self.text();98 let name = kind.display_name();99 if matches!(kind, SyntaxKind::IDENT | SyntaxKind::FLOAT) {100 format!("{name} \"{text}\"")101 } else {102 name.to_owned()103 }104 }105106 fn eat(&mut self, t: SyntaxKind) -> Result<()> {107 if !self.at(t) {108 return Err(self.error(format!(109 "expected {}, got {}",110 t.display_name(),111 self.current_desc(),112 )));113 }114 self.eat_any();115 Ok(())116 }117118 fn span_start(&self) -> u32 {119 if self.at_eof() {120 if let Some(last) = self.lexemes.last() {121 return last.range.1;122 }123 return 0;124 }125 self.lexemes[self.offset].range.0126 }127128 fn span_end(&self) -> u32 {129 self.lexemes[self.offset - 1].range.1130 }131132 fn error(&self, message: String) -> ParseError {133 ParseError {134 location: ParseErrorLocation {135 offset: self.span_start() as usize,136 },137 message,138 }139 }140141 fn expect_ident(&mut self) -> Result<IStr> {142 if !self.at(SyntaxKind::IDENT) {143 return Err(self.error(format!("expected identifier, got {}", self.current_desc())));144 }145 let text = self.text();146 if is_reserved(text) {147 return Err(self.error(format!("expected identifier, got reserved word '{text}'")));148 }149 let s: IStr = text.into();150 self.eat_any();151 Ok(s)152 }153154 fn at_ident(&self) -> bool {155 self.at(SyntaxKind::IDENT) && !is_reserved(self.lexemes[self.offset].text)156 }157}158159fn is_reserved(s: &str) -> bool {160 matches!(161 s,162 "assert"163 | "else" | "error"164 | "false" | "for"165 | "function"166 | "if" | "import"167 | "importstr"168 | "importbin"169 | "in" | "local"170 | "null" | "tailstrict"171 | "then" | "self"172 | "super" | "true"173 )174}175176fn spanned<T: Acyclic>(177 p: &mut Parser<'_>,178 cb: impl FnOnce(&mut Parser<'_>) -> Result<T>,179) -> Result<Spanned<T>> {180 let start = p.span_start();181 let v = cb(p)?;182 let end = p.span_end();183 Ok(Spanned::new(v, Span(p.source.clone(), start, end)))184}185186fn parse_string_content(p: &mut Parser<'_>) -> Result<IStr> {187 let kind = p.peek();188 let text = p.text();189 let s = match kind {190 SyntaxKind::STRING_DOUBLE => {191 let inner = &text[1..text.len() - 1];192 unescape::unescape(inner).ok_or_else(|| p.error("invalid string escape".into()))?193 }194 SyntaxKind::STRING_SINGLE => {195 let inner = &text[1..text.len() - 1];196 unescape::unescape(inner).ok_or_else(|| p.error("invalid string escape".into()))?197 }198 SyntaxKind::STRING_DOUBLE_VERBATIM => {199 let inner = &text[2..text.len() - 1];200 inner.replace("\"\"", "\"")201 }202 SyntaxKind::STRING_SINGLE_VERBATIM => {203 let inner = &text[2..text.len() - 1];204 inner.replace("''", "'")205 }206 SyntaxKind::STRING_BLOCK => {207 let inner = &text[3..];208 let collected = collect_lexed_str_block(inner)209 .map_err(|_| p.error("invalid string block".into()))?;210 let mut result = String::new();211 for (i, line) in collected.lines.iter().enumerate() {212 if i > 0 {213 result.push('\n');214 }215 result.push_str(line);216 }217 if !collected.truncate {218 result.push('\n');219 }220 result221 }222 _ => return Err(p.error(format!("expected string, got {}", p.current_desc()))),223 };224 p.eat_any();225 Ok(s.into())226}227228fn is_string_token(kind: SyntaxKind) -> bool {229 matches!(230 kind,231 SyntaxKind::STRING_DOUBLE232 | SyntaxKind::STRING_SINGLE233 | SyntaxKind::STRING_DOUBLE_VERBATIM234 | SyntaxKind::STRING_SINGLE_VERBATIM235 | SyntaxKind::STRING_BLOCK236 )237}238239fn parse_number(p: &mut Parser<'_>) -> Result<f64> {240 let text = p.text();241 let n: f64 = text242 .replace('_', "")243 .parse()244 .map_err(|_| p.error(format!("invalid number literal: {text}")))?;245 if !n.is_finite() {246 return Err(p.error("numbers are finite".into()));247 }248 p.eat_any();249 Ok(n)250}251252fn literal(p: &mut Parser<'_>) -> Option<LiteralType> {253 let t = match p.peek() {254 T![self] => LiteralType::This,255 T![super] => LiteralType::Super,256 T!['$'] => LiteralType::Dollar,257 T![null] => LiteralType::Null,258 T![true] => LiteralType::True,259 T![false] => LiteralType::False,260 _ => return None,261 };262 p.eat_any();263 Some(t)264}265266fn assert_stmt(p: &mut Parser<'_>) -> Result<AssertStmt> {267 p.eat(T![assert])?;268 let cond = spanned(p, expr)?;269 let msg = if p.try_eat(T![:]) {270 Some(spanned(p, expr)?)271 } else {272 None273 };274 Ok(AssertStmt(cond, msg))275}276277fn if_spec_data(p: &mut Parser<'_>) -> Result<IfSpecData> {278 let v = spanned(p, |p| p.eat(T![if]))?;279 let cond = expr(p)?;280 Ok(IfSpecData { span: v.span, cond })281}282283fn if_else(p: &mut Parser<'_>) -> Result<IfElse> {284 let cond = if_spec_data(p)?;285 p.eat(T![then])?;286 let cond_then = expr(p)?;287 let cond_else = if p.try_eat(T![else]) {288 Some(expr(p)?)289 } else {290 None291 };292 Ok(IfElse {293 cond,294 cond_then,295 cond_else,296 })297}298299fn slice_desc(p: &mut Parser<'_>, start: Option<Spanned<Expr>>) -> Result<SliceDesc> {300 p.eat(T![:])?;301 let end = if !p.at(T![:]) && !p.at(T![']']) {302 Some(spanned(p, expr)?)303 } else {304 None305 };306 let step = if p.try_eat(T![:]) {307 if p.at(T![']']) {308 None309 } else {310 Some(spanned(p, expr)?)311 }312 } else {313 None314 };315 Ok(SliceDesc { start, end, step })316}317318fn destruct(p: &mut Parser<'_>) -> Result<Destruct> {319 if p.at_ident() {320 return Ok(Destruct::Full(p.expect_ident()?));321 }322 #[cfg(not(feature = "exp-destruct"))]323 return Err(p.error(format!("expected identifier, got {}", p.current_desc())));324 #[cfg(feature = "exp-destruct")]325 {326 if p.try_eat(T![?]) {327 return Ok(Destruct::Skip);328 }329 if p.at(T!['[']) {330 return destruct_array(p);331 }332 if p.at(T!['{']) {333 return destruct_object(p);334 }335 Err(p.error(format!(336 "expected destructure pattern, got {}",337 p.current_desc()338 )))339 }340}341342#[cfg(feature = "exp-destruct")]343fn destruct_rest(p: &mut Parser<'_>) -> Result<jrsonnet_ir::DestructRest> {344 p.eat(T![...])?;345 if p.at_ident() {346 Ok(jrsonnet_ir::DestructRest::Keep(p.expect_ident()?))347 } else {348 Ok(jrsonnet_ir::DestructRest::Drop)349 }350}351352#[cfg(feature = "exp-destruct")]353fn destruct_array(p: &mut Parser<'_>) -> Result<Destruct> {354 p.eat(T!['['])?;355 let mut start = Vec::new();356 let mut rest = None;357 let mut end = Vec::new();358 if !p.at(T![']']) {359 loop {360 if p.at(T![...]) {361 rest = Some(destruct_rest(p)?);362 if p.try_eat(T![,]) {363 if !p.at(T![']']) {364 loop {365 end.push(destruct(p)?);366 if !p.try_eat(T![,]) {367 break;368 }369 if p.at(T![']']) {370 break;371 }372 }373 }374 }375 break;376 }377 start.push(destruct(p)?);378 if !p.try_eat(T![,]) {379 break;380 }381 if p.at(T![']']) {382 break;383 }384 }385 }386 p.eat(T![']'])?;387 Ok(Destruct::Array { start, rest, end })388}389390#[cfg(feature = "exp-destruct")]391fn destruct_object(p: &mut Parser<'_>) -> Result<Destruct> {392 p.eat(T!['{'])?;393 let mut fields = Vec::new();394 let mut rest = None;395 if !p.at(T!['}']) {396 loop {397 if p.at(T![...]) {398 rest = Some(destruct_rest(p)?);399 p.try_eat(T![,]);400 break;401 }402 let name = p.expect_ident()?;403 let into = if p.try_eat(T![:]) {404 Some(destruct(p)?)405 } else {406 None407 };408 let default = if p.try_eat(T![=]) {409 Some(Rc::new(spanned(p, expr)?))410 } else {411 None412 };413 fields.push((name, into, default));414 if !p.try_eat(T![,]) {415 break;416 }417 if p.at(T!['}']) {418 break;419 }420 }421 }422 p.eat(T!['}'])?;423 Ok(Destruct::Object { fields, rest })424}425426fn params(p: &mut Parser<'_>) -> Result<ExprParams> {427 if p.at(T![')']) {428 return Ok(ExprParams::new(Vec::new()));429 }430 let mut result = Vec::new();431 loop {432 let d = destruct(p)?;433 let default = if p.try_eat(T![=]) {434 Some(Rc::new(expr(p)?))435 } else {436 None437 };438 result.push(ExprParam {439 destruct: d,440 default,441 });442 if !p.try_eat(T![,]) {443 break;444 }445 if p.at(T![')']) {446 break;447 }448 }449 Ok(ExprParams::new(result))450}451452fn args(p: &mut Parser<'_>) -> Result<ArgsDesc> {453 if p.at(T![')']) {454 return Ok(ArgsDesc::new(Vec::new(), Vec::new()));455 }456 let mut unnamed = Vec::new();457 let mut named = Vec::new();458 let mut named_started = false;459 loop {460 let is_named = p.at_ident() && {461 let next_offset = p.offset + 1;462 next_offset < p.lexemes.len() && p.lexemes[next_offset].kind == T![=] && {463 let after_eq = next_offset + 1;464 after_eq >= p.lexemes.len() || p.lexemes[after_eq].kind != T![=]465 }466 };467 if is_named {468 let name: IStr = p.expect_ident()?;469 p.eat(T![=])?;470 let value = Rc::new(expr(p)?);471 named.push((name, value));472 named_started = true;473 } else {474 if named_started {475 return Err(p.error("positional argument after named argument".into()));476 }477 unnamed.push(Rc::new(expr(p)?));478 }479 if !p.try_eat(T![,]) {480 break;481 }482 if p.at(T![')']) {483 break;484 }485 }486 Ok(ArgsDesc::new(unnamed, named))487}488489fn bind(p: &mut Parser<'_>) -> Result<BindSpec> {490 #[cfg(feature = "exp-destruct")]491 {492 if !p.at_ident() {493 let d = destruct(p)?;494 p.eat(T![=])?;495 let value = Rc::new(expr(p)?);496 return Ok(BindSpec::Field { into: d, value });497 }498 }499 let name = p.expect_ident()?;500 if p.try_eat(T!['(']) {501 let ps = params(p)?;502 p.eat(T![')'])?;503 p.eat(T![=])?;504 let value = Rc::new(expr(p)?);505 Ok(BindSpec::Function {506 name,507 params: ps,508 value,509 })510 } else {511 p.eat(T![=])?;512 let value = Rc::new(expr(p)?);513 Ok(BindSpec::Field {514 into: Destruct::Full(name),515 value,516 })517 }518}519520fn visibility(p: &mut Parser<'_>) -> Result<Visibility> {521 p.eat(T![:])?;522 if p.try_eat(T![:]) {523 if p.try_eat(T![:]) {524 Ok(Visibility::Unhide)525 } else {526 Ok(Visibility::Hidden)527 }528 } else {529 Ok(Visibility::Normal)530 }531}532533fn field_name(p: &mut Parser<'_>) -> Result<FieldName> {534 if p.at_ident() {535 Ok(FieldName::Fixed(p.expect_ident()?))536 } else if is_string_token(p.peek()) {537 Ok(FieldName::Fixed(parse_string_content(p)?))538 } else if p.at(T!['[']) {539 p.eat(T!['['])?;540 let e = expr(p)?;541 p.eat(T![']'])?;542 Ok(FieldName::Dyn(e))543 } else {544 Err(p.error(format!("expected field name, got {}", p.current_desc())))545 }546}547548fn field(p: &mut Parser<'_>) -> Result<FieldMember> {549 let name = spanned(p, field_name)?;550551 if p.at(T!['(']) {552 p.eat(T!['('])?;553 let ps = params(p)?;554 p.eat(T![')'])?;555 let vis = visibility(p)?;556 let value = Rc::new(expr(p)?);557 Ok(FieldMember {558 name,559 plus: false,560 params: Some(ps),561 visibility: vis,562 value,563 })564 } else {565 let plus = p.try_eat(T![+]);566 let vis = visibility(p)?;567 let value = Rc::new(expr(p)?);568 Ok(FieldMember {569 name,570 plus,571 params: None,572 visibility: vis,573 value,574 })575 }576}577578fn member(p: &mut Parser<'_>) -> Result<Member> {579 if p.at(T![local]) {580 p.eat(T![local])?;581 Ok(Member::BindStmt(bind(p)?))582 } else if p.at(T![assert]) {583 Ok(Member::AssertStmt(assert_stmt(p)?))584 } else {585 Ok(Member::Field(field(p)?))586 }587}588589fn for_spec(p: &mut Parser<'_>) -> Result<ForSpecData> {590 p.eat(T![for])?;591 let d = destruct(p)?;592 p.eat(T![in])?;593 let over = expr(p)?;594 Ok(ForSpecData { destruct: d, over })595}596597fn compspecs(p: &mut Parser<'_>) -> Result<Vec<CompSpec>> {598 let mut specs = Vec::new();599 specs.push(CompSpec::ForSpec(for_spec(p)?));600 loop {601 if p.at(T![for]) {602 specs.push(CompSpec::ForSpec(for_spec(p)?));603 } else if p.at(T![if]) {604 let isd = if_spec_data(p)?;605 specs.push(CompSpec::IfSpec(isd));606 } else {607 break;608 }609 }610 Ok(specs)611}612613fn objinside(p: &mut Parser<'_>) -> Result<ObjBody> {614 if p.at(T!['}']) {615 return Ok(ObjBody::MemberList(ObjMembers {616 locals: Rc::new(Vec::new()),617 asserts: Rc::new(Vec::new()),618 fields: Vec::new(),619 }));620 }621622 let mut members = Vec::new();623 loop {624 members.push(member(p)?);625 if !p.try_eat(T![,]) {626 break;627 }628 if p.at(T!['}']) || p.at(T![for]) {629 break;630 }631 }632633 if p.at(T![for]) {634 let specs = compspecs(p)?;635 let mut locals = Vec::new();636 let mut field_member = None;637 for m in members {638 match m {639 Member::Field(f) => {640 if field_member.is_some() {641 return Err(642 p.error("object comprehension can only contain one field".into())643 );644 }645 field_member = Some(f);646 }647 Member::BindStmt(b) => locals.push(b),648 Member::AssertStmt(_) => {649 return Err(p.error("asserts are unsupported in object comprehension".into()));650 }651 }652 }653 Ok(ObjBody::ObjComp(ObjComp {654 locals: Rc::new(locals),655 field: Rc::new(656 field_member.ok_or_else(|| p.error("missing object comprehension field".into()))?,657 ),658 compspecs: specs,659 }))660 } else {661 let mut locals = Vec::new();662 let mut asserts = Vec::new();663 let mut fields = Vec::new();664 for m in members {665 match m {666 Member::Field(f) => fields.push(f),667 Member::BindStmt(b) => locals.push(b),668 Member::AssertStmt(a) => asserts.push(a),669 }670 }671 Ok(ObjBody::MemberList(ObjMembers {672 locals: Rc::new(locals),673 asserts: Rc::new(asserts),674 fields,675 }))676 }677}678679fn expr_basic(p: &mut Parser<'_>) -> Result<Expr> {680 if let Some(lit) = literal(p) {681 return Ok(Expr::Literal(lit));682 }683684 match p.peek() {685 SyntaxKind::STRING_DOUBLE686 | SyntaxKind::STRING_SINGLE687 | SyntaxKind::STRING_DOUBLE_VERBATIM688 | SyntaxKind::STRING_SINGLE_VERBATIM689 | SyntaxKind::STRING_BLOCK => Ok(Expr::Str(parse_string_content(p)?)),690691 SyntaxKind::FLOAT => Ok(Expr::Num(parse_number(p)?)),692693 T!['('] => {694 p.eat(T!['('])?;695 let e = expr(p)?;696 p.eat(T![')'])?;697 Ok(e)698 }699700 T!['['] => {701 p.eat(T!['['])?;702 if p.at(T![']']) {703 p.eat(T![']'])?;704 return Ok(Expr::Arr(Rc::new(Vec::new())));705 }706 let first = expr(p)?;707 if p.at(T![for]) {708 let specs = compspecs(p)?;709 p.eat(T![']'])?;710 Ok(Expr::ArrComp(Rc::new(first), specs))711 } else if p.at(T![,]) && {712 let next = p.offset + 1;713 next < p.lexemes.len() && p.lexemes[next].kind == T![for]714 } {715 p.eat(T![,])?;716 let specs = compspecs(p)?;717 p.eat(T![']'])?;718 Ok(Expr::ArrComp(Rc::new(first), specs))719 } else {720 let mut elems = vec![first];721 while p.try_eat(T![,]) {722 if p.at(T![']']) {723 break;724 }725 elems.push(expr(p)?);726 }727 p.eat(T![']'])?;728 Ok(Expr::Arr(Rc::new(elems)))729 }730 }731732 T!['{'] => {733 p.eat(T!['{'])?;734 let body = objinside(p)?;735 p.eat(T!['}'])?;736 Ok(Expr::Obj(body))737 }738739 T![local] => {740 p.eat(T![local])?;741 let mut binds = Vec::new();742 loop {743 binds.push(bind(p)?);744 if !p.try_eat(T![,]) {745 break;746 }747 }748 p.eat(T![;])?;749 let body = expr(p)?;750 Ok(Expr::LocalExpr(binds, Box::new(body)))751 }752753 T![if] => Ok(Expr::IfElse(Box::new(if_else(p)?))),754755 T![function] => {756 p.eat(T![function])?;757 p.eat(T!['('])?;758 let ps = params(p)?;759 p.eat(T![')'])?;760 let body = expr(p)?;761 Ok(Expr::Function(ps, Rc::new(body)))762 }763764 T![assert] => {765 let a = assert_stmt(p)?;766 p.eat(T![;])?;767 let rest = expr(p)?;768 Ok(Expr::AssertExpr(Rc::new(AssertExpr { assert: a, rest })))769 }770771 T![error] => {772 let span = spanned(p, |p| p.eat(T![error]))?;773 let e = expr(p)?;774 Ok(Expr::ErrorStmt(span.span, Box::new(e)))775 }776777 T![importstr] => {778 let kind = spanned(p, |p| {779 p.eat(T![importstr])?;780 Ok(ImportKind::Str)781 })?;782 let path = expr(p)?;783 Ok(Expr::Import(kind, Box::new(path)))784 }785786 T![importbin] => {787 let kind = spanned(p, |p| {788 p.eat(T![importbin])?;789 Ok(ImportKind::Bin)790 })?;791 let path = expr(p)?;792 Ok(Expr::Import(kind, Box::new(path)))793 }794795 T![import] => {796 let kind = spanned(p, |p| {797 p.eat(T![import])?;798 Ok(ImportKind::Normal)799 })?;800 let path = expr(p)?;801 Ok(Expr::Import(kind, Box::new(path)))802 }803804 SyntaxKind::IDENT => {805 let text = p.text();806 if is_reserved(text) {807 return Err(p.error(format!("unexpected reserved word '{text}'")));808 }809 let n = spanned(p, |p| {810 let s: IStr = p.text().into();811 p.eat_any();812 Ok(s)813 })?;814 Ok(Expr::Var(n))815 }816817 _ => Err(p.error(format!("unexpected {}", p.current_desc()))),818 }819}820821fn flush_index_parts(e: &mut Expr, parts: &mut Vec<IndexPart>) {822 if parts.is_empty() {823 return;824 }825 let old = std::mem::replace(e, Expr::Literal(LiteralType::Null));826 *e = Expr::Index {827 indexable: Box::new(old),828 parts: std::mem::take(parts),829 };830}831832fn expr_suffix(p: &mut Parser<'_>) -> Result<Expr> {833 let mut e = expr_basic(p)?;834 // Accumulate consecutive index parts (.field, [expr], ?.field, ?.[expr])835 // into a single Expr::Index. This is critical for null-coalesce semantics:836 // a?.b.c needs all parts in one Index so the evaluator can skip .c when .b is null.837 let mut parts: Vec<IndexPart> = Vec::new();838839 loop {840 #[cfg(feature = "exp-null-coaelse")]841 if p.at(T![?]) {842 p.eat_any();843 if p.try_eat(T![.]) {844 if p.at(T!['[']) {845 // ?.[expr]846 p.eat(T!['['])?;847 let idx = spanned(p, expr)?;848 p.eat(T![']'])?;849 parts.push(IndexPart {850 span: idx.span,851 value: idx.value,852 null_coaelse: true,853 });854 } else {855 // ?.field856 let id_spanned = spanned(p, |p| {857 let name = p.expect_ident()?;858 Ok(Expr::Str(name))859 })?;860 parts.push(IndexPart {861 span: id_spanned.span,862 value: id_spanned.value,863 null_coaelse: true,864 });865 }866 } else {867 return Err(p.error("expected '.' after '?'".into()));868 }869 continue;870 }871872 if p.at(T![.]) {873 p.eat(T![.])?;874 let id_spanned = spanned(p, |p| {875 let name = p.expect_ident()?;876 Ok(Expr::Str(name))877 })?;878 parts.push(IndexPart {879 span: id_spanned.span,880 value: id_spanned.value,881 #[cfg(feature = "exp-null-coaelse")]882 null_coaelse: false,883 });884 } else if p.at(T!['[']) {885 p.eat(T!['['])?;886887 if p.at(T![:]) {888 // Slice: flush index parts first, then handle slice889 flush_index_parts(&mut e, &mut parts);890 let slice = slice_desc(p, None)?;891 p.eat(T![']'])?;892 e = Expr::Slice(Box::new(Slice { value: e, slice }));893 } else {894 let idx = spanned(p, expr)?;895 if p.at(T![:]) {896 // Slice with start: flush index parts first897 flush_index_parts(&mut e, &mut parts);898 let slice = slice_desc(p, Some(idx))?;899 p.eat(T![']'])?;900 e = Expr::Slice(Box::new(Slice { value: e, slice }));901 } else {902 // Bracket index: add to parts903 p.eat(T![']'])?;904 parts.push(IndexPart {905 span: idx.span,906 value: idx.value,907 #[cfg(feature = "exp-null-coaelse")]908 null_coaelse: false,909 });910 }911 }912 } else if p.at(T!['(']) {913 flush_index_parts(&mut e, &mut parts);914 let args_spanned = spanned(p, |p| {915 p.eat(T!['('])?;916 let a = args(p)?;917 p.eat(T![')'])?;918 Ok(a)919 })?;920 let tailstrict = p.try_eat(T![tailstrict]);921 e = Expr::Apply(Box::new(e), args_spanned, tailstrict);922 } else if p.at(T!['{']) {923 flush_index_parts(&mut e, &mut parts);924 p.eat(T!['{'])?;925 let body = objinside(p)?;926 p.eat(T!['}'])?;927 e = Expr::ObjExtend(Rc::new(e), body);928 } else {929 break;930 }931 }932933 flush_index_parts(&mut e, &mut parts);934 Ok(e)935}936937fn prefix_binding_power(op: UnaryOpType) -> u8 {938 match op {939 UnaryOpType::Plus | UnaryOpType::Minus | UnaryOpType::Not | UnaryOpType::BitNot => 20,940 }941}942943fn infix_binding_power(op: BinaryOpType) -> (u8, u8) {944 match op {945 BinaryOpType::Or => (2, 3),946 #[cfg(feature = "exp-null-coaelse")]947 BinaryOpType::NullCoaelse => (2, 3),948 BinaryOpType::And => (4, 5),949 BinaryOpType::BitOr => (6, 7),950 BinaryOpType::BitXor => (8, 9),951 BinaryOpType::BitAnd => (10, 11),952 BinaryOpType::Eq | BinaryOpType::Neq => (12, 13),953 BinaryOpType::Lt954 | BinaryOpType::Gt955 | BinaryOpType::Lte956 | BinaryOpType::Gte957 | BinaryOpType::In => (14, 15),958 BinaryOpType::Lhs | BinaryOpType::Rhs => (16, 17),959 BinaryOpType::Add | BinaryOpType::Sub => (18, 19),960 BinaryOpType::Mul | BinaryOpType::Div | BinaryOpType::Mod => (20, 21),961 }962}963964fn unary_op(kind: SyntaxKind) -> Option<UnaryOpType> {965 match kind {966 T![+] => Some(UnaryOpType::Plus),967 T![-] => Some(UnaryOpType::Minus),968 T![!] => Some(UnaryOpType::Not),969 T![~] => Some(UnaryOpType::BitNot),970 _ => None,971 }972}973974fn binary_op(p: &Parser<'_>) -> Option<BinaryOpType> {975 match p.peek() {976 T![||] => Some(BinaryOpType::Or),977 T![&&] => Some(BinaryOpType::And),978 T![|] => Some(BinaryOpType::BitOr),979 T![^] => Some(BinaryOpType::BitXor),980 T![&] => Some(BinaryOpType::BitAnd),981 T![==] => Some(BinaryOpType::Eq),982 T![!=] => Some(BinaryOpType::Neq),983 T![<] => Some(BinaryOpType::Lt),984 T![>] => Some(BinaryOpType::Gt),985 T![<=] => Some(BinaryOpType::Lte),986 T![>=] => Some(BinaryOpType::Gte),987 T![<<] => Some(BinaryOpType::Lhs),988 T![>>] => Some(BinaryOpType::Rhs),989 T![+] => Some(BinaryOpType::Add),990 T![-] => Some(BinaryOpType::Sub),991 T![*] => Some(BinaryOpType::Mul),992 T![/] => Some(BinaryOpType::Div),993 T![%] => Some(BinaryOpType::Mod),994 T![in] => Some(BinaryOpType::In),995 #[cfg(feature = "exp-null-coaelse")]996 T![??] => Some(BinaryOpType::NullCoaelse),997 _ => None,998 }999}10001001fn expr_bp(p: &mut Parser<'_>, min_bp: u8) -> Result<Expr> {1002 let mut lhs = if let Some(op) = unary_op(p.peek()) {1003 p.eat_any();1004 let rbp = prefix_binding_power(op);1005 let rhs = expr_bp(p, rbp)?;1006 Expr::UnaryOp(op, Box::new(rhs))1007 } else {1008 expr_suffix(p)?1009 };10101011 loop {1012 if p.at_eof() {1013 break;1014 }10151016 let Some(op) = binary_op(p) else {1017 break;1018 };10191020 let (lbp, rbp) = infix_binding_power(op);1021 if lbp < min_bp {1022 break;1023 }10241025 p.eat_any();1026 let rhs = expr_bp(p, rbp)?;1027 lhs = Expr::BinaryOp(Box::new(BinaryOp { lhs, op, rhs }));1028 }10291030 Ok(lhs)1031}10321033fn expr(p: &mut Parser<'_>) -> Result<Expr> {1034 expr_bp(p, 0)1035}10361037pub fn parse(str: &str, settings: &ParserSettings) -> Result<Expr> {1038 let mut p = Parser::new(str, settings.source.clone());1039 for lexeme in &p.lexemes {1040 if let Some(desc) = lexeme.kind.error_description() {1041 return Err(ParseError {1042 message: desc.to_owned(),1043 location: ParseErrorLocation {1044 offset: lexeme.range.0 as usize,1045 },1046 });1047 }1048 }1049 let e = expr(&mut p)?;1050 if !p.at_eof() {1051 return Err(p.error(format!("expected end of file, got {}", p.current_desc(),)));1052 }1053 Ok(e)1054}10551056pub fn string_to_expr(s: IStr, settings: &ParserSettings) -> Spanned<Expr> {1057 let len = s.len();1058 Spanned::new(Expr::Str(s), Span(settings.source.clone(), 0, len as u32))1059}10601061#[cfg(test)]1062mod tests {1063 use std::fs;10641065 use insta::{assert_snapshot, glob};1066 use jrsonnet_ir::{IStr, Source};10671068 use super::*;10691070 fn parse_str(input: &str) -> Expr {1071 let source = Source::new_virtual("<test>".into(), input.into());1072 let settings = ParserSettings { source };1073 parse(input, &settings).unwrap()1074 }10751076 #[test]1077 #[cfg(not(feature = "exp-null-coaelse"))]1078 fn basic_test() {1079 let v = parse_str("assert true[false] : false ; true");1080 assert_snapshot!(format!("{v:#?}"));1081 }10821083 #[test]1084 fn literals() {1085 let v = parse_str("[null, true, false, self, super, $]");1086 assert_snapshot!(format!("{v:#?}"));1087 }10881089 #[test]1090 fn basic_math() {1091 let v = parse_str("2+2*2");1092 assert_snapshot!(format!("{v:#?}"));1093 }10941095 #[test]1096 fn underscore_numbers() {1097 let v = parse_str("[1_000, 1_000.000_1, 1_0e1_0]");1098 assert_snapshot!(format!("{v:#?}"));1099 }11001101 #[test]1102 fn strings() {1103 let v = parse_str(r#"["hello", 'world', @"raw""str", @'raw''str']"#);1104 assert_snapshot!(format!("{v:#?}"));1105 }11061107 #[test]1108 fn object() {1109 let v = parse_str("{a: 1, b:: 2, c::: 3}");1110 assert_snapshot!(format!("{v:#?}"));1111 }11121113 #[test]1114 fn function_and_call() {1115 let v = parse_str("local f(x, y=1) = x + y; f(2, y=3)");1116 assert_snapshot!(format!("{v:#?}"));1117 }11181119 #[test]1120 fn if_then_else() {1121 let v = parse_str("if true then 1 else 2");1122 assert_snapshot!(format!("{v:#?}"));1123 }11241125 #[test]1126 fn imports() {1127 let v = parse_str(r#"[import "a", importstr "b", importbin "c"]"#);1128 assert_snapshot!(format!("{v:#?}"));1129 }11301131 #[test]1132 fn array_comp() {1133 let v = parse_str("[x for x in arr]");1134 assert_snapshot!(format!("{v:#?}"));1135 }11361137 #[test]1138 #[cfg(not(feature = "exp-null-coaelse"))]1139 fn index_and_suffix() {1140 let v = parse_str("std.test(2).field[0]");1141 assert_snapshot!(format!("{v:#?}"));1142 }11431144 #[test]1145 fn obj_extend() {1146 let v = parse_str("{} { x: 1 }");1147 assert_snapshot!(format!("{v:#?}"));1148 }11491150 #[test]1151 fn unary_ops() {1152 let v = parse_str("!a && !b");1153 assert_snapshot!(format!("{v:#?}"));1154 }11551156 #[test]1157 fn error_expr() {1158 let v = parse_str("error \"bad\"");1159 assert_snapshot!(format!("{v:#?}"));1160 }11611162 #[test]1163 fn slice() {1164 let v = parse_str("[a[1:], a[1::], a[:1:], a[::1]]");1165 assert_snapshot!(format!("{v:#?}"));1166 }11671168 #[test]1169 #[cfg(not(feature = "exp-null-coaelse"))]1170 fn peg_snapshots() {1171 glob!("../../jrsonnet-peg-parser/src", "tests/*.jsonnet", |path| {1172 let input = fs::read_to_string(path).expect("read test file");1173 let source = Source::new_virtual("<test>".into(), IStr::empty());1174 let settings = ParserSettings { source };1175 let v = parse(&input, &settings).unwrap();1176 let v = format!("{v:#?}");1177 assert_snapshot!(v);1178 });1179 }1180}crates/jrsonnet-ir/src/function.rsdiffbeforeafterboth--- a/crates/jrsonnet-ir/src/function.rs
+++ b/crates/jrsonnet-ir/src/function.rs
@@ -1,6 +1,4 @@
-use std::fmt;
-use std::ops::Deref;
-use std::rc::Rc;
+use std::{fmt, ops::Deref, rc::Rc};
use jrsonnet_gcmodule::Acyclic;
use jrsonnet_interner::IStr;
@@ -50,11 +48,7 @@
}
impl ParamDefault {
pub const fn exists(is_exists: bool) -> Self {
- if is_exists {
- Self::Exists
- } else {
- Self::None
- }
+ if is_exists { Self::Exists } else { Self::None }
}
}
impl fmt::Display for ParamDefault {
crates/jrsonnet-ir/src/location.rsdiffbeforeafterboth--- a/crates/jrsonnet-ir/src/location.rs
+++ b/crates/jrsonnet-ir/src/location.rs
@@ -85,7 +85,7 @@
#[cfg(test)]
pub mod tests {
- use super::{offset_to_location, CodeLocation};
+ use super::{CodeLocation, offset_to_location};
#[test]
fn test() {
crates/jrsonnet-ir/src/source.rsdiffbeforeafterboth--- a/crates/jrsonnet-ir/src/source.rs
+++ b/crates/jrsonnet-ir/src/source.rs
@@ -9,7 +9,7 @@
use jrsonnet_gcmodule::Acyclic;
use jrsonnet_interner::{IBytes, IStr};
-use crate::location::{location_to_offset, offset_to_location, CodeLocation};
+use crate::location::{CodeLocation, location_to_offset, offset_to_location};
macro_rules! any_ext_methods {
($T:ident) => {
@@ -286,22 +286,22 @@
}
pub fn code(&self) -> &str {
- &self.0 .1
+ &self.0.1
}
pub fn source_path(&self) -> &SourcePath {
- &self.0 .0
+ &self.0.0
}
pub fn map_source_locations<const S: usize>(&self, locs: &[u32; S]) -> [CodeLocation; S] {
- offset_to_location(&self.0 .1, locs)
+ offset_to_location(&self.0.1, locs)
}
pub fn map_from_source_location(&self, line: usize, column: usize) -> Option<usize> {
- location_to_offset(&self.0 .1, line, column)
+ location_to_offset(&self.0.1, line, column)
}
}
impl fmt::Debug for Source {
fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
- write!(f, "{:?}", self.0 .0)
+ write!(f, "{:?}", self.0.0)
}
}
crates/jrsonnet-lexer/Cargo.tomldiffbeforeafterboth--- a/crates/jrsonnet-lexer/Cargo.toml
+++ b/crates/jrsonnet-lexer/Cargo.toml
@@ -1,5 +1,6 @@
[package]
name = "jrsonnet-lexer"
+description = "Jrsonnet lexer shared between rowan and hand-rolled parser"
authors.workspace = true
edition.workspace = true
license.workspace = true
crates/jrsonnet-lexer/src/lex.rsdiffbeforeafterboth--- a/crates/jrsonnet-lexer/src/lex.rs
+++ b/crates/jrsonnet-lexer/src/lex.rs
@@ -1,12 +1,12 @@
use core::ops::Range;
use logos::Logos;
+
// use rowan::{TextRange, TextSize};
-
use crate::{
+ Span,
generated::syntax_kinds::SyntaxKind,
- string_block::{lex_str_block, StringBlockError},
- Span,
+ string_block::{StringBlockError, lex_str_block},
};
pub struct Lexer<'a> {
crates/jrsonnet-lexer/src/lib.rsdiffbeforeafterboth--- a/crates/jrsonnet-lexer/src/lib.rs
+++ b/crates/jrsonnet-lexer/src/lib.rs
@@ -7,4 +7,4 @@
pub use generated::syntax_kinds::SyntaxKind;
pub use lex::{Lexeme, Lexer};
-pub use string_block::{collect_lexed_str_block, CollectStrBlock};
+pub use string_block::{CollectStrBlock, collect_lexed_str_block};
crates/jrsonnet-lexer/src/string_block.rsdiffbeforeafterboth--- a/crates/jrsonnet-lexer/src/string_block.rs
+++ b/crates/jrsonnet-lexer/src/string_block.rs
@@ -6,8 +6,8 @@
MissingIndent,
}
+use StringBlockError::*;
use logos::Lexer;
-use StringBlockError::*;
use crate::generated::syntax_kinds::SyntaxKind;
crates/jrsonnet-macros/src/lib.rsdiffbeforeafterboth--- a/crates/jrsonnet-macros/src/lib.rs
+++ b/crates/jrsonnet-macros/src/lib.rs
@@ -3,14 +3,13 @@
use proc_macro2::TokenStream;
use quote::{quote, quote_spanned};
use syn::{
- parenthesized,
+ Attribute, DeriveInput, Error, Expr, ExprClosure, FnArg, GenericArgument, Ident, ItemFn,
+ LitStr, Meta, Pat, Path, PathArguments, Result, ReturnType, Token, Type, parenthesized,
parse::{Parse, ParseStream},
parse_macro_input,
punctuated::Punctuated,
spanned::Spanned,
token::Comma,
- Attribute, DeriveInput, Error, Expr, ExprClosure, FnArg, GenericArgument, Ident, ItemFn,
- LitStr, Meta, Pat, Path, PathArguments, Result, ReturnType, Token, Type,
};
use self::typed::{derive_from_untyped_inner, derive_into_untyped_inner, derive_typed_inner};
crates/jrsonnet-macros/src/typed.rsdiffbeforeafterboth--- a/crates/jrsonnet-macros/src/typed.rs
+++ b/crates/jrsonnet-macros/src/typed.rs
@@ -1,10 +1,13 @@
-use crate::names::Names;
-use crate::{extract_type_from_option, kw, parse_attr, type_is_path};
use proc_macro2::TokenStream;
use quote::quote;
-use syn::parse::{Parse, ParseStream};
-use syn::spanned::Spanned as _;
-use syn::{parenthesized, token, DeriveInput, Error, Ident, LitStr, Result, Token, Type};
+use syn::{
+ DeriveInput, Error, Ident, LitStr, Result, Token, Type, parenthesized,
+ parse::{Parse, ParseStream},
+ spanned::Spanned as _,
+ token,
+};
+
+use crate::{extract_type_from_option, kw, names::Names, parse_attr, type_is_path};
#[derive(Default)]
#[allow(clippy::struct_excessive_bools)]
crates/jrsonnet-peg-parser/src/lib.rsdiffbeforeafterboth--- a/crates/jrsonnet-peg-parser/src/lib.rs
+++ b/crates/jrsonnet-peg-parser/src/lib.rs
@@ -1,12 +1,13 @@
+use std::rc::Rc;
+
use jrsonnet_gcmodule::Acyclic;
use jrsonnet_ir::{
- unescape, ArgsDesc, AssertExpr, AssertStmt, BinaryOp, BindSpec, CompSpec, Destruct,
- DestructRest, Expr, ExprParam, ExprParams, FieldMember, FieldName, ForSpecData, IStr, IfElse,
- IfSpecData, ImportKind, IndexPart, LiteralType, Member, ObjBody, ObjComp, ObjMembers, Slice,
- SliceDesc, Source, Span, Spanned, Visibility,
+ ArgsDesc, AssertExpr, AssertStmt, BinaryOp, BindSpec, CompSpec, Destruct, DestructRest, Expr,
+ ExprParam, ExprParams, FieldMember, FieldName, ForSpecData, IStr, IfElse, IfSpecData,
+ ImportKind, IndexPart, LiteralType, Member, ObjBody, ObjComp, ObjMembers, Slice, SliceDesc,
+ Source, Span, Spanned, Visibility, unescape,
};
use peg::parser;
-use std::rc::Rc;
pub struct ParserSettings {
pub source: Source,
@@ -58,7 +59,7 @@
rule id() -> IStr = v:$(quiet!{ !reserved() alpha() (alpha() / digit())*} / expected!("<identifier>")) { v.into() }
rule keyword(id: &'static str) -> ()
- = ##parse_string_literal(id) end_of_ident()
+ = #parse_string_literal(id) end_of_ident()
pub rule param(s: &ParserSettings) -> ExprParam = destruct:destruct(s) expr:(_ "=" _ expr:expr(s){expr})? { ExprParam { destruct, default: expr.map(Rc::new) } }
pub rule params(s: &ParserSettings) -> ExprParams
@@ -429,7 +430,7 @@
use insta::{assert_snapshot, glob};
use jrsonnet_ir::{IStr, Source};
- use crate::{parse, ParserSettings};
+ use crate::{ParserSettings, parse};
#[test]
fn snapshots() {
crates/jrsonnet-rowan-parser/src/event.rsdiffbeforeafterboth--- a/crates/jrsonnet-rowan-parser/src/event.rs
+++ b/crates/jrsonnet-rowan-parser/src/event.rs
@@ -3,10 +3,10 @@
use rowan::{GreenNodeBuilder, Language, TextRange, TextSize};
use crate::{
+ AstToken, JsonnetLanguage, SyntaxKind,
lex::Lexeme,
nodes::Trivia,
parser::{LocatedSyntaxError, Parse, SyntaxError},
- AstToken, JsonnetLanguage, SyntaxKind,
};
#[derive(Clone, Debug)]
crates/jrsonnet-rowan-parser/src/generated/nodes.rsdiffbeforeafterboth--- a/crates/jrsonnet-rowan-parser/src/generated/nodes.rs
+++ b/crates/jrsonnet-rowan-parser/src/generated/nodes.rs
@@ -3,9 +3,9 @@
#![allow(non_snake_case, clippy::match_like_matches_macro)]
use crate::{
- ast::{support, AstChildren, AstNode, AstToken},
SyntaxKind::{self, *},
SyntaxNode, SyntaxToken, T,
+ ast::{AstChildren, AstNode, AstToken, support},
};
#[derive(Debug, Clone, PartialEq, Eq, Hash)]
crates/jrsonnet-rowan-parser/src/marker.rsdiffbeforeafterboth--- a/crates/jrsonnet-rowan-parser/src/marker.rs
+++ b/crates/jrsonnet-rowan-parser/src/marker.rs
@@ -3,9 +3,9 @@
use drop_bomb::DropBomb;
use crate::{
+ SyntaxKind,
event::Event,
parser::{ExpectedSyntax, Parser, SyntaxError},
- SyntaxKind,
};
// pub struct Ranger {
crates/jrsonnet-rowan-parser/src/parser.rsdiffbeforeafterboth--- a/crates/jrsonnet-rowan-parser/src/parser.rs
+++ b/crates/jrsonnet-rowan-parser/src/parser.rs
@@ -3,13 +3,13 @@
use rowan::{GreenNode, TextRange};
use crate::{
+ AstToken, SyntaxKind,
+ SyntaxKind::*,
+ SyntaxNode, T, TS,
event::Event,
marker::{CompletedMarker, Marker},
nodes::{BinaryOperatorKind, Literal, Number, Text, UnaryOperatorKind},
token_set::SyntaxKindSet,
- AstToken, SyntaxKind,
- SyntaxKind::*,
- SyntaxNode, T, TS,
};
pub struct Parse {
@@ -923,8 +923,7 @@
let m = p.start();
p.bump();
- let _ = expr_binding_power(p, right_binding_power)
- .map(|v| v.precede(p).complete(p, EXPR));
+ let _ = expr_binding_power(p, right_binding_power).map(|v| v.precede(p).complete(p, EXPR));
m.complete(p, EXPR_UNARY)
} else if p.at(T!['(']) {
let m = p.start();
crates/jrsonnet-rowan-parser/src/tests.rsdiffbeforeafterboth--- a/crates/jrsonnet-rowan-parser/src/tests.rs
+++ b/crates/jrsonnet-rowan-parser/src/tests.rs
@@ -3,7 +3,7 @@
use hi_doc::{Formatting, SnippetBuilder, Text};
-use crate::{parse, AstNode};
+use crate::{AstNode, parse};
fn process(text: &str) -> String {
use std::fmt::Write;
crates/jrsonnet-stdlib/Cargo.tomldiffbeforeafterboth--- a/crates/jrsonnet-stdlib/Cargo.toml
+++ b/crates/jrsonnet-stdlib/Cargo.toml
@@ -17,8 +17,8 @@
exp-bigint = ["dep:num-bigint", "jrsonnet-evaluator/exp-bigint"]
exp-null-coaelse = [
- "jrsonnet-ir/exp-null-coaelse",
- "jrsonnet-evaluator/exp-null-coaelse",
+ "jrsonnet-ir/exp-null-coaelse",
+ "jrsonnet-evaluator/exp-null-coaelse",
]
# std.regexMatch and other helpers
exp-regex = ["dep:regex", "dep:lru", "dep:rustc-hash"]
crates/jrsonnet-stdlib/src/arrays.rsdiffbeforeafterboth--- a/crates/jrsonnet-stdlib/src/arrays.rs
+++ b/crates/jrsonnet-stdlib/src/arrays.rs
@@ -1,12 +1,11 @@
#![allow(non_snake_case)]
use jrsonnet_evaluator::{
- bail,
- function::{builtin, FuncVal, NativeFn},
+ Either, IStr, ObjValue, ObjValueBuilder, Result, ResultExt, Thunk, Val, bail,
+ function::{FuncVal, NativeFn, builtin},
runtime_error,
typed::{BoundedI32, BoundedUsize, Either2, FromUntyped},
- val::{equals, ArrValue, IndexableVal},
- Either, IStr, ObjValue, ObjValueBuilder, Result, ResultExt, Thunk, Val,
+ val::{ArrValue, IndexableVal, equals},
};
pub fn eval_on_empty(on_empty: Option<Thunk<Val>>) -> Result<Val> {
crates/jrsonnet-stdlib/src/compat.rsdiffbeforeafterboth--- a/crates/jrsonnet-stdlib/src/compat.rs
+++ b/crates/jrsonnet-stdlib/src/compat.rs
@@ -1,7 +1,7 @@
use std::cmp::Ordering;
use jrsonnet_evaluator::{
- function::builtin, operator::evaluate_compare_op, val::ArrValue, Result, Val,
+ Result, Val, function::builtin, operator::evaluate_compare_op, val::ArrValue,
};
#[builtin]
crates/jrsonnet-stdlib/src/encoding.rsdiffbeforeafterboth--- a/crates/jrsonnet-stdlib/src/encoding.rs
+++ b/crates/jrsonnet-stdlib/src/encoding.rs
@@ -1,10 +1,9 @@
-use base64::{engine::general_purpose::STANDARD, Engine};
+use base64::{Engine, engine::general_purpose::STANDARD};
use jrsonnet_evaluator::{
- bail,
+ IBytes, IStr, Result, bail,
function::builtin,
runtime_error,
typed::{Either, Either2},
- IBytes, IStr, Result,
};
#[builtin]
crates/jrsonnet-stdlib/src/hash.rsdiffbeforeafterboth--- a/crates/jrsonnet-stdlib/src/hash.rs
+++ b/crates/jrsonnet-stdlib/src/hash.rs
@@ -1,4 +1,4 @@
-use jrsonnet_evaluator::{function::builtin, IStr};
+use jrsonnet_evaluator::{IStr, function::builtin};
#[builtin]
pub fn builtin_md5(s: IStr) -> String {
crates/jrsonnet-stdlib/src/keyf.rsdiffbeforeafterboth--- a/crates/jrsonnet-stdlib/src/keyf.rs
+++ b/crates/jrsonnet-stdlib/src/keyf.rs
@@ -1,6 +1,8 @@
-use jrsonnet_evaluator::function::{CallLocation, FuncVal, PreparedFuncVal};
-use jrsonnet_evaluator::typed::{ComplexValType, FromUntyped, Typed, ValType};
-use jrsonnet_evaluator::{Error, Result, Thunk, Val};
+use jrsonnet_evaluator::{
+ Error, Result, Thunk, Val,
+ function::{CallLocation, FuncVal, PreparedFuncVal},
+ typed::{ComplexValType, FromUntyped, Typed, ValType},
+};
#[derive(Default, Clone)]
pub enum KeyF {
crates/jrsonnet-stdlib/src/lib.rsdiffbeforeafterboth--- a/crates/jrsonnet-stdlib/src/lib.rs
+++ b/crates/jrsonnet-stdlib/src/lib.rs
@@ -12,12 +12,12 @@
pub use encoding::*;
pub use hash::*;
use jrsonnet_evaluator::{
+ ContextBuilder, IStr, ObjValue, ObjValueBuilder, Thunk, Val,
error::Result,
function::{CallLocation, FuncVal},
tla::TlaArg,
trace::PathResolver,
val::NumValue,
- ContextBuilder, IStr, ObjValue, ObjValueBuilder, Thunk, Val,
};
use jrsonnet_gcmodule::{Acyclic, Cc, Trace};
use jrsonnet_ir::Source;
crates/jrsonnet-stdlib/src/manifest/ini.rsdiffbeforeafterboth--- a/crates/jrsonnet-stdlib/src/manifest/ini.rs
+++ b/crates/jrsonnet-stdlib/src/manifest/ini.rs
@@ -1,9 +1,9 @@
use std::collections::BTreeMap;
use jrsonnet_evaluator::{
+ IStr, ObjValue, Result, ResultExt, Val,
manifest::{ManifestFormat, ToStringFormat},
typed::{FromUntyped, Typed},
- IStr, ObjValue, Result, ResultExt, Val,
};
pub struct IniFormat {
crates/jrsonnet-stdlib/src/manifest/mod.rsdiffbeforeafterboth--- a/crates/jrsonnet-stdlib/src/manifest/mod.rs
+++ b/crates/jrsonnet-stdlib/src/manifest/mod.rs
@@ -6,9 +6,9 @@
pub use ini::IniFormat;
use jrsonnet_evaluator::{
+ IStr, ObjValue, Result, Val,
function::builtin,
- manifest::{escape_string_json, JsonFormat, YamlStreamFormat},
- IStr, ObjValue, Result, Val,
+ manifest::{JsonFormat, YamlStreamFormat, escape_string_json},
};
pub use python::{PythonFormat, PythonVarsFormat};
pub use toml::TomlFormat;
crates/jrsonnet-stdlib/src/manifest/python.rsdiffbeforeafterboth--- a/crates/jrsonnet-stdlib/src/manifest/python.rs
+++ b/crates/jrsonnet-stdlib/src/manifest/python.rs
@@ -1,7 +1,6 @@
use jrsonnet_evaluator::{
- bail,
- manifest::{escape_string_json_buf, ManifestFormat, ToStringFormat},
- Result, Val,
+ Result, Val, bail,
+ manifest::{ManifestFormat, ToStringFormat, escape_string_json_buf},
};
pub struct PythonFormat {
crates/jrsonnet-stdlib/src/manifest/toml.rsdiffbeforeafterboth--- a/crates/jrsonnet-stdlib/src/manifest/toml.rs
+++ b/crates/jrsonnet-stdlib/src/manifest/toml.rs
@@ -1,10 +1,9 @@
use std::borrow::Cow;
use jrsonnet_evaluator::{
- bail, in_description_frame,
- manifest::{escape_string_json_buf, ManifestFormat},
+ IStr, ObjValue, Result, ResultExt, Val, bail, in_description_frame,
+ manifest::{ManifestFormat, escape_string_json_buf},
val::ArrValue,
- IStr, ObjValue, Result, ResultExt, Val,
};
pub struct TomlFormat<'s> {
crates/jrsonnet-stdlib/src/manifest/xml.rsdiffbeforeafterboth--- a/crates/jrsonnet-stdlib/src/manifest/xml.rs
+++ b/crates/jrsonnet-stdlib/src/manifest/xml.rs
@@ -1,9 +1,8 @@
use jrsonnet_evaluator::{
- bail, in_description_frame,
+ Either, ObjValue, Result, ResultExt, Val, bail, in_description_frame,
manifest::{ManifestFormat, ToStringFormat},
typed::{ComplexValType, Either2, FromUntyped, Typed, ValType},
val::ArrValue,
- Either, ObjValue, Result, ResultExt, Val,
};
pub struct XmlJsonmlFormat {
crates/jrsonnet-stdlib/src/manifest/yaml.rsdiffbeforeafterboth--- a/crates/jrsonnet-stdlib/src/manifest/yaml.rs
+++ b/crates/jrsonnet-stdlib/src/manifest/yaml.rs
@@ -1,9 +1,8 @@
use std::{borrow::Cow, fmt::Write};
use jrsonnet_evaluator::{
- bail, in_description_frame,
- manifest::{escape_string_json_buf, ManifestFormat},
- Result, ResultExt, Val,
+ Result, ResultExt, Val, bail, in_description_frame,
+ manifest::{ManifestFormat, escape_string_json_buf},
};
pub struct YamlFormat<'s> {
crates/jrsonnet-stdlib/src/math.rsdiffbeforeafterboth--- a/crates/jrsonnet-stdlib/src/math.rs
+++ b/crates/jrsonnet-stdlib/src/math.rs
@@ -9,11 +9,7 @@
#[builtin]
pub fn builtin_sign(n: f64) -> f64 {
- if n == 0. {
- 0.
- } else {
- n.signum()
- }
+ if n == 0. { 0. } else { n.signum() }
}
#[builtin]
crates/jrsonnet-stdlib/src/misc.rsdiffbeforeafterboth--- a/crates/jrsonnet-stdlib/src/misc.rs
+++ b/crates/jrsonnet-stdlib/src/misc.rs
@@ -1,13 +1,12 @@
use std::{cell::RefCell, collections::BTreeSet};
use jrsonnet_evaluator::{
- bail,
+ Either, IStr, ObjValue, ObjValueBuilder, ResultExt, Thunk, Val, bail,
error::{ErrorKind::*, Result},
- function::{builtin, CallLocation, FuncVal},
+ function::{CallLocation, FuncVal, builtin},
manifest::JsonFormat,
typed::{Either2, Either4},
- val::{equals, ArrValue},
- Either, IStr, ObjValue, ObjValueBuilder, ResultExt, Thunk, Val,
+ val::{ArrValue, equals},
};
use jrsonnet_gcmodule::Cc;
@@ -202,7 +201,9 @@
for field in target_fields.union(&patch_fields) {
let Some(field_patch) = patch.get(field.clone())? else {
// All lazy fields might be unified into a single filtered object core instead of creating a thunk per, but this implementation is good enough.
- let target_field = target.get_lazy(field.clone()).expect("we're iterating over fields union, if field is missing in patch - it exists in target");
+ let target_field = target.get_lazy(field.clone()).expect(
+ "we're iterating over fields union, if field is missing in patch - it exists in target",
+ );
out.field(field.clone()).thunk(target_field);
continue;
};
crates/jrsonnet-stdlib/src/objects.rsdiffbeforeafterboth--- a/crates/jrsonnet-stdlib/src/objects.rs
+++ b/crates/jrsonnet-stdlib/src/objects.rs
@@ -1,9 +1,9 @@
use jrsonnet_evaluator::{
+ IStr, ObjValue, ObjValueBuilder,
function::builtin,
gc::WithCapacityExt,
rustc_hash::FxHashSet,
val::{ArrValue, Val},
- IStr, ObjValue, ObjValueBuilder,
};
#[builtin]
crates/jrsonnet-stdlib/src/operator.rsdiffbeforeafterboth--- a/crates/jrsonnet-stdlib/src/operator.rs
+++ b/crates/jrsonnet-stdlib/src/operator.rs
@@ -2,12 +2,12 @@
//! However, in our case we instead implement them in native, and implement native functions on top of core for backwards compatibility
use jrsonnet_evaluator::{
+ IStr, Result, Val,
function::builtin,
operator::evaluate_mod_op,
stdlib::std_format,
typed::{Either, Either2},
- val::{equals, primitive_equals, NumValue},
- IStr, Result, Val,
+ val::{NumValue, equals, primitive_equals},
};
#[builtin]
crates/jrsonnet-stdlib/src/parse.rsdiffbeforeafterboth--- a/crates/jrsonnet-stdlib/src/parse.rs
+++ b/crates/jrsonnet-stdlib/src/parse.rs
@@ -1,4 +1,4 @@
-use jrsonnet_evaluator::{function::builtin, runtime_error, IStr, Result, Val};
+use jrsonnet_evaluator::{IStr, Result, Val, function::builtin, runtime_error};
#[builtin]
pub fn builtin_parse_json(str: IStr) -> Result<Val> {
crates/jrsonnet-stdlib/src/regex.rsdiffbeforeafterboth--- a/crates/jrsonnet-stdlib/src/regex.rs
+++ b/crates/jrsonnet-stdlib/src/regex.rs
@@ -2,11 +2,11 @@
use ::regex::Regex;
use jrsonnet_evaluator::{
+ IStr, ObjValue, ObjValueBuilder,
error::{ErrorKind::*, Result},
rustc_hash::FxBuildHasher,
typed::{IntoUntyped, Typed},
val::StrValue,
- IStr, ObjValue, ObjValueBuilder,
};
use jrsonnet_gcmodule::Acyclic;
use jrsonnet_macros::builtin;
crates/jrsonnet-stdlib/src/sets.rsdiffbeforeafterboth--- a/crates/jrsonnet-stdlib/src/sets.rs
+++ b/crates/jrsonnet-stdlib/src/sets.rs
@@ -1,7 +1,7 @@
use std::cmp::Ordering;
use jrsonnet_evaluator::{
- function::builtin, operator::evaluate_compare_op, val::ArrValue, Result, Thunk, Val,
+ Result, Thunk, Val, function::builtin, operator::evaluate_compare_op, val::ArrValue,
};
use jrsonnet_ir::BinaryOpType;
crates/jrsonnet-stdlib/src/sort.rsdiffbeforeafterboth--- a/crates/jrsonnet-stdlib/src/sort.rs
+++ b/crates/jrsonnet-stdlib/src/sort.rs
@@ -3,11 +3,10 @@
use std::cmp::Ordering;
use jrsonnet_evaluator::{
- bail,
+ Result, Thunk, Val, bail,
function::builtin,
operator::evaluate_compare_op,
- val::{equals, ArrValue},
- Result, Thunk, Val,
+ val::{ArrValue, equals},
};
use jrsonnet_ir::BinaryOpType;
crates/jrsonnet-stdlib/src/strings.rsdiffbeforeafterboth--- a/crates/jrsonnet-stdlib/src/strings.rs
+++ b/crates/jrsonnet-stdlib/src/strings.rs
@@ -1,12 +1,11 @@
use std::collections::BTreeSet;
use jrsonnet_evaluator::{
- bail,
+ Either, IStr, Val, bail,
error::{ErrorKind::*, Result},
function::builtin,
typed::{Either2, FromUntyped, M1},
val::{ArrValue, IndexableVal},
- Either, IStr, Val,
};
#[builtin]
@@ -206,8 +205,8 @@
#[cfg(feature = "exp-bigint")]
#[builtin]
pub fn builtin_bigint(v: Either![f64, IStr]) -> Result<Val> {
+ use Either2::*;
use jrsonnet_evaluator::runtime_error;
- use Either2::*;
Ok(match v {
A(a) => {
Val::BigInt(Box::new(a.to_string().parse().map_err(|e| {
crates/jrsonnet-stdlib/src/types.rsdiffbeforeafterboth--- a/crates/jrsonnet-stdlib/src/types.rs
+++ b/crates/jrsonnet-stdlib/src/types.rs
@@ -1,4 +1,4 @@
-use jrsonnet_evaluator::{function::builtin, IStr, Val};
+use jrsonnet_evaluator::{IStr, Val, function::builtin};
#[builtin]
pub fn builtin_type(x: Val) -> IStr {
flake.lockdiffbeforeafterboth--- a/flake.lock
+++ b/flake.lock
@@ -2,18 +2,40 @@
"nodes": {
"crane": {
"locked": {
- "lastModified": 1770419512,
- "owner": "ipetkov",
+ "lastModified": 1775245625,
+ "owner": "CertainLach",
"repo": "crane",
- "rev": "2510f2cbc3ccd237f700bb213756a8f35c32d8d7",
+ "rev": "9c67a3098774323d0270004eed7d7291ddcfe918",
"type": "github"
},
"original": {
- "owner": "ipetkov",
+ "owner": "CertainLach",
+ "ref": "refactor/drop-remarshal",
"repo": "crane",
"type": "github"
}
},
+ "fenix": {
+ "inputs": {
+ "nixpkgs": [
+ "nixpkgs"
+ ],
+ "rust-analyzer-src": "rust-analyzer-src"
+ },
+ "locked": {
+ "lastModified": 1775272531,
+ "owner": "CertainLach",
+ "repo": "fenix",
+ "rev": "831116e5887552af53f2998dcb46e1d55dc0850e",
+ "type": "github"
+ },
+ "original": {
+ "owner": "CertainLach",
+ "ref": "fix/libatomic",
+ "repo": "fenix",
+ "type": "github"
+ }
+ },
"flake-parts": {
"inputs": {
"nixpkgs-lib": [
@@ -21,10 +43,10 @@
]
},
"locked": {
- "lastModified": 1769996383,
+ "lastModified": 1775087534,
"owner": "hercules-ci",
"repo": "flake-parts",
- "rev": "57928607ea566b5db3ad13af0e57e921e6b12381",
+ "rev": "3107b77cd68437b9a76194f0f7f9c55f2329ca5b",
"type": "github"
},
"original": {
@@ -33,12 +55,34 @@
"type": "github"
}
},
+ "hercules-ci-effects": {
+ "inputs": {
+ "flake-parts": [
+ "flake-parts"
+ ],
+ "nixpkgs": [
+ "nixpkgs"
+ ]
+ },
+ "locked": {
+ "lastModified": 1773550609,
+ "owner": "hercules-ci",
+ "repo": "hercules-ci-effects",
+ "rev": "554f6ed448ca74c00aa2371cde901ae1e73005b9",
+ "type": "github"
+ },
+ "original": {
+ "owner": "hercules-ci",
+ "repo": "hercules-ci-effects",
+ "type": "github"
+ }
+ },
"nixpkgs": {
"locked": {
- "lastModified": 1770468184,
+ "lastModified": 1775270577,
"owner": "nixos",
"repo": "nixpkgs",
- "rev": "a124a10ea33a73329c42d67f30efcdbfb60a4e04",
+ "rev": "9370b0614498381a0019e082c10e9cf8413e7c2c",
"type": "github"
},
"original": {
@@ -51,28 +95,28 @@
"root": {
"inputs": {
"crane": "crane",
+ "fenix": "fenix",
"flake-parts": "flake-parts",
+ "hercules-ci-effects": "hercules-ci-effects",
"nixpkgs": "nixpkgs",
- "rust-overlay": "rust-overlay",
- "shelly": "shelly"
+ "shelly": "shelly",
+ "treefmt-nix": "treefmt-nix"
}
},
- "rust-overlay": {
- "inputs": {
- "nixpkgs": [
- "nixpkgs"
- ]
- },
+ "rust-analyzer-src": {
+ "flake": false,
"locked": {
- "lastModified": 1770433312,
- "owner": "oxalica",
- "repo": "rust-overlay",
- "rev": "9922ff9f99a6436756cbe6f5d11f9c3630e58cf0",
+ "lastModified": 1775174431,
+ "narHash": "sha256-jSw1C5MuyySiCpPgjdR+H0wPR3AgPRuylLunw+yd7A0=",
+ "owner": "rust-lang",
+ "repo": "rust-analyzer",
+ "rev": "9767050b2db436f5a770c5f91a548c88fd91ec71",
"type": "github"
},
"original": {
- "owner": "oxalica",
- "repo": "rust-overlay",
+ "owner": "rust-lang",
+ "ref": "nightly",
+ "repo": "rust-analyzer",
"type": "github"
}
},
@@ -89,6 +133,25 @@
"repo": "shelly",
"type": "github"
}
+ },
+ "treefmt-nix": {
+ "inputs": {
+ "nixpkgs": [
+ "nixpkgs"
+ ]
+ },
+ "locked": {
+ "lastModified": 1775125835,
+ "owner": "numtide",
+ "repo": "treefmt-nix",
+ "rev": "75925962939880974e3ab417879daffcba36c4a3",
+ "type": "github"
+ },
+ "original": {
+ "owner": "numtide",
+ "repo": "treefmt-nix",
+ "type": "github"
+ }
}
},
"root": "root",
flake.nixdiffbeforeafterboth--- a/flake.nix
+++ b/flake.nix
@@ -2,46 +2,219 @@
description = "Jrsonnet";
inputs = {
nixpkgs.url = "github:nixos/nixpkgs/release-25.11";
- rust-overlay = {
- url = "github:oxalica/rust-overlay";
+ fenix = {
+ url = "github:CertainLach/fenix/fix/libatomic";
inputs.nixpkgs.follows = "nixpkgs";
};
flake-parts = {
url = "github:hercules-ci/flake-parts";
inputs.nixpkgs-lib.follows = "nixpkgs";
};
- crane.url = "github:ipetkov/crane";
+ hercules-ci-effects = {
+ url = "github:hercules-ci/hercules-ci-effects";
+ inputs.flake-parts.follows = "flake-parts";
+ inputs.nixpkgs.follows = "nixpkgs";
+ };
+ treefmt-nix = {
+ url = "github:numtide/treefmt-nix";
+ inputs.nixpkgs.follows = "nixpkgs";
+ };
+ crane.url = "github:CertainLach/crane/refactor/drop-remarshal";
shelly.url = "github:CertainLach/shelly";
};
outputs =
- inputs@{
- nixpkgs,
- flake-parts,
- rust-overlay,
- crane,
- shelly,
- ...
- }:
- flake-parts.lib.mkFlake { inherit inputs; } {
- imports = [ shelly.flakeModule ];
- systems = inputs.nixpkgs.lib.systems.flakeExposed;
+ inputs:
+ let
+ inherit (inputs.nixpkgs.lib)
+ mkIf
+ mkForce
+ optionals
+ optionalAttrs
+ ;
+ in
+ inputs.flake-parts.lib.mkFlake { inherit inputs; } {
+ imports = [
+ inputs.shelly.flakeModule
+ inputs.hercules-ci-effects.flakeModule
+ ];
+ systems = [
+ "x86_64-linux"
+ "i686-linux"
+ "aarch64-linux"
+ "armv7l-linux"
+ "aarch64-darwin"
+ ];
perSystem =
{
config,
+ self',
system,
...
}:
let
- pkgs = import nixpkgs {
+ pkgs = import inputs.nixpkgs {
inherit system;
- overlays = [ rust-overlay.overlays.default ];
+ overlays = [ inputs.fenix.overlays.default ];
config.allowUnsupportedSystem = true;
+ config.allowUnfreePredicate = pkg: pkg.name == "Xcode.app";
+ };
+ targetArch = pkgs.stdenv.hostPlatform.parsed.cpu.name;
+ rustfmt = (pkgs.fenix.complete or pkgs.fenix.stable).rustfmt;
+ toolchain = pkgs.fenix.combine [
+ (pkgs.fenix.stable.withComponents [
+ "cargo"
+ "clippy"
+ "rustc"
+ "rust-src"
+ ])
+ rustfmt
+ ];
+ craneLib = (inputs.crane.mkLib pkgs).overrideToolchain toolchain;
+ treefmt =
+ (inputs.treefmt-nix.lib.evalModule pkgs (import ./treefmt.nix { inherit rustfmt; })).config.build;
+
+ # Cross-compilation toolchains
+ crossToolchain = pkgs.fenix.combine [
+ (pkgs.fenix.stable.withComponents [
+ "cargo"
+ "rustc"
+ ])
+ pkgs.fenix.targets."${targetArch}-unknown-linux-musl".stable.rust-std
+ pkgs.fenix.targets."${targetArch}-apple-darwin".stable.rust-std
+ ];
+ craneLibCross = (inputs.crane.mkLib pkgs).overrideToolchain crossToolchain;
+
+ # Windows cross-compilation
+ pkgsWindows = import inputs.nixpkgs {
+ overlays = [ inputs.fenix.overlays.default ];
+ localSystem = system;
+ crossSystem = {
+ config = "${targetArch}-w64-mingw32";
+ libc = "msvcrt";
+ };
};
- rust = pkgs.rust-bin.fromRustupToolchainFile ./rust-toolchain.toml;
- craneLib = (crane.mkLib pkgs).overrideToolchain rust;
+ windowsToolchain = pkgs.fenix.combine [
+ (pkgs.fenix.stable.withComponents [
+ "cargo"
+ "rustc"
+ ])
+ pkgs.fenix.targets."${targetArch}-pc-windows-gnu".stable.rust-std
+ ];
+ craneLibWindows = (inputs.crane.mkLib pkgsWindows).overrideToolchain (_: windowsToolchain);
+
in
{
legacyPackages = {
+ release = optionalAttrs pkgs.stdenv.hostPlatform.isLinux (
+ {
+ jrsonnet-linux-glibc = self'.packages.jrsonnet;
+ jrsonnet-experimental-linux-glibc = self'.packages.jrsonnet-experimental;
+ }
+ // optionalAttrs pkgs.stdenv.hostPlatform.is64bit rec {
+ jrsonnet-linux-musl = pkgs.callPackage ./nix/jrsonnet-cross-musl.nix {
+ craneLib = craneLibCross;
+ targetTriple = "${targetArch}-unknown-linux-musl";
+ muslCC = pkgs.pkgsMusl.stdenv.cc;
+ };
+ jrsonnet-experimental-linux-musl = jrsonnet-linux-musl.override {
+ withExperimentalFeatures = true;
+ };
+ }
+ // optionalAttrs (targetArch == "aarch64") rec {
+ jrsonnet-darwin = pkgs.callPackage ./nix/jrsonnet-cross-darwin.nix {
+ craneLib = craneLibCross;
+ targetTriple = "${targetArch}-apple-darwin";
+ };
+ jrsonnet-experimental-darwin = jrsonnet-darwin.override {
+ withExperimentalFeatures = true;
+ };
+ }
+ // optionalAttrs (targetArch == "x86_64") rec {
+ jrsonnet-windows = pkgsWindows.callPackage ./nix/jrsonnet-cross-windows.nix {
+ craneLib = craneLibWindows;
+ targetTriple = "${targetArch}-pc-windows-gnu";
+ };
+ jrsonnet-experimental-windows = jrsonnet-windows.override {
+ withExperimentalFeatures = true;
+ };
+ }
+ );
+ benchmarks = optionalAttrs (system == "x86_64-linux" || system == "aarch64-linux") {
+ default = pkgs.callPackage ./nix/benchmarks.nix {
+ inherit (config.legacyPackages.jsonnetImpls)
+ go-jsonnet
+ sjsonnet
+ cpp-jsonnet
+ rsjsonnet
+ ;
+ jrsonnetVariants = [
+ {
+ drv = self'.packages.jrsonnet.override { forBenchmarks = true; };
+ name = "";
+ }
+ ];
+ };
+ quick = pkgs.callPackage ./nix/benchmarks.nix {
+ inherit (config.legacyPackages.jsonnetImpls)
+ go-jsonnet
+ sjsonnet
+ cpp-jsonnet
+ rsjsonnet
+ ;
+ quick = true;
+ jrsonnetVariants = [
+ {
+ drv = self'.packages.jrsonnet.override { forBenchmarks = true; };
+ name = "";
+ }
+ ];
+ };
+ against-release = pkgs.callPackage ./nix/benchmarks.nix {
+ inherit (config.legacyPackages.jsonnetImpls)
+ go-jsonnet
+ sjsonnet
+ cpp-jsonnet
+ rsjsonnet
+ ;
+ jrsonnetVariants = [
+ {
+ drv = self'.packages.jrsonnet.override { forBenchmarks = true; };
+ name = "current";
+ }
+ {
+ drv = self'.packages.jrsonnet-experimental.override { forBenchmarks = true; };
+ name = "current-experimental";
+ }
+ {
+ drv = self'.legacyPackages.jsonnetImpls.jrsonnet-release.override { forBenchmarks = true; };
+ name = "release";
+ }
+ ];
+ };
+ quick-against-release = pkgs.callPackage ./nix/benchmarks.nix {
+ inherit (config.legacyPackages.jsonnetImpls)
+ go-jsonnet
+ sjsonnet
+ cpp-jsonnet
+ rsjsonnet
+ ;
+ quick = true;
+ jrsonnetVariants = [
+ {
+ drv = self'.packages.jrsonnet.override { forBenchmarks = true; };
+ name = "current";
+ }
+ {
+ drv = self'.packages.jrsonnet-experimental.override { forBenchmarks = true; };
+ name = "current-experimental";
+ }
+ {
+ drv = self'.legacyPackages.jsonnetImpls.jrsonnet-release.override { forBenchmarks = true; };
+ name = "release";
+ }
+ ];
+ };
+ };
jsonnetImpls = {
go-jsonnet = pkgs.callPackage ./nix/go-jsonnet.nix { };
sjsonnet = pkgs.callPackage ./nix/sjsonnet.nix { };
@@ -49,101 +222,33 @@
# I didn't managed to build it, and nixpkgs version is marked as broken
# haskell-jsonnet = pkgs.callPackage ./nix/haskell-jsonnet.nix { };
rsjsonnet = pkgs.callPackage ./nix/rsjsonnet.nix { };
+ # Older released version of jrsonnet itself, for benchmarking purposes
+ jrsonnet-release = pkgs.callPackage ./nix/jrsonnet-release.nix {
+ rustPlatform = pkgs.makeRustPlatform {
+ rustc = toolchain;
+ cargo = toolchain;
+ };
+ };
};
};
- packages = rec {
- default = jrsonnet;
-
- jrsonnet = pkgs.callPackage ./nix/jrsonnet.nix {
- inherit craneLib;
- };
- jrsonnet-experimental = pkgs.callPackage ./nix/jrsonnet.nix {
- inherit craneLib;
- withExperimentalFeatures = true;
- };
-
- jrsonnet-release = pkgs.callPackage ./nix/jrsonnet-release.nix {
- rustPlatform = pkgs.makeRustPlatform {
- rustc = rust;
- cargo = rust;
+ packages =
+ let
+ jrsonnet = pkgs.callPackage ./nix/jrsonnet.nix {
+ inherit craneLib;
};
- };
-
- benchmarks = pkgs.callPackage ./nix/benchmarks.nix {
- inherit (config.legacyPackages.jsonnetImpls)
- go-jsonnet
- sjsonnet
- cpp-jsonnet
- rsjsonnet
- ;
- jrsonnetVariants = [
- {
- drv = jrsonnet.override { forBenchmarks = true; };
- name = "";
- }
- ];
+ jrsonnet-experimental = pkgs.callPackage ./nix/jrsonnet.nix {
+ inherit craneLib;
+ withExperimentalFeatures = true;
+ };
+ in
+ {
+ default = jrsonnet;
+ inherit jrsonnet jrsonnet-experimental;
};
- benchmarks-quick = pkgs.callPackage ./nix/benchmarks.nix {
- inherit (config.legacyPackages.jsonnetImpls)
- go-jsonnet
- sjsonnet
- cpp-jsonnet
- rsjsonnet
- ;
- quick = true;
- jrsonnetVariants = [
- {
- drv = jrsonnet.override { forBenchmarks = true; };
- name = "";
- }
- ];
- };
- benchmarks-against-release = pkgs.callPackage ./nix/benchmarks.nix {
- inherit (config.legacyPackages.jsonnetImpls)
- go-jsonnet
- sjsonnet
- cpp-jsonnet
- rsjsonnet
- ;
- jrsonnetVariants = [
- {
- drv = jrsonnet.override { forBenchmarks = true; };
- name = "current";
- }
- {
- drv = jrsonnet-experimental.override { forBenchmarks = true; };
- name = "current-experimental";
- }
- {
- drv = jrsonnet-release.override { forBenchmarks = true; };
- name = "release";
- }
- ];
- };
- benchmarks-quick-against-release = pkgs.callPackage ./nix/benchmarks.nix {
- inherit (config.legacyPackages.jsonnetImpls)
- go-jsonnet
- sjsonnet
- cpp-jsonnet
- rsjsonnet
- ;
- quick = true;
- jrsonnetVariants = [
- {
- drv = jrsonnet.override { forBenchmarks = true; };
- name = "current";
- }
- {
- drv = jrsonnet-experimental.override { forBenchmarks = true; };
- name = "current-experimental";
- }
- {
- drv = jrsonnet-release.override { forBenchmarks = true; };
- name = "release";
- }
- ];
- };
+ checks = optionalAttrs (system != "armv7l-linux") {
+ formatting = treefmt.check inputs.self;
};
+ formatter = mkIf (system != "armv7l-linux") treefmt.wrapper;
shelly.shells.default = {
factory = craneLib.devShell;
packages =
@@ -158,11 +263,126 @@
hyperfine
graphviz
]
- ++ lib.optionals (!stdenv.isDarwin) [
+ ++ optionals (!stdenv.isDarwin) [
valgrind
kdePackages.kcachegrind
];
};
};
+ hercules-ci.github-releases.files =
+ let
+ rel = system: inputs.self.legacyPackages.${system}.release;
+ bin = drv: "${drv}/bin/jrsonnet";
+ exe = drv: "${drv}/bin/jrsonnet.exe";
+ in
+ [
+ {
+ label = "jrsonnet-x86_64-linux-musl";
+ path = bin (rel "x86_64-linux").jrsonnet-linux-musl;
+ }
+ {
+ label = "jrsonnet-experimental-x86_64-linux-musl";
+ path = bin (rel "x86_64-linux").jrsonnet-experimental-linux-musl;
+ }
+ {
+ label = "jrsonnet-aarch64-darwin";
+ path = bin (rel "aarch64-linux").jrsonnet-darwin;
+ }
+ {
+ label = "jrsonnet-experimental-aarch64-darwin";
+ path = bin (rel "aarch64-linux").jrsonnet-experimental-darwin;
+ }
+ {
+ label = "jrsonnet-x86_64-windows.exe";
+ path = exe (rel "x86_64-linux").jrsonnet-windows;
+ }
+ {
+ label = "jrsonnet-experimental-x86_64-windows.exe";
+ path = exe (rel "x86_64-linux").jrsonnet-experimental-windows;
+ }
+
+ {
+ label = "jrsonnet-aarch64-linux-musl";
+ path = bin (rel "aarch64-linux").jrsonnet-linux-musl;
+ }
+ {
+ label = "jrsonnet-experimental-aarch64-linux-musl";
+ path = bin (rel "aarch64-linux").jrsonnet-experimental-linux-musl;
+ }
+
+ {
+ label = "jrsonnet-x86_64-linux-glibc";
+ path = bin (rel "x86_64-linux").jrsonnet-linux-glibc;
+ }
+ {
+ label = "jrsonnet-experimental-x86_64-linux-glibc";
+ path = bin (rel "x86_64-linux").jrsonnet-experimental-linux-glibc;
+ }
+ {
+ label = "jrsonnet-aarch64-linux-glibc";
+ path = bin (rel "aarch64-linux").jrsonnet-linux-glibc;
+ }
+ {
+ label = "jrsonnet-experimental-aarch64-linux-glibc";
+ path = bin (rel "aarch64-linux").jrsonnet-experimental-linux-glibc;
+ }
+ {
+ label = "jrsonnet-i686-linux-glibc";
+ path = bin (rel "i686-linux").jrsonnet-linux-glibc;
+ }
+ {
+ label = "jrsonnet-experimental-i686-linux-glibc";
+ path = bin (rel "i686-linux").jrsonnet-experimental-linux-glibc;
+ }
+ {
+ label = "jrsonnet-armv7l-linux-glibc";
+ path = bin (rel "armv7l-linux").jrsonnet-linux-glibc;
+ }
+ {
+ label = "jrsonnet-experimental-armv7l-linux-glibc";
+ path = bin (rel "armv7l-linux").jrsonnet-experimental-linux-glibc;
+ }
+ ];
+ hercules-ci.cargo-publish = {
+ enable = true;
+ secretName = "crates-io";
+ };
+ hercules-ci.flake-update = {
+ enable = true;
+ baseMerge.enable = true;
+ baseMerge.method = "fast-forward";
+ when = {
+ dayOfWeek = [ "Sat" ];
+ };
+ };
+ herculesCI =
+ { lib, config, ... }:
+ {
+ ciSystems = [
+ "x86_64-linux"
+ "i686-linux"
+ "aarch64-linux"
+ "armv7l-linux"
+ # TODO: add workers for these platforms
+ # "aarch64-darwin"
+ ];
+ onPush.default.outputs = {
+ benchmarks.x86_64-linux = inputs.self.legacyPackages.x86_64-linux.benchmarks.default;
+
+ # Cross: musl/mingw/darwin-zigbuild
+ release.x86_64-linux = inputs.self.legacyPackages.x86_64-linux.release;
+ release.aarch64-linux = inputs.self.legacyPackages.aarch64-linux.release;
+ release.armv7l-linux = inputs.self.legacyPackages.armv7l-linux.release;
+ release.i686-linux = inputs.self.legacyPackages.i686-linux.release;
+
+ # Too much to build for CI purposes
+ devShells = mkForce { };
+ formatter = mkForce { };
+
+ # No need to run them on different arch, pretty large derivations and might try to compile GHC
+ checks.i686-linux.formatting = mkForce { };
+ checks.aarch64-linux.formatting = mkForce { };
+ };
+ };
};
}
nix/benchmarks.nixdiffbeforeafterboth--- a/nix/benchmarks.nix
+++ b/nix/benchmarks.nix
@@ -53,7 +53,7 @@
in
stdenv.mkDerivation {
name = "benchmarks";
- __impure = true;
+ # __impure = true; # not supported by hercules-ci
unpackPhase = "true";
buildInputs = [
@@ -143,7 +143,9 @@
"\"sjsonnet-native $path${optionalString (vendor != "") " -J ${vendor}"}\" -n \"Scala (native)\""
} \
${
- optionalString (skipScala == "")
+ # My aarch64-linux machine can't run graalvm image:
+ # The current machine does not support all of the following CPU features that are required by the image: [FP, ASIMD, CRC32, LSE].
+ optionalString (skipScala == "" && stdenv.hostPlatform.system != "aarch64-linux")
"\"sjsonnet-graalvm $path${optionalString (vendor != "") " -J ${vendor}"}\" -n \"Scala (GraalVM)\""
} \
${optionalString (skipCpp == "")
@@ -174,9 +176,14 @@
echo "* C++: $(jsonnet --version)" >> $out
echo "* Scala (native/GraalVM): $(sjsonnet-native 2>&1 | grep -oP 'Sjsonnet \S+')" >> $out
echo "* Rust (alternative): rsjsonnet ${rsjsonnet.version} (${rsjsonnet.src.rev})" >> $out
- ${concatStringsSep "\n" (forEach jrsonnetVariants (variant:
- "echo \"* Rust${if variant.name != "" then " (${variant.name})" else ""}: $(${variant.drv}/bin/jrsonnet --version 2>&1)\" >> $out"
- ))}
+ ${concatStringsSep "\n" (
+ forEach jrsonnetVariants (
+ variant:
+ "echo \"* Rust${
+ if variant.name != "" then " (${variant.name})" else ""
+ }: $(${variant.drv}/bin/jrsonnet --version 2>&1)\" >> $out"
+ )
+ )}
echo "====" >> $out
echo >> $out
''}
nix/jrsonnet-cross-darwin.nixdiffbeforeafterboth--- /dev/null
+++ b/nix/jrsonnet-cross-darwin.nix
@@ -0,0 +1,49 @@
+{
+ lib,
+ craneLib,
+ cargo-zigbuild,
+ zig,
+ darwin,
+ targetTriple,
+ withExperimentalFeatures ? false,
+}:
+let
+ inherit (lib) optionalString;
+in
+craneLib.buildPackage {
+ src = lib.cleanSourceWith {
+ src = ../.;
+ filter = path: type: (lib.hasSuffix ".jsonnet" path) || (craneLib.filterCargoSources path type);
+ };
+ pname = "jrsonnet";
+ version = "current${optionalString withExperimentalFeatures "-experimental"}";
+ strictDeps = true;
+
+ depsBuildBuild = [
+ zig
+ cargo-zigbuild
+ ];
+
+ nativeBuildInputs = [
+ darwin.xcode_12_2
+ ];
+
+ cargoExtraArgs = "-p jrsonnet";
+
+ buildPhaseCargoCommand = ''
+ export SDKROOT=${darwin.xcode_12_2}/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk
+ export XDG_CACHE_HOME=$TMPDIR/xdg_cache
+ mkdir -p $XDG_CACHE_HOME
+ export CARGO_ZIGBUILD_CACHE_DIR=$TMPDIR/cargo-zigbuild-cache
+ mkdir -p $CARGO_ZIGBUILD_CACHE_DIR
+
+ HOME=$(mktemp -d)
+ cargo zigbuild --release --locked ${optionalString withExperimentalFeatures "--features=experimental"} --target=${targetTriple}
+ '';
+
+ doNotPostBuildInstallCargoBinaries = true;
+ installPhaseCommand = ''
+ mkdir -p $out/bin
+ cp target/${targetTriple}/release/jrsonnet $out/bin/jrsonnet
+ '';
+}
nix/jrsonnet-cross-musl.nixdiffbeforeafterboth--- /dev/null
+++ b/nix/jrsonnet-cross-musl.nix
@@ -0,0 +1,31 @@
+{
+ lib,
+ craneLib,
+ muslCC,
+ targetTriple,
+ withExperimentalFeatures ? false,
+}:
+let
+ targetEnv = builtins.replaceStrings [ "-" ] [ "_" ] targetTriple;
+ inherit (lib) optionalString;
+in
+craneLib.buildPackage {
+ src = lib.cleanSourceWith {
+ src = ../.;
+ filter = path: type: (lib.hasSuffix ".jsonnet" path) || (craneLib.filterCargoSources path type);
+ };
+ pname = "jrsonnet";
+ version = "current${optionalString withExperimentalFeatures "-experimental"}";
+ strictDeps = true;
+
+ cargoExtraArgs = "--locked --features=mimalloc${optionalString withExperimentalFeatures ",experimental"} --target=${targetTriple}";
+
+ "CC_${targetEnv}" = "${muslCC}/bin/${muslCC.targetPrefix}cc";
+ "CARGO_TARGET_${lib.toUpper targetEnv}_LINKER" = "${muslCC}/bin/${muslCC.targetPrefix}cc";
+
+ doNotPostBuildInstallCargoBinaries = true;
+ installPhaseCommand = ''
+ mkdir -p $out/bin
+ cp target/${targetTriple}/release/jrsonnet $out/bin/jrsonnet
+ '';
+}
nix/jrsonnet-cross-windows.nixdiffbeforeafterboth--- /dev/null
+++ b/nix/jrsonnet-cross-windows.nix
@@ -0,0 +1,26 @@
+{
+ lib,
+ craneLib,
+ targetTriple,
+ withExperimentalFeatures ? false,
+}:
+let
+ inherit (lib) optionalString;
+in
+craneLib.buildPackage {
+ src = lib.cleanSourceWith {
+ src = ../.;
+ filter = path: type: (lib.hasSuffix ".jsonnet" path) || (craneLib.filterCargoSources path type);
+ };
+ pname = "jrsonnet";
+ version = "current${optionalString withExperimentalFeatures "-experimental"}";
+ strictDeps = true;
+
+ cargoExtraArgs = "--locked ${optionalString withExperimentalFeatures "--features=experimental"} --target=${targetTriple}";
+
+ doNotPostBuildInstallCargoBinaries = true;
+ installPhaseCommand = ''
+ mkdir -p $out/bin
+ cp target/${targetTriple}/release/jrsonnet.exe $out/bin/jrsonnet.exe
+ '';
+}
nix/jrsonnet-release.nixdiffbeforeafterboth--- a/nix/jrsonnet-release.nix
+++ b/nix/jrsonnet-release.nix
@@ -18,10 +18,10 @@
};
cargoHash = "sha256-ZHmdlqakucapzXJz6L7ZJpmvqTutelN8qkWAD4uDJr8=";
- cargoTestFlags = ["--package=jrsonnet --features=mimalloc,legacy-this-file"];
- cargoBuildFlags = ["--package=jrsonnet --features=mimalloc,legacy-this-file"];
+ cargoTestFlags = [ "--package=jrsonnet --features=mimalloc,legacy-this-file" ];
+ cargoBuildFlags = [ "--package=jrsonnet --features=mimalloc,legacy-this-file" ];
- buildInputs = [makeWrapper];
+ buildInputs = [ makeWrapper ];
postInstall = ''
wrapProgram $out/bin/jrsonnet --add-flags "--max-stack=200000"
nix/jrsonnet.nixdiffbeforeafterboth--- a/nix/jrsonnet.nix
+++ b/nix/jrsonnet.nix
@@ -5,23 +5,23 @@
withExperimentalFeatures ? false,
forBenchmarks ? false,
}:
-with lib;
- craneLib.buildPackage {
- src = lib.cleanSourceWith {
- src = ../.;
- filter = path: type:
- (lib.hasSuffix "\.jsonnet" path)
- || (craneLib.filterCargoSources path type);
- };
- pname = "jrsonnet";
- version = "current${optionalString withExperimentalFeatures "-experimental"}";
+let
+ inherit (lib) optionalString;
+in
+craneLib.buildPackage {
+ src = lib.cleanSourceWith {
+ src = ../.;
+ filter = path: type: (lib.hasSuffix "\.jsonnet" path) || (craneLib.filterCargoSources path type);
+ };
+ pname = "jrsonnet";
+ version = "current${optionalString withExperimentalFeatures "-experimental"}";
- cargoExtraArgs = "--locked --features=mimalloc${optionalString withExperimentalFeatures ",experimental"}";
+ cargoExtraArgs = "--locked --features=mimalloc${optionalString withExperimentalFeatures ",experimental"}";
- nativeBuildInputs = [makeWrapper];
+ nativeBuildInputs = [ makeWrapper ];
- # To clean-up hyperfine output
- postInstall = optionalString forBenchmarks ''
- wrapProgram $out/bin/jrsonnet --add-flags "--max-stack=200000"
- '';
- }
+ # To clean-up hyperfine output
+ postInstall = optionalString forBenchmarks ''
+ wrapProgram $out/bin/jrsonnet --add-flags "--max-stack=200000"
+ '';
+}
nix/rsjsonnet.nixdiffbeforeafterboth--- a/nix/rsjsonnet.nix
+++ b/nix/rsjsonnet.nix
@@ -16,7 +16,7 @@
cargoHash = "sha256-0IDAxm4J2rEqfUGNYoQTP0RPrEZe4YPe2E6TT7A4THo=";
- nativeBuildInputs = [makeWrapper];
+ nativeBuildInputs = [ makeWrapper ];
postInstall = ''
wrapProgram $out/bin/rsjsonnet --add-flags "--max-stack=200000"
nix/sjsonnet.nixdiffbeforeafterboth--- a/nix/sjsonnet.nix
+++ b/nix/sjsonnet.nix
@@ -17,29 +17,35 @@
version = "0.6.2";
baseUrl = "https://github.com/databricks/sjsonnet/releases/download/${version}";
- nativePlatform = {
- x86_64-linux = "linux-x86_64";
- aarch64-linux = "linux-arm64";
- aarch64-darwin = "darwin-arm64";
- # Nobody cares about darwin on intel
- }.${stdenv.hostPlatform.system} or (throw "unsupported system: ${stdenv.hostPlatform.system}");
+ nativePlatform =
+ {
+ x86_64-linux = "linux-x86_64";
+ aarch64-linux = "linux-arm64";
+ aarch64-darwin = "darwin-arm64";
+ # Nobody cares about darwin on intel
+ }
+ .${stdenv.hostPlatform.system} or (throw "unsupported system: ${stdenv.hostPlatform.system}");
nativeSrc = fetchurl {
url = "${baseUrl}/sjsonnet-${version}-${nativePlatform}";
- hash = {
- x86_64-linux = "sha256-r79Q6SovcPIomDDUYTGIP35/y5t9Xo5Z3ohP7pxsF8I=";
- aarch64-linux = "sha256-LxWR94u1Oncau57Kmtzj2UFEofWGT4+laDTbRDkwv08=";
- aarch64-darwin = "sha256-gNZ6XekMm+ebeD7UFeRfoapXw/90gHk8MoeGD86dzKk=";
- }.${stdenv.hostPlatform.system};
+ hash =
+ {
+ x86_64-linux = "sha256-r79Q6SovcPIomDDUYTGIP35/y5t9Xo5Z3ohP7pxsF8I=";
+ aarch64-linux = "sha256-LxWR94u1Oncau57Kmtzj2UFEofWGT4+laDTbRDkwv08=";
+ aarch64-darwin = "sha256-gNZ6XekMm+ebeD7UFeRfoapXw/90gHk8MoeGD86dzKk=";
+ }
+ .${stdenv.hostPlatform.system};
};
graalvmSrc = fetchurl {
url = "${baseUrl}/sjsonnet-graalvm-${version}-${nativePlatform}";
- hash = {
- x86_64-linux = "sha256-XNJCnQlwVFySrUevn1nLN/DY8UBGgvCFAitkedLB+yM=";
- aarch64-linux = "sha256-J+C3pmiBEmo8M00IDHp9jznonibXmHVRlhsvQ4apVWw=";
- aarch64-darwin = "sha256-TXNL52sS4NE3GjbOFtgf6aCP268qGKMFaoTwAfJfgGc=";
- }.${stdenv.hostPlatform.system};
+ hash =
+ {
+ x86_64-linux = "sha256-XNJCnQlwVFySrUevn1nLN/DY8UBGgvCFAitkedLB+yM=";
+ aarch64-linux = "sha256-J+C3pmiBEmo8M00IDHp9jznonibXmHVRlhsvQ4apVWw=";
+ aarch64-darwin = "sha256-TXNL52sS4NE3GjbOFtgf6aCP268qGKMFaoTwAfJfgGc=";
+ }
+ .${stdenv.hostPlatform.system};
};
in
stdenv.mkDerivation {
@@ -52,10 +58,18 @@
};
unpackPhase = "true";
- nativeBuildInputs = [ makeWrapper ]
- ++ lib.optionals stdenv.hostPlatform.isLinux [ autoPatchelfHook ];
- buildInputs = [ java ]
- ++ lib.optionals stdenv.hostPlatform.isLinux [ zlib openssl stdenv.cc.cc.lib ];
+ nativeBuildInputs = [
+ makeWrapper
+ ]
+ ++ lib.optionals stdenv.hostPlatform.isLinux [ autoPatchelfHook ];
+ buildInputs = [
+ java
+ ]
+ ++ lib.optionals stdenv.hostPlatform.isLinux [
+ zlib
+ openssl
+ stdenv.cc.cc.lib
+ ];
installPhase = ''
mkdir -p $out/bin $out/lib
rust-toolchain.tomldiffbeforeafterboth--- a/rust-toolchain.toml
+++ b/rust-toolchain.toml
@@ -1,3 +1,3 @@
[toolchain]
-channel = "1.93.0"
+channel = "stable"
components = ["rustfmt", "clippy", "rust-analyzer", "rust-src"]
treefmt.nixdiffbeforeafterboth--- /dev/null
+++ b/treefmt.nix
@@ -0,0 +1,14 @@
+{ rustfmt }:
+{
+ settings.global.excludes = [
+ "*.jsonnet"
+ "*.libsonnet"
+ ];
+
+ programs.nixfmt.enable = true;
+ programs.rustfmt = {
+ enable = true;
+ package = rustfmt;
+ };
+ programs.taplo.enable = true;
+}
xtask/Cargo.tomldiffbeforeafterboth--- a/xtask/Cargo.toml
+++ b/xtask/Cargo.toml
@@ -16,4 +16,4 @@
quote.workspace = true
ungrammar.workspace = true
xshell.workspace = true
-clap = {workspace = true, features = ["derive"]}
+clap = { workspace = true, features = ["derive"] }
xtask/src/main.rsdiffbeforeafterboth--- a/xtask/src/main.rs
+++ b/xtask/src/main.rs
@@ -1,6 +1,6 @@
use anyhow::Result;
use clap::Parser;
-use xshell::{cmd, Shell};
+use xshell::{Shell, cmd};
mod sourcegen;
@@ -68,7 +68,11 @@
if cachegrind {
let mut cachegrind_out = out.path().to_owned();
cachegrind_out.push("cachegrind.out.1");
- cmd!(sh, "valgrind --tool=cachegrind --cachegrind-out-file={cachegrind_out} {built} {args...}").run()?;
+ cmd!(
+ sh,
+ "valgrind --tool=cachegrind --cachegrind-out-file={cachegrind_out} {built} {args...}"
+ )
+ .run()?;
cmd!(sh, "kcachegrind {cachegrind_out}").run()?;
}
xtask/src/sourcegen/ast.rsdiffbeforeafterboth--- a/xtask/src/sourcegen/ast.rs
+++ b/xtask/src/sourcegen/ast.rs
@@ -5,8 +5,8 @@
use ungrammar::{Grammar, Rule};
use super::{
+ KindsSrc,
util::{pluralize, to_lower_snake_case},
- KindsSrc,
};
impl AstNodeSrc {
@@ -282,9 +282,11 @@
_ => return false,
};
let (node, repeat, trailing_comma) = match rule.as_slice() {
- [Rule::Node(node), Rule::Rep(repeat), Rule::Opt(trailing_comma)] => {
- (node, repeat, trailing_comma)
- }
+ [
+ Rule::Node(node),
+ Rule::Rep(repeat),
+ Rule::Opt(trailing_comma),
+ ] => (node, repeat, trailing_comma),
_ => return false,
};
let repeat = match &**repeat {
xtask/src/sourcegen/mod.rsdiffbeforeafterboth--- a/xtask/src/sourcegen/mod.rs
+++ b/xtask/src/sourcegen/mod.rs
@@ -1,7 +1,7 @@
use std::{collections::HashMap, path::PathBuf};
use anyhow::Result;
-use ast::{lower, AstSrc};
+use ast::{AstSrc, lower};
use itertools::Itertools;
use kinds::{KindsSrc, TokenKind};
use proc_macro2::{Ident, Punct, Spacing, Span, TokenStream};
@@ -56,7 +56,9 @@
});
}
SpecialName::Error => {
- panic!("error token ERROR_{name} must be explicitly defined in jsonnet_kinds()");
+ panic!(
+ "error token ERROR_{name} must be explicitly defined in jsonnet_kinds()"
+ );
}
}
continue;
xtask/src/sourcegen/util.rsdiffbeforeafterboth--- a/xtask/src/sourcegen/util.rs
+++ b/xtask/src/sourcegen/util.rs
@@ -3,7 +3,7 @@
use std::{fs, path::Path};
use anyhow::Result;
-use xshell::{cmd, Shell};
+use xshell::{Shell, cmd};
/// Checks that the `file` has the specified `contents`. If that is not the
/// case, updates the file and then fails the test.