>>> nickel: Building community/nickel 1.8.1-r0 (using abuild 3.14.0-r0) started Sat, 19 Oct 2024 21:09:29 +0000 >>> nickel: Validating /home/buildozer/aports/community/nickel/APKBUILD... >>> nickel: Analyzing dependencies... >>> nickel: Installing for build: build-base cargo python3 (1/17) Installing libffi (3.4.6-r0) (2/17) Installing xz-libs (5.6.3-r0) (3/17) Installing libxml2 (2.13.4-r1) (4/17) Installing llvm19-libs (19.1.1-r0) (5/17) Installing scudo-malloc (19.1.1-r0) (6/17) Installing rust (1.82.0-r0) (7/17) Installing cargo (1.82.0-r0) (8/17) Installing libbz2 (1.0.8-r6) (9/17) Installing gdbm (1.24-r0) (10/17) Installing mpdecimal (4.0.0-r0) (11/17) Installing libpanelw (6.5_p20241006-r0) (12/17) Installing sqlite-libs (3.46.1-r0) (13/17) Installing python3 (3.12.7-r0) (14/17) Installing python3-pycache-pyc0 (3.12.7-r0) (15/17) Installing pyc (3.12.7-r0) (16/17) Installing python3-pyc (3.12.7-r0) (17/17) Installing .makedepends-nickel (20241019.210930) Executing busybox-1.36.1-r32.trigger OK: 812 MiB in 123 packages >>> nickel: Cleaning up srcdir >>> nickel: Cleaning up pkgdir >>> nickel: Cleaning up tmpdir >>> nickel: Fetching https://distfiles.alpinelinux.org/distfiles/edge/nickel-1.8.1.tar.gz >>> nickel: Fetching https://distfiles.alpinelinux.org/distfiles/edge/nickel-1.8.1.tar.gz >>> nickel: Checking sha512sums... nickel-1.8.1.tar.gz: OK >>> nickel: Unpacking /var/cache/distfiles/edge/nickel-1.8.1.tar.gz... Updating crates.io index Downloading crates ... Downloaded pyo3-macros v0.17.3 Downloaded unindent v0.1.11 Downloaded pyo3-build-config v0.17.3 Downloaded ascii-canvas v3.0.0 Downloaded pad v0.1.6 Downloaded vte_generate_state_changes v0.1.1 Downloaded is-terminal v0.4.12 Downloaded wasm-bindgen-macro v0.2.91 Downloaded tokio-macros v2.2.0 Downloaded cxxbridge-flags v1.0.119 Downloaded derive_builder_macro v0.20.0 Downloaded minimad v0.12.0 Downloaded indoc v2.0.4 Downloaded lalrpop-util v0.20.2 Downloaded malachite v0.4.5 Downloaded endian-type v0.1.2 Downloaded git-version-macro v0.3.9 Downloaded metrics v0.21.1 Downloaded git-version v0.3.9 Downloaded getrandom v0.2.12 Downloaded beef v0.5.2 Downloaded pyo3-ffi v0.17.3 Downloaded darling_macro v0.20.9 Downloaded cxxbridge-macro v1.0.119 Downloaded clap_complete v4.5.1 Downloaded directories v4.0.1 Downloaded sketches-ddsketch v0.2.2 Downloaded darling v0.20.9 Downloaded serde_yaml v0.9.32 Downloaded bumpalo v3.15.4 Downloaded bytemuck v1.14.3 Downloaded indexmap v2.2.5 Downloaded cpp_demangle v0.4.3 Downloaded ordered-float v3.9.2 Downloaded criterion v0.4.0 Downloaded metrics-util v0.15.1 Downloaded anyhow v1.0.80 Downloaded plist v1.6.0 Downloaded hashbrown v0.13.1 Downloaded rayon v1.9.0 Downloaded petgraph v0.6.4 Downloaded time v0.3.34 Downloaded comrak v0.24.1 Downloaded deunicode v1.4.3 Downloaded lalrpop v0.20.2 Downloaded radix_trie v0.2.1 Downloaded syn v2.0.52 Downloaded cxx v1.0.119 Downloaded rustix v0.38.31 Downloaded termimad v0.23.2 Downloaded pyo3 v0.17.3 Downloaded regex-syntax v0.8.2 Downloaded regex v1.10.3 Downloaded clap v3.2.25 Downloaded symbolic-demangle v10.2.1 Downloaded syn v0.15.44 Downloaded lsp-types v0.95.0 Downloaded malachite-q v0.4.5 Downloaded malachite-float v0.4.5 Downloaded serde_json v1.0.114 Downloaded wasm-bindgen v0.2.91 Downloaded libc v0.2.153 Downloaded insta v1.36.1 Downloaded clap v4.5.2 Downloaded darling_core v0.20.9 Downloaded derive_builder_core v0.20.0 Downloaded onig_sys v69.8.1 Downloaded onig v6.4.0 Downloaded cxx-build v1.0.119 Downloaded tokio v1.36.0 Downloaded plotters v0.3.5 Downloaded malachite-base v0.4.5 Downloaded tree-sitter v0.20.10 Downloaded semver v1.0.22 Downloaded assert_cmd v2.0.14 Downloaded clap_derive v4.5.0 Downloaded derive_builder v0.20.0 Downloaded rustyline v11.0.0 Downloaded quick-xml v0.26.0 Downloaded inferno v0.11.19 Downloaded crossterm v0.23.2 Downloaded quanta v0.11.1 Downloaded line-wrap v0.1.1 Downloaded js-sys v0.3.68 Downloaded coolor v0.5.0 Downloaded uuid v1.7.0 Downloaded pprof v0.11.1 Downloaded prettydiff v0.6.4 Downloaded cc v1.0.90 Downloaded tree-sitter-nickel v0.2.0 Downloaded serde_derive v1.0.197 Downloaded serde v1.0.197 Downloaded unicode-xid v0.1.0 Downloaded logos v0.12.1 Downloaded metrics-macros v0.7.1 Downloaded codespan v0.11.1 Downloaded half v2.4.0 Downloaded os_str_bytes v6.6.1 Downloaded findshlibs v0.10.2 Downloaded errno v0.3.8 Downloaded similar v2.4.0 Downloaded test-generator v0.3.1 Downloaded topiary-queries v0.4.2 Downloaded ryu v1.0.17 Downloaded time-macros v0.2.17 Downloaded pyo3-macros-backend v0.17.3 Downloaded serde-untagged v0.1.6 Downloaded topiary-core v0.4.0 Downloaded wasm-bindgen-backend v0.2.91 Downloaded safemem v0.3.3 Downloaded logos-derive v0.12.1 Downloaded pretty v0.11.3 Downloaded topiary-tree-sitter-facade v0.4.0 Downloaded itoa v1.0.10 Downloaded indoc v1.0.9 Downloaded lock_api v0.4.11 Downloaded plotters-backend v0.3.5 Downloaded plotters-svg v0.3.5 Downloaded symbolic-common v10.2.1 Downloaded fd-lock v3.0.13 Downloaded nibble_vec v0.1.0 Downloaded rustyline-derive v0.8.0 Downloaded serde_repr v0.1.18 Downloaded thiserror-impl v1.0.57 Downloaded thiserror v1.0.57 Downloaded malachite-nz v0.4.5 Downloaded proc-macro2 v0.4.30 Downloaded quote v0.6.13 Downloaded either v1.10.0 Downloaded ena v0.14.2 Downloaded clap_lex v0.2.4 Downloaded str_stack v0.1.0 Downloaded signal-hook-mio v0.2.3 Downloaded smallvec v1.13.1 Downloaded simple-counter v0.1.0 Downloaded wasm-bindgen-shared v0.2.91 Downloaded tokio-test v0.4.3 Downloaded wasm-bindgen-macro-support v0.2.91 Downloaded linux-raw-sys v0.4.13 Compiling proc-macro2 v1.0.78 Compiling unicode-ident v1.0.12 Compiling cfg-if v1.0.0 Compiling serde v1.0.197 Compiling libc v0.2.153 Compiling version_check v0.9.4 Compiling autocfg v1.1.0 Compiling ryu v1.0.17 Compiling once_cell v1.19.0 Compiling cc v1.0.90 Compiling parking_lot_core v0.9.9 Compiling memchr v2.7.1 Compiling zerocopy v0.7.32 Compiling itoa v1.0.10 Compiling serde_json v1.0.114 Compiling rustix v0.38.31 Compiling log v0.4.21 Compiling linux-raw-sys v0.4.13 Compiling typenum v1.17.0 Compiling fnv v1.0.7 Compiling regex-syntax v0.8.2 Compiling utf8parse v0.2.1 Compiling bitflags v1.3.2 Compiling bitflags v2.4.2 Compiling crossbeam-utils v0.8.19 Compiling wasm-bindgen-shared v0.2.91 Compiling smallvec v1.13.1 Compiling libm v0.2.8 Compiling unicode-width v0.1.11 Compiling either v1.10.0 Compiling strsim v0.11.1 Compiling ident_case v1.0.1 Compiling syn v1.0.109 Compiling signal-hook v0.3.17 Compiling pkg-config v0.3.30 Compiling bumpalo v3.15.4 Compiling crunchy v0.2.2 Compiling scopeguard v1.2.0 Compiling crc32fast v1.4.0 Compiling colorchoice v1.0.0 Compiling equivalent v1.0.1 Compiling hashbrown v0.14.3 Compiling anstyle v1.0.6 Compiling siphasher v0.3.11 Compiling tiny-keccak v2.0.2 Compiling thiserror v1.0.57 Compiling pin-project-lite v0.2.13 Compiling anstyle-query v1.0.2 Compiling wasm-bindgen v0.2.91 Compiling precomputed-hash v0.1.1 Compiling clap_lex v0.7.0 Compiling fixedbitset v0.4.2 Compiling bit-vec v0.6.3 Compiling same-file v1.0.6 Compiling futures-core v0.3.30 Compiling new_debug_unreachable v1.0.4 Compiling heck v0.4.1 Compiling adler v1.0.2 Compiling unicode-xid v0.2.4 Compiling pico-args v0.5.0 Compiling tinyvec_macros v0.1.1 Compiling termcolor v1.4.1 Compiling unicode-segmentation v1.11.0 Compiling typed-arena v2.0.2 Compiling endian-type v0.1.2 Compiling deunicode v1.4.3 Compiling typeid v1.0.0 Compiling yansi v0.5.1 Compiling walkdir v2.5.0 Compiling miniz_oxide v0.7.2 Compiling tinyvec v1.6.0 Compiling beef v0.5.2 Compiling bytes v1.5.0 Compiling diff v0.1.13 Compiling winnow v0.6.11 Compiling regex-syntax v0.6.29 Compiling ansi_term v0.12.1 Compiling minimad v0.12.0 Compiling unicode-bidi v0.3.15 Compiling arrayvec v0.5.2 Compiling unicode_categories v0.1.1 Compiling anstyle-parse v0.2.3 Compiling pad v0.1.6 Compiling entities v1.0.1 Compiling ena v0.14.2 Compiling xdg v2.5.2 Compiling unsafe-libyaml v0.2.10 Compiling percent-encoding v2.3.1 Compiling hashbrown v0.12.3 Compiling shell-words v1.1.0 Compiling topiary-queries v0.4.2 Compiling indoc v2.0.4 Compiling anyhow v1.0.80 Compiling simple-counter v0.1.0 Compiling void v1.0.2 Compiling strsim v0.10.0 Compiling lalrpop-util v0.20.2 Compiling humantime v2.1.0 Compiling fastrand v2.0.1 Compiling convert_case v0.4.0 Compiling phf_shared v0.10.0 Compiling nibble_vec v0.1.0 Compiling lazy_static v1.4.0 Compiling itertools v0.11.0 Compiling pretty_assertions v1.4.0 Compiling bit-set v0.5.3 Compiling ahash v0.8.11 Compiling generic-array v0.14.7 Compiling radix_trie v0.2.1 Compiling form_urlencoded v1.2.1 Compiling lock_api v0.4.11 Compiling anstream v0.6.13 Compiling indexmap v1.9.3 Compiling prettydiff v0.6.4 Compiling slug v0.1.5 Compiling aho-corasick v1.1.2 Compiling csv-core v0.1.11 Compiling pretty v0.11.3 Compiling flate2 v1.0.28 Compiling crossbeam-epoch v0.9.18 Compiling crossbeam-channel v0.5.12 Compiling crossbeam-queue v0.3.11 Compiling quote v1.0.35 Compiling indexmap v2.2.5 Compiling onig_sys v69.8.1 Compiling tree-sitter v0.20.10 Compiling tree-sitter-nickel v0.2.0 Compiling syn v2.0.52 Compiling crossbeam-deque v0.8.5 Compiling vte_generate_state_changes v0.1.1 Compiling dirs-sys-next v0.1.2 Compiling unicode-normalization v0.1.23 Compiling crossbeam v0.8.4 Compiling dirs-next v2.0.0 Compiling vte v0.11.1 Compiling term v0.7.0 Compiling parking_lot v0.12.1 Compiling petgraph v0.6.4 Compiling string_cache v0.8.7 Compiling ascii-canvas v3.0.0 Compiling idna v0.5.0 Compiling malachite-base v0.4.5 Compiling signal-hook-registry v1.4.1 Compiling mio v0.8.11 Compiling cpufeatures v0.2.12 Compiling nix v0.26.4 Compiling is-terminal v0.4.12 Compiling dirs-sys v0.3.7 Compiling directories v4.0.1 Compiling block-buffer v0.10.4 Compiling crypto-common v0.1.6 Compiling strip-ansi-escapes v0.2.0 Compiling digest v0.10.7 Compiling signal-hook-mio v0.2.3 Compiling md-5 v0.10.6 Compiling sha2 v0.10.8 Compiling sha-1 v0.10.1 Compiling regex-automata v0.4.6 Compiling crossterm v0.23.2 Compiling coolor v0.5.0 Compiling terminal_size v0.3.0 Compiling fd-lock v3.0.13 Compiling tempfile v3.10.1 Compiling clap_builder v4.5.2 Compiling rustyline v11.0.0 Compiling regex v1.10.3 Compiling lalrpop v0.20.2 Compiling darling_core v0.20.9 Compiling wasm-bindgen-backend v0.2.91 Compiling logos-derive v0.12.1 Compiling rustyline-derive v0.8.0 Compiling derive_more v0.99.17 Compiling serde_derive v1.0.197 Compiling tokio-macros v2.2.0 Compiling thiserror-impl v1.0.57 Compiling async-stream-impl v0.3.5 Compiling clap_derive v4.5.0 Compiling serde_repr v0.1.18 Compiling git-version-macro v0.3.9 Compiling env_logger v0.10.2 Compiling wasm-bindgen-macro-support v0.2.91 Compiling async-stream v0.3.5 Compiling topiary-tree-sitter-facade v0.4.0 Compiling git-version v0.3.9 Compiling tokio v1.36.0 Compiling logos v0.12.1 Compiling termimad v0.23.2 Compiling wasm-bindgen-macro v0.2.91 Compiling darling_macro v0.20.9 Compiling darling v0.20.9 Compiling derive_builder_core v0.20.0 Compiling clap v4.5.2 Compiling clap_complete v4.5.1 Compiling derive_builder_macro v0.20.0 Compiling tokio-stream v0.1.14 Compiling derive_builder v0.20.0 Compiling tokio-test v0.4.3 Compiling onig v6.4.0 Compiling malachite-nz v0.4.5 Compiling toml_datetime v0.6.6 Compiling bincode v1.3.3 Compiling serde_spanned v0.6.6 Compiling codespan-reporting v0.11.1 Compiling erased-serde v0.4.5 Compiling serde_yaml v0.9.32 Compiling url v2.5.0 Compiling csv v1.3.0 Compiling toml_edit v0.22.14 Compiling codespan v0.11.1 Compiling serde-untagged v0.1.6 Compiling syntect v5.2.0 Compiling topiary-core v0.4.0 Compiling lsp-server v0.7.6 Compiling lsp-types v0.95.0 Compiling js-sys v0.3.68 Compiling toml v0.8.14 Compiling comrak v0.24.1 Compiling serde-wasm-bindgen v0.5.0 Compiling malachite-q v0.4.5 Compiling malachite-float v0.4.5 Compiling malachite v0.4.5 Compiling nickel-lang-core v0.9.1 (/home/buildozer/aports/community/nickel/src/nickel-1.8.1/core) Compiling nickel-lang-lsp v1.8.1 (/home/buildozer/aports/community/nickel/src/nickel-1.8.1/lsp/nls) Compiling nickel-lang-cli v1.8.1 (/home/buildozer/aports/community/nickel/src/nickel-1.8.1/cli) Finished `release` profile [optimized] target(s) in 4m 37s Compiling proc-macro2 v1.0.78 Compiling unicode-ident v1.0.12 Compiling cfg-if v1.0.0 Compiling libc v0.2.153 Compiling once_cell v1.19.0 Compiling serde v1.0.197 Compiling autocfg v1.1.0 Compiling version_check v0.9.4 Compiling memchr v2.7.1 Compiling cc v1.0.90 Compiling ryu v1.0.17 Compiling smallvec v1.13.1 Compiling itoa v1.0.10 Compiling either v1.10.0 Compiling regex-syntax v0.8.2 Compiling parking_lot_core v0.9.9 Compiling crossbeam-utils v0.8.19 Compiling zerocopy v0.7.32 Compiling serde_json v1.0.114 Compiling log v0.4.21 Compiling equivalent v1.0.1 Compiling bitflags v1.3.2 Compiling rustix v0.38.31 Compiling bitflags v2.4.2 Compiling strsim v0.11.1 Compiling linux-raw-sys v0.4.13 Compiling fnv v1.0.7 Compiling typenum v1.17.0 Compiling same-file v1.0.6 Compiling utf8parse v0.2.1 Compiling syn v1.0.109 Compiling anstyle v1.0.6 Compiling wasm-bindgen-shared v0.2.91 Compiling crunchy v0.2.2 Compiling unicode-width v0.1.11 Compiling scopeguard v1.2.0 Compiling libm v0.2.8 Compiling ident_case v1.0.1 Compiling thiserror v1.0.57 Compiling signal-hook v0.3.17 Compiling hashbrown v0.14.3 Compiling siphasher v0.3.11 Compiling adler v1.0.2 Compiling pkg-config v0.3.30 Compiling tiny-keccak v2.0.2 Compiling bumpalo v3.15.4 Compiling anstyle-query v1.0.2 Compiling new_debug_unreachable v1.0.4 Compiling pin-project-lite v0.2.13 Compiling crc32fast v1.4.0 Compiling fixedbitset v0.4.2 Compiling precomputed-hash v0.1.1 Compiling colorchoice v1.0.0 Compiling bit-vec v0.6.3 Compiling futures-core v0.3.30 Compiling unicode-xid v0.2.4 Compiling wasm-bindgen v0.2.91 Compiling pico-args v0.5.0 Compiling termcolor v1.4.1 Compiling clap_lex v0.7.0 Compiling heck v0.4.1 Compiling hashbrown v0.12.3 Compiling winnow v0.6.11 Compiling typed-arena v2.0.2 Compiling deunicode v1.4.3 Compiling ansi_term v0.12.1 Compiling beef v0.5.2 Compiling regex-syntax v0.6.29 Compiling yansi v0.5.1 Compiling typeid v1.0.0 Compiling diff v0.1.13 Compiling bytes v1.5.0 Compiling endian-type v0.1.2 Compiling unicode-segmentation v1.11.0 Compiling xdg v2.5.2 Compiling shell-words v1.1.0 Compiling unicode_categories v0.1.1 Compiling anstyle-parse v0.2.3 Compiling pad v0.1.6 Compiling unsafe-libyaml v0.2.10 Compiling arrayvec v0.5.2 Compiling minimad v0.12.0 Compiling entities v1.0.1 Compiling simple-counter v0.1.0 Compiling lalrpop-util v0.20.2 Compiling nibble_vec v0.1.0 Compiling topiary-queries v0.4.2 Compiling phf_shared v0.10.0 Compiling strsim v0.10.0 Compiling indoc v2.0.4 Compiling itertools v0.11.0 Compiling void v1.0.2 Compiling miniz_oxide v0.7.2 Compiling rayon-core v1.12.1 Compiling lazy_static v1.4.0 Compiling half v2.4.0 Compiling uuid v1.7.0 Compiling plotters-backend v0.3.5 Compiling prettydiff v0.6.4 Compiling anstream v0.6.13 Compiling radix_trie v0.2.1 Compiling cpp_demangle v0.4.3 Compiling ciborium-io v0.2.2 Compiling os_str_bytes v6.6.1 Compiling itertools v0.10.5 Compiling textwrap v0.16.1 Compiling rustc-demangle v0.1.23 Compiling symbolic-demangle v10.2.1 Compiling stable_deref_trait v1.2.0 Compiling walkdir v2.5.0 Compiling ena v0.14.2 Compiling pretty_assertions v1.4.0 Compiling bytemuck v1.14.3 Compiling cast v0.3.0 Compiling fastrand v2.0.1 Compiling gimli v0.28.1 Compiling arrayvec v0.7.4 Compiling oorandom v11.1.3 Compiling proc-macro2 v0.4.30 Compiling anes v0.1.6 Compiling str_stack v0.1.0 Compiling ahash v0.8.11 Compiling generic-array v0.14.7 Compiling lock_api v0.4.11 Compiling indexmap v1.9.3 Compiling bit-set v0.5.3 Compiling num-traits v0.2.18 Compiling pprof v0.11.1 Compiling unicode-xid v0.1.0 Compiling target-lexicon v0.12.14 Compiling syn v0.15.44 Compiling similar v2.4.0 Compiling slug v0.1.5 Compiling glob v0.3.1 Compiling tinyvec_macros v0.1.1 Compiling linked-hash-map v0.5.6 Compiling percent-encoding v2.3.1 Compiling aho-corasick v1.1.2 Compiling object v0.32.2 Compiling quick-xml v0.26.0 Compiling plotters-svg v0.3.5 Compiling ciborium-ll v0.2.2 Compiling debugid v0.8.0 Compiling rgb v0.8.37 Compiling clap_lex v0.2.4 Compiling unicode-bidi v0.3.15 Compiling anyhow v1.0.80 Compiling pretty v0.11.3 Compiling tinyvec v1.6.0 Compiling form_urlencoded v1.2.1 Compiling num-format v0.4.4 Compiling predicates-core v1.0.6 Compiling doc-comment v0.3.3 Compiling termtree v0.4.1 Compiling assert_cmd v2.0.14 Compiling humantime v2.1.0 Compiling assert_matches v1.5.0 Compiling difflib v0.4.0 Compiling memoffset v0.6.5 Compiling csv-core v0.1.11 Compiling convert_case v0.4.0 Compiling unindent v0.1.11 Compiling indoc v1.0.9 Compiling yaml-rust v0.4.5 Compiling flate2 v1.0.28 Compiling indexmap v2.2.5 Compiling predicates-tree v1.0.9 Compiling quote v1.0.35 Compiling crossbeam-epoch v0.9.18 Compiling crossbeam-channel v0.5.12 Compiling crossbeam-queue v0.3.11 Compiling predicates v3.1.0 Compiling syn v2.0.52 Compiling onig_sys v69.8.1 Compiling tree-sitter v0.20.10 Compiling tree-sitter-nickel v0.2.0 Compiling findshlibs v0.10.2 Compiling backtrace v0.3.69 Compiling vte_generate_state_changes v0.1.1 Compiling quote v0.6.13 Compiling crossbeam-deque v0.8.5 Compiling pyo3-build-config v0.17.3 Compiling vte v0.11.1 Compiling dirs-sys-next v0.1.2 Compiling crossbeam v0.8.4 Compiling petgraph v0.6.4 Compiling dirs-next v2.0.0 Compiling term v0.7.0 Compiling parking_lot v0.12.1 Compiling unicode-normalization v0.1.23 Compiling string_cache v0.8.7 Compiling rayon v1.9.0 Compiling ascii-canvas v3.0.0 Compiling criterion-plot v0.5.0 Compiling getrandom v0.2.12 Compiling signal-hook-registry v1.4.1 Compiling mio v0.8.11 Compiling nix v0.26.4 Compiling cpufeatures v0.2.12 Compiling is-terminal v0.4.12 Compiling memmap2 v0.5.10 Compiling atty v0.2.14 Compiling console v0.15.8 Compiling wait-timeout v0.2.0 Compiling dirs-sys v0.3.7 Compiling plotters v0.3.5 Compiling block-buffer v0.10.4 Compiling crypto-common v0.1.6 Compiling strip-ansi-escapes v0.2.0 Compiling directories v4.0.1 Compiling digest v0.10.7 Compiling symbolic-common v10.2.1 Compiling idna v0.5.0 Compiling regex-automata v0.4.6 Compiling md-5 v0.10.6 Compiling sha2 v0.10.8 Compiling sha-1 v0.10.1 Compiling signal-hook-mio v0.2.3 Compiling crossterm v0.23.2 Compiling addr2line v0.21.0 Compiling pyo3-ffi v0.17.3 Compiling pyo3 v0.17.3 Compiling pyckel v1.8.1 (/home/buildozer/aports/community/nickel/src/nickel-1.8.1/pyckel) Compiling coolor v0.5.0 Compiling terminal_size v0.3.0 Compiling fd-lock v3.0.13 Compiling tempfile v3.10.1 Compiling clap_builder v4.5.2 Compiling malachite-base v0.4.5 Compiling rustyline v11.0.0 Compiling inferno v0.11.19 Compiling test-generator v0.3.1 Compiling regex v1.10.3 Compiling pyo3-macros-backend v0.17.3 Compiling lalrpop v0.20.2 Compiling darling_core v0.20.9 Compiling wasm-bindgen-backend v0.2.91 Compiling bstr v1.9.1 Compiling logos-derive v0.12.1 Compiling rustyline-derive v0.8.0 Compiling derive_more v0.99.17 Compiling insta v1.36.1 Compiling env_logger v0.10.2 Compiling serde_derive v1.0.197 Compiling thiserror-impl v1.0.57 Compiling tokio-macros v2.2.0 Compiling clap_derive v4.5.0 Compiling async-stream-impl v0.3.5 Compiling serde_repr v0.1.18 Compiling git-version-macro v0.3.9 Compiling wasm-bindgen-macro-support v0.2.91 Compiling async-stream v0.3.5 Compiling topiary-tree-sitter-facade v0.4.0 Compiling git-version v0.3.9 Compiling tokio v1.36.0 Compiling pyo3-macros v0.17.3 Compiling termimad v0.23.2 Compiling wasm-bindgen-macro v0.2.91 Compiling logos v0.12.1 Compiling darling_macro v0.20.9 Compiling clap v4.5.2 Compiling clap_complete v4.5.1 Compiling darling v0.20.9 Compiling derive_builder_core v0.20.0 Compiling tokio-stream v0.1.14 Compiling derive_builder_macro v0.20.0 Compiling tokio-test v0.4.3 Compiling derive_builder v0.20.0 Compiling serde_spanned v0.6.6 Compiling malachite-nz v0.4.5 Compiling toml_datetime v0.6.6 Compiling bincode v1.3.3 Compiling erased-serde v0.4.5 Compiling codespan-reporting v0.11.1 Compiling serde_yaml v0.9.32 Compiling ciborium v0.2.2 Compiling url v2.5.0 Compiling csv v1.3.0 Compiling toml_edit v0.22.14 Compiling onig v6.4.0 Compiling codespan v0.11.1 Compiling clap v3.2.25 Compiling serde-untagged v0.1.6 Compiling syntect v5.2.0 Compiling topiary-core v0.4.0 Compiling tinytemplate v1.2.1 Compiling lsp-server v0.7.6 Compiling lsp-types v0.95.0 Compiling js-sys v0.3.68 Compiling toml v0.8.14 Compiling comrak v0.24.1 Compiling criterion v0.4.0 Compiling serde-wasm-bindgen v0.5.0 Compiling malachite-q v0.4.5 Compiling malachite-float v0.4.5 Compiling malachite v0.4.5 Compiling lsp-harness v0.1.0 (/home/buildozer/aports/community/nickel/src/nickel-1.8.1/lsp/lsp-harness) Compiling nickel-lang-core v0.9.1 (/home/buildozer/aports/community/nickel/src/nickel-1.8.1/core) Compiling nickel-lang-utils v0.1.0 (/home/buildozer/aports/community/nickel/src/nickel-1.8.1/utils) Compiling nickel-wasm-repl v0.9.1 (/home/buildozer/aports/community/nickel/src/nickel-1.8.1/wasm-repl) Compiling nickel-lang-cli v1.8.1 (/home/buildozer/aports/community/nickel/src/nickel-1.8.1/cli) Compiling nickel-lang-lsp v1.8.1 (/home/buildozer/aports/community/nickel/src/nickel-1.8.1/lsp/nls) Finished `test` profile [unoptimized + debuginfo] target(s) in 3m 09s Running unittests src/lib.rs (target/debug/deps/lsp_harness-82eaacc3ab228987) running 0 tests test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s Running unittests src/main.rs (target/debug/deps/nickel-66de1e11348d5171) running 0 tests test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s Running tests/integration/main.rs (target/debug/deps/integration-ac87f6e099ac0c7b) running 3 tests Documentation written to /tmp/.tmp4KlvKv/output test automatic_color_on_non_tty ... ok test doc_creates_output_files ... ok test export_creates_output_files ... ok test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.09s Running tests/snapshot/main.rs (target/debug/deps/snapshot-1f28b79873109f5f) running 77 tests test check_snapshots_cli_tests_snapshot_inputs_customize_mode_simple_adder_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_customize_mode_not_an_input_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_customize_mode_list_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_customize_mode_assignment_syntax_error_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_customize_mode_show_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_customize_mode_help_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_customize_mode_field_path_syntax_error_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_docs_function_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_pretty_multiline_doc_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_pretty_let_rec_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_pretty_field_escaping_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_pretty_let_annotations_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_pretty_simple_record_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_docs_record_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_docs_evaluation_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_eval_records_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_docs_types_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_eval_escaping_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_errors_trace_not_saturated_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_errors_fun_contract_range_nested_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_errors_interpolate_record_type_field_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_errors_caller_contract_violation_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_errors_record_type_repeated_field_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_errors_array_range_step_negative_step_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_errors_destructuring_type_mismatch_nested_destructuring_fail_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_errors_destructuring_type_mismatch_fail_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_errors_destructuring_type_mismatch_field_pattern_fail_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_errors_record_forall_constraints_typecheck_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_errors_destructuring_typecontract_fail_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_errors_array_at_out_of_bound_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_customize_mode_unknown_field_path_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_errors_blame_custom_message_ansi_escaping_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_errors_destructuring_closed_fail_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_errors_invalid_contract_expression_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_errors_destructuring_rest_fail_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_errors_destructuring_nonexistent_idents_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_errors_array_contract_fail_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_errors_destructuring_assign_fail_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_errors_annotated_record_pattern_typecheck_fail_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_errors_dictionary_contract_fail_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_errors_array_range_reversed_indices_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_errors_spanned_toml_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_errors_destructuring_repeated_ident_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_customize_mode_unknown_override_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_errors_function_contract_domain_violation_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_export_nested_record_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_errors_record_access_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_errors_contract_with_custom_diagnostic_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_errors_array_merge_fail_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_errors_unification_variable_aliasing_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_errors_query_non_record_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_errors_simple_contract_fail_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_errors_fun_contract_range_violation_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_errors_enum_forall_parametricity_violation_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_errors_record_destructuring_duplicate_ident_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_errors_subcontract_nested_custom_diagnostics_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_eval_fieldarg_with_contracts_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_errors_invalid_record_type_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_errors_enum_forall_constraints_typecheck_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_errors_typed_field_without_annotation_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_errors_non_serializable_print_path_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_errors_serialization_number_out_of_range_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_errors_non_exhaustive_match_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_errors_mismatched_row_record_pattern_fail_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_export_not_exported_undefined_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_errors_nested_annotated_record_pattern_typecheck_fail_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_errors_value_contract_violation_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_errors_destructuring_repeated_ident_typed_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_errors_function_contract_violation_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_errors_record_access_suggestion_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_errors_validator_custom_error_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_errors_record_forall_parametricity_violation_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_errors_subcontract_type_path_underline_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_errors_string_delimiter_mismatch_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_errors_record_forall_constraints_contract_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_errors_array_at_empty_array_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_export_trace_ncl ... ok test result: ok. 77 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.29s Running unittests src/lib.rs (target/debug/deps/nickel_lang_core-28287d4a5edd86be) running 102 tests test environment::tests::test_iter_layer ... ok test environment::tests::test_env_base ... ok test environment::tests::test_deepness ... ok test environment::tests::test_clone ... ok test environment::tests::test_iter_elem ... ok test eval::merge::split::tests::all_right ... ok test eval::merge::split::tests::all_left ... ok test eval::merge::split::tests::all_center ... ok test eval::merge::split::tests::mixed ... ok test eval::stack::tests::marker_differentiates ... ok test eval::operation::tests::plus_first_term_operation ... ok test eval::operation::tests::ite_operation ... ok test eval::operation::tests::plus_second_term_operation ... ok test eval::stack::tests::pushing_and_popping_args ... ok test eval::stack::tests::pushing_and_popping_conts ... ok test eval::stack::tests::thunk_blackhole ... ok test eval::stack::tests::pushing_and_popping_thunks ... ok test eval::tests::identity_over_values ... ok test eval::tests::blame_panics ... ok test eval::tests::asking_for_various_types ... ok test eval::tests::initial_env ... ok test eval::tests::only_fun_are_applicable ... ok test eval::tests::simple_app ... ok test eval::tests::interpolation_simple ... ok test eval::tests::simple_ite ... ok test eval::tests::simple_let ... ok test eval::tests::interpolation_nested ... ok test eval::tests::simple_plus ... ok test identifier::interner::tests::test_intern_twice_has_same_symbol ... ok test identifier::interner::tests::test_intern_then_lookup ... ok test identifier::interner::tests::test_intern_two_different_has_different_symbols ... ok test eval::tests::foreign_id ... ok test parser::tests::booleans ... ok test parser::tests::carriage_returns ... ok test parser::tests::applications ... ok test parser::tests::ite ... ok test eval::tests::imports ... ok test parser::tests::invalid_record_types ... ok test parser::tests::lets ... ok test parser::tests::multiline_str_escape ... ok test parser::tests::numbers ... ok test parser::tests::plus ... ok test parser::tests::string_lexing ... ok test parser::tests::variables ... ok test parser::utils::tests::type_annotation_combine ... ok test parser::tests::line_comments ... ok test parser::tests::unary_op ... ok test parser::tests::symbolic_strings ... ok test parser::utils::tests::contract_annotation_order ... ok test parser::tests::str_escape ... ok test pretty::tests::pretty_app ... ok test parser::tests::strings ... ok test parser::tests::ascii_escape ... ok test parser::tests::import ... ok test eval::tests::lone_var_panics - should panic ... ok test parser::tests::ty_var_kind_mismatch ... ok test pretty::tests::pretty_arrays ... ok test pretty::tests::pretty_array_type ... ok test parser::tests::enum_terms ... ok test pretty::tests::pretty_arrow_type ... ok test pretty::tests::pretty_opn ... ok test pretty::tests::pretty_binop ... ok test parser::tests::record_terms ... ok test program::tests::typecheck_invalid_input ... ok test term::make::builder::tests::exercise_metadata ... ok test term::make::builder::tests::fields ... ok test pretty::tests::pretty_let ... ok test term::make::builder::tests::open_record ... ok test term::make::builder::tests::fields_metadata ... ok test pretty::tests::pretty_fun ... ok test term::make::builder::tests::from_iter ... ok test pretty::tests::pretty_unop ... ok test pretty::tests::pretty_record_type ... ok test term::make::builder::tests::prio_metadata ... ok test pretty::tests::pretty_forall_type ... ok test pretty::tests::pretty_enum_type ... ok test pretty::tests::pretty_dict_type ... ok test term::make::builder::tests::some_doc ... ok test term::make::builder::tests::trivial ... ok test pretty::tests::pretty_match ... ok test term::tests::make_static_access ... ok test term::make::builder::tests::overriding ... ok test pretty::tests::pretty_let_pattern ... ok test term::make::builder::tests::contract ... ok test pretty::tests::pretty_record ... ok test eval::tests::substitution ... ok test pretty::tests::pretty_multiline_strings ... ok test pretty::tests::types_pretty_printing ... ok test typ::tests::simplify_dont_elide_record ... ok test typ::tests::simplify ... ok test identifier::interner::tests::test_large_number_of_interns ... ok test deserialize::tests::rust_deserialize_array_of_numbers ... ok test deserialize::tests::rust_deserialize_fail_non_data ... ok test deserialize::tests::rust_deserialize_ignore_annotation ... ok test deserialize::tests::rust_deserialize_struct_with_fields ... ok test serialize::tests::records ... ok test program::tests::evaluation_full ... ok test serialize::tests::prevalidation ... ok test serialize::tests::meta_values ... ok test serialize::tests::involution ... ok test serialize::tests::arrays ... ok test serialize::tests::basic ... ok test result: ok. 102 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.97s Running tests/examples/main.rs (target/debug/deps/examples-1367485f7a1d9f48) running 17 tests test check_example_file_examples_foreach_pattern_foreach_pattern_on_import_ncl ... ok test check_example_file_examples_merge_security_ncl ... ok test check_example_file_examples_merge_priorities_server_ncl ... ok test check_example_file_examples_merge_priorities_security_ncl ... ok test check_example_file_examples_imports_imports_ncl ... ok test check_example_file_examples_merge_server_ncl ... ok test check_example_file_examples_merge_priorities_main_ncl ... ok test check_example_file_examples_merge_main_ncl ... ok test check_example_file_examples_polymorphism_polymorphism_ncl ... ok test check_example_file_examples_foreach_pattern_foreach_pattern_ncl ... ok test check_example_file_examples_simple_contracts_simple_contract_bool_ncl ... ok test check_example_file_examples_simple_contracts_simple_contract_div_ncl ... ok test check_example_file_examples_imports_data_nickel_properties_ncl ... ok test check_example_file_examples_arrays_arrays_ncl ... ok test check_example_file_examples_record_contract_record_contract_ncl ... ok test check_example_file_examples_config_gcc_config_gcc_ncl ... ok test check_example_file_examples_fibonacci_fibonacci_ncl ... ok test result: ok. 17 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.40s Running tests/integration/main.rs (target/debug/deps/integration-f02b1880d5b41e8c) running 700 tests test check_annotated_nickel_file_core_tests_integration_inputs_contracts_simplify_doesnt_remove_fields_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_contracts_poly_record_contract_return_val_without_tail_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_contracts_enum_contract_empty_enum_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_contracts_contract_applies_to_default_value_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_contracts_contracts_dont_capture_type_vars_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_arrays_elem_at_empty_array_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_contracts_div_by_zero_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_arrays_elem_at_non_int_index_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_contracts_equating_fn_match_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_contracts_dictionary_contract_propagates_through_merge_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_arrays_slice_non_array_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_adts_force_enum_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_contracts_type_annot_let_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_contracts_and_bool_contract_fail_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_contracts_type_annot_inline_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_contracts_array_contract_fn_is_not_an_array_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_contracts_enum_contract_missing_variant_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_adts_deep_seq_enum2_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_contracts_basic_custom_contract_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_adts_deep_seq_enum_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_adts_force_enum2_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_arrays_elem_at_negative_index_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_contracts_array_contract_num_is_not_an_array_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_contracts_custom_validator_succeed_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_arrays_slice_empty_array_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_contracts_equating_functions_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_contracts_custom_generic_succeed_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_contracts_not_basic_fail_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_contracts_not_record_fail_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_contracts_record_contract_nested_failure_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_contracts_custom_validator_fail_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_contracts_custom_generic_immediate_fail_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_arrays_stdlib_first_non_array_arg_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_contracts_any_of_empty_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_contracts_custom_predicate_succeed_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_contracts_polymorphic_function_contract_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_contracts_poly_record_contract_empty_record_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_contracts_poly_record_contract_missing_field_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_arrays_stdlib_at_non_array_arg_raises_blame_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_contracts_poly_record_contract_sealed_tail_remove_field_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_arrays_stdlib_drop_first_non_array_arg_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_contracts_record_contract_nested_missing_field_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_contracts_poly_record_contract_merge_sealed_tail_rhs_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_contracts_custom_generic_fail_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_contracts_unsound_dedup_dict_contract_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_contracts_record_contract_bad_field_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_contracts_poly_record_contract_map_sealed_tail_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_contracts_poly_record_contract_sealed_tail_static_access_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_contracts_record_contract_missing_field_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_contracts_poly_record_contract_return_val_wrong_tail_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_contracts_poly_record_contract_merge_sealed_tail_lhs_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_adts_enum_primops_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_contracts_record_contract_empty_record_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_contracts_let_order_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_contracts_record_contract_constraint_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_contracts_any_of_basic_fail_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_contracts_any_of_record_immediate_fail_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_contracts_custom_predicate_fail_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_imports_imported_circular_imports2_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_imports_imported_contract_fail_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_imports_imported_circular_imports_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_imports_imported_circular_imports1_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_imports_imported_multi_imports_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_imports_imported_direct_import_loop_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_imports_imported_nested_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_imports_imported_nested_syntax_error2_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_imports_imported_nested_syntax_error_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_imports_imported_nested_syntax_error1_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_imports_imported_root_path_import_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_imports_imported_root_path_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_contracts_poly_record_contract_bad_field_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_imports_imported_root_path_fourtytwo_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_imports_imported_serialize_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_imports_imported_two_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_imports_imported_unexpected_token_buried_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_imports_imported_unexpected_token_in_record_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_imports_imported_typecheck_fail_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_imports_imported_unexpected_token_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_contracts_any_of_record_delayed_fail_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_contracts_poly_record_contract_higher_order_fn_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_contracts_regression_panic_function_contract_fail_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_contracts_not_any_of_fail_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_contracts_record_contract_extra_field_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_contracts_types_dont_propagate_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_arrays_elem_at_non_array_arg_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_core_basics_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_contracts_and_number_bool_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_contracts_sequence_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_contracts_array_contract_bad_element_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_contracts_unsound_dedup_record_contract_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_contracts_enum_variant_fail_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_contracts_enum_contract_non_enum_value_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_contracts_poly_record_contract_sealed_tail_dynamic_access_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_lib_imported_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_lib_typed_import_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_contracts_record_contract_nested_extra_field_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_arrays_elem_at_index_out_of_bounds_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_arrays_stdlib_at_non_number_arg_raises_blame_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_imports_direct_import_loop_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_core_comparison_le_string_number_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_destructuring_atbind_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_destructuring_adt_type_mismatch_extra_row_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_destructuring_adt_missing_arg_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_destructuring_closed_fail_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_destructuring_constant_bool_fail_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_destructuring_adt_wrong_type_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_core_comparison_geq_string_string_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_destructuring_constant_number_fail_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_core_comparison_leq_bool_array_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_destructuring_adt_extra_arg_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_destructuring_assign_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_destructuring_assign_fail_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_core_comparison_ge_string_string_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_destructuring_constant_null_fail_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_core_comparison_le_number_bool_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_core_import_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_core_string_interpolation_number_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_destructuring_adt_wrong_tag_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_destructuring_adt_enum_tag_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_destructuring_adt_type_matches_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_core_or_string_bool_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_destructuring_nested_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_destructuring_default_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_destructuring_rest_fail_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_destructuring_constants_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_destructuring_type_mismatch_fail_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_destructuring_constant_string_fail_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_destructuring_rest_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_destructuring_type_annotations_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_destructuring_adt_enum_tag_tag_mismatch_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_destructuring_mixed_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_core_numbers_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_destructuring_typecontract_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_imports_needs_nickel_path_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_destructuring_simple_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_imports_imported_import_parent_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_destructuring_nonexistent_idents_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_core_curried_dot_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_imports_contract_fail_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_core_functions_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_destructuring_repeated_ident_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_destructuring_typecontract_fail_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_imports_root_path_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_destructuring_type_mismatch_nested_destructuring_fail_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_imports_circular_imports_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_destructuring_open_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_core_fibo_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_imports_typecheck_fail_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_destructuring_adt_type_mismatch_tag_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_imports_nested_syntax_error_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_core_recursive_let_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_imports_unexpected_token_in_record_fail_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_imports_unexpected_token_buried_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_infinite_loops_mutually_recursive_functions_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_core_arrays_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_destructuring_type_mismatch_field_pattern_fail_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_imports_missing_nickel_path_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_destructuring_preserves_types_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_imports_nested_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_infinite_loops_x_eq_y_eq_z_eq_x_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_destructuring_fun_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_merging_adts_different_tags_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_core_builtins_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_infinite_loops_x_eq_expr_involving_x_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_imports_yaml_import_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_contracts_boolean_combinators_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_imports_static_typing_fail_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_merging_adts_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_merging_merge_compose_contract_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_imports_unexpected_token_fail_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_infinite_loops_x_eq_x_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_imports_multi_imports_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_merging_array_merge_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_destructuring_repeated_ident_typed_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_imports_serialize_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_core_eq_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_contracts_contracts_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_merging_lazy_propagation_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_core_records_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_parsing_unexpected_token_buried_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_parsing_unbound_type_variable_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_parsing_unexpected_token_dollar_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_parsing_unbound_var_in_contract_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_merging_merge_default_contract_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_pattern_matching_default_fail_previous_contract_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_records_merge_different_vals_default_prio_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_pattern_matching_non_bool_guard_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_records_dynamic_field_missing_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_pattern_matching_contract_blame_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_records_cannot_use_dynamic_fields_recursively_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_parsing_unbound_record_tail_var_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_records_merge_nested_different_vals_prio_0_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_merging_merge_contract_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_pattern_matching_non_exhaustive_record_pattern_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_records_merge_different_vals_no_priority_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_records_merge_nested_different_vals_default_prio_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_merging_merge_conflict_inside_metavalue_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_records_merge_nested_different_vals_no_prio_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_records_merge_nested_different_vals_same_priority_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_records_missing_field_not_exported_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_pattern_matching_or_pattern_vars_mismatch_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_records_missing_field_with_contract_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_records_record_insert_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_parsing_annotations_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_dyn_tail_contract_in_typechecking_mode_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_pattern_matching_non_exhaustive_enum_pattern_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_pattern_matching_enum_after_wildcard_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_serialization_number_out_of_range_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_pattern_matching_default_value_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_pattern_matching_contract_default_value_blame_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_merging_priorities_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_pattern_matching_wildcards_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_pattern_matching_contracts_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_records_missing_field_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_serialization_serialize_package_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_parsing_unexpected_token_in_record_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_stdlib_record_get_missing_field_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_stdlib_record_insert_with_opts_existing_field_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_contracts_dont_unify_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_pattern_matching_or_patterns_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_parsing_type_var_outside_forall_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_pattern_matching_guards_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_dynamic_record_field_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_dynamic_type_error_with_wildcard_annotation_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_records_merge_different_vals_both_force_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_pattern_matching_arrays_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_records_record_defs_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_records_merge_nested_incompatible_types_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_dynamic_type_error_without_wildcard_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_array_subtyping_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_enum_variant_not_in_type_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_enum_row_conflict_remove_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_enum_match_variant_not_covered_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_higher_rank_eval_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_forall_inside_row_type_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_enum_match_mismatched_branch_types_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_enum_row_conflict_extend_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_locally_different_flat_types_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_algebraic_data_types_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_higher_rank_coeval_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_mismatch_array_entry_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_pattern_matching_basics_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_mismatch_array_typed_entry_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_basic_algebraic_data_type_mismatch_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_records_static_access_missing_field_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_mismatch_contract_type_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_mismatch_convert_static_record_type_to_dynamic_tail_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_mismatch_array_multiple_entries_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_record_typed_field_path_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_mismatch_array_elem_at_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_basic_typechecking_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_mismatch_convert_empty_record_to_dynamic_tail_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_enum_row_conflict_poly_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_mismatch_enum_match_fun_type_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_mismatch_array_map_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_mismatch_enum_poly_row_var_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_mismatch_forall_var_concrete_type_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_mismatch_enum_poly_nested_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_mismatch_enum_case_in_multiple_types_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_mismatch_rec_record_field_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_mismatch_rec_record_inference_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_basic_algebraic_data_type_row_mismatch_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_strings_string_interpolation_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_mismatch_rec_record_rec_field_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_stdlib_string_primitives_ncl ... ok test free_vars::destruct_fun ... ok test free_vars::destruct_let ... ok test free_vars::dynamic_record ... ok test check_annotated_nickel_file_core_tests_integration_inputs_stdlib_maths_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_mismatch_in_fun_body_ncl ... ok test free_vars::recursive_let ... ok test free_vars::simple_fun ... ok test free_vars::nested_records ... ok test free_vars::simple_let ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_mismatch_record_field_access_ncl ... ok test free_vars::static_record ... ok test check_annotated_nickel_file_core_tests_integration_inputs_stdlib_string_uppercase_lowercase_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_adts_deep_seq_enum_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_adts_deep_seq_enum2_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_adts_force_enum_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_adts_force_enum2_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_arrays_elem_at_empty_array_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_arrays_elem_at_index_out_of_bounds_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_arrays_elem_at_non_array_arg_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_dictionary_subtyping_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_arrays_elem_at_negative_index_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_stdlib_string_contracts_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_arrays_slice_non_array_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_adts_enum_primops_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_arrays_stdlib_at_non_array_arg_raises_blame_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_arrays_slice_empty_array_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_arrays_stdlib_at_non_number_arg_raises_blame_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_and_number_bool_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_arrays_elem_at_non_int_index_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_arrays_stdlib_first_non_array_arg_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_arrays_stdlib_drop_first_non_array_arg_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_any_of_basic_fail_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_any_of_empty_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_array_contract_num_is_not_an_array_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_strings_symbolic_strings_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_parsing_identifiers_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_and_bool_contract_fail_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_array_contract_fn_is_not_an_array_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_contract_applies_to_default_value_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_mismatch_record_poly_field_misused_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_any_of_record_delayed_fail_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_array_contract_bad_element_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_contracts_dont_capture_type_vars_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_mismatch_record_field_type_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_custom_generic_fail_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_basic_custom_contract_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_custom_generic_succeed_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_mismatch_record_poly_row_var_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_custom_validator_fail_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_div_by_zero_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_custom_predicate_fail_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_enum_contract_empty_enum_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_enum_contract_missing_variant_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_custom_predicate_succeed_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_mismatch_record_poly_fields_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_pattern_array_elem_mismatch_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_any_of_record_immediate_fail_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_custom_generic_immediate_fail_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_custom_validator_succeed_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_enum_contract_non_enum_value_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_equating_functions_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_enum_variant_fail_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_equating_fn_match_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_not_basic_fail_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_not_any_of_fail_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_dictionary_contract_propagates_through_merge_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_not_record_fail_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_stdlib_enum_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_poly_record_contract_empty_record_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_no_implicit_polymorphism_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_let_order_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_serialization_serialize_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_poly_record_contract_merge_sealed_tail_lhs_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_pattern_extend_closed_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_poly_record_contract_map_sealed_tail_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_mismatch_forall_variable_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_poly_record_contract_bad_field_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_stdlib_string_find_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_poly_record_contract_sealed_tail_remove_field_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_record_contract_empty_record_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_polymorphic_function_contract_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_poly_record_contract_missing_field_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_poly_record_contract_sealed_tail_dynamic_access_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_poly_record_contract_return_val_without_tail_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_boolean_combinators_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_mismatch_record_field_name_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_pattern_generalize_closed_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_poly_record_contract_higher_order_fn_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_poly_record_contract_merge_sealed_tail_rhs_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_record_contract_missing_field_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_regression_panic_function_contract_fail_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_record_contract_constraint_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_record_contract_bad_field_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_poly_record_contract_return_val_wrong_tail_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_type_annot_inline_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_poly_record_contract_sealed_tail_static_access_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_core_comparison_geq_string_string_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_core_comparison_ge_string_string_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_core_comparison_le_number_bool_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_record_contract_nested_failure_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_record_contract_extra_field_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_record_contract_nested_extra_field_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_type_annot_let_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_stdlib_string_trim_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_pattern_generalize_enum_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_mismatch_record_dyn_field_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_record_contract_nested_missing_field_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_stdlib_string_find_all_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_core_comparison_le_string_number_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_core_comparison_leq_bool_array_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_core_or_string_bool_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_core_import_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_sequence_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_core_string_interpolation_number_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_unsound_dedup_dict_contract_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_mismatch_let_inference_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_destructuring_adt_missing_arg_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_destructuring_adt_enum_tag_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_destructuring_adt_enum_tag_tag_mismatch_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_destructuring_adt_extra_arg_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_destructuring_adt_wrong_tag_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_core_numbers_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_destructuring_constant_bool_fail_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_simplify_doesnt_remove_fields_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_destructuring_adt_wrong_type_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_destructuring_adt_type_mismatch_tag_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_destructuring_constant_null_fail_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_types_dont_propagate_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_destructuring_closed_fail_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_destructuring_adt_type_mismatch_extra_row_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_destructuring_assign_fail_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_destructuring_adt_type_matches_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_destructuring_assign_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_destructuring_repeated_ident_typed_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_destructuring_constant_number_fail_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_destructuring_repeated_ident_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_stdlib_record_empty_optional_ops_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_destructuring_default_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_destructuring_atbind_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_destructuring_constant_string_fail_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_core_recursive_let_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_destructuring_open_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_destructuring_rest_fail_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_destructuring_nonexistent_idents_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_destructuring_constants_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_destructuring_rest_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_imports_contract_fail_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_imports_direct_import_loop_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_unsound_dedup_record_contract_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_destructuring_nested_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_imports_imported_import_parent_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_imports_circular_imports_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_stdlib_string_conversions_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_imports_imported_circular_imports2_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_destructuring_typecontract_fail_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_core_fibo_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_destructuring_type_mismatch_field_pattern_fail_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_destructuring_simple_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_destructuring_mixed_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_imports_imported_direct_import_loop_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_destructuring_type_mismatch_fail_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_imports_imported_circular_imports1_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_destructuring_typecontract_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_imports_imported_nested_syntax_error_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_stdlib_record_remove_empty_opt_field_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_imports_imported_root_path_fourtytwo_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_core_curried_dot_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_imports_imported_nested_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_imports_imported_contract_fail_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_destructuring_fun_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_imports_imported_root_path_import_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_imports_imported_multi_imports_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_destructuring_type_mismatch_nested_destructuring_fail_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_imports_imported_nested_syntax_error1_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_imports_imported_circular_imports_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_imports_imported_two_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_imports_imported_root_path_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_imports_multi_imports_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_imports_nested_syntax_error_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_imports_missing_nickel_path_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_imports_needs_nickel_path_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_imports_imported_serialize_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_core_functions_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_imports_imported_typecheck_fail_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_imports_nested_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_imports_root_path_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_imports_typecheck_fail_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_imports_unexpected_token_buried_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_imports_imported_unexpected_token_in_record_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_imports_unexpected_token_fail_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_imports_imported_unexpected_token_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_imports_unexpected_token_in_record_fail_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_lib_imported_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_infinite_loops_x_eq_x_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_lib_typed_import_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_imports_static_typing_fail_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_imports_imported_nested_syntax_error2_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_imports_serialize_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_infinite_loops_x_eq_y_eq_z_eq_x_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_infinite_loops_mutually_recursive_functions_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_merging_adts_different_tags_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_merging_merge_contract_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_imports_imported_unexpected_token_buried_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_merging_merge_conflict_inside_metavalue_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_parsing_unbound_var_in_contract_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_mismatch_record_dictionary_subtyping_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_parsing_unexpected_token_in_record_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_infinite_loops_x_eq_expr_involving_x_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_pattern_array_rest_mismatch_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_merging_merge_compose_contract_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_imports_yaml_import_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_merging_merge_default_contract_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_parsing_unexpected_token_dollar_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_pattern_not_an_array_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_parsing_identifiers_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_parsing_type_var_outside_forall_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_pattern_matching_contract_blame_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_core_builtins_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_pattern_matching_contract_default_value_blame_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_pattern_rest_mismatch_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_pattern_matching_default_fail_previous_contract_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_pattern_variant_arg_mismatch_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_parsing_unexpected_token_buried_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_stdlib_string_contains_find_replace_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_parsing_unbound_record_tail_var_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_destructuring_type_annotations_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_parsing_unbound_type_variable_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_parsing_annotations_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_stdlib_string_split_join_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_records_dynamic_field_missing_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_records_cannot_use_dynamic_fields_recursively_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_pattern_non_bool_guard_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_pattern_matching_or_pattern_vars_mismatch_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_pattern_unbound_identifier_guard_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_pattern_matching_non_bool_guard_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_pattern_variant_arg_mismatch_wildcard_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_primitive_mismatch_string_number_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_pattern_matching_non_exhaustive_enum_pattern_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_records_missing_field_not_exported_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_pattern_matching_enum_after_wildcard_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_records_merge_nested_different_vals_default_prio_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_primitive_mismatch_number_bool_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_records_merge_different_vals_both_force_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_records_merge_different_vals_no_priority_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_serialization_number_out_of_range_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_records_missing_field_with_contract_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_pattern_matching_contracts_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_records_merge_nested_different_vals_no_prio_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_records_merge_different_vals_default_prio_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_records_merge_nested_different_vals_prio_0_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_records_merge_nested_different_vals_same_priority_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_pattern_matching_non_exhaustive_record_pattern_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_records_missing_field_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_records_static_access_missing_field_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_piecewise_signature_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_record_row_conflict_poly_shuffled1_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_shallow_type_inference_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_merging_multiple_overrides_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_records_merge_nested_incompatible_types_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_stdlib_record_remove_empty_opt_field_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_merging_adts_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_merging_priorities_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_record_row_conflict_poly_shuffled3_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_merging_overriding_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_stdlib_record_insert_with_opts_existing_field_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_record_row_conflict_extend_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_contracts_dont_unify_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_recursive_let_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_basic_algebraic_data_type_mismatch_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_basic_typechecking_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_basic_algebraic_data_type_row_mismatch_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_dynamic_type_error_without_wildcard_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_pattern_matching_default_value_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_dynamic_record_field_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_unbound_variable_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_dyn_tail_contract_in_typechecking_mode_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_enum_match_mismatched_branch_types_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_array_subtyping_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_enum_row_tags_dont_conflict_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_dynamic_type_error_with_wildcard_annotation_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_pattern_matching_guards_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_record_row_conflict_poly_shuffled2_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_enum_match_variant_not_covered_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_stdlib_record_get_missing_field_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_records_record_insert_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_enum_variant_not_in_type_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_merging_array_merge_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_pattern_matching_wildcards_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_primitive_mismatch_bool_number_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_core_arrays_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_unsound_generalization_enum_rows_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_dictionary_subtyping_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_algebraic_data_types_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_mismatch_array_entry_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_field_polymorphic_annot_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_mismatch_array_elem_at_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_type_in_term_position_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_forall_inside_row_type_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_chaining_dictionary_function_record_dictionary_subtyping_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_core_basics_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_mismatch_convert_empty_record_to_dynamic_tail_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_higher_rank_eval_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_enum_row_conflict_extend_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_enum_row_conflict_poly_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_mismatch_array_multiple_entries_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_enum_row_conflict_remove_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_mismatch_convert_static_record_type_to_dynamic_tail_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_mismatch_contract_type_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_mismatch_array_map_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_mismatch_array_typed_entry_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_unannotated_bindings_type_as_dyn_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_higher_rank_coeval_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_mismatch_forall_var_concrete_type_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_enum_row_tags_dont_conflict_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_mismatch_in_fun_body_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_mismatch_enum_case_in_multiple_types_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_merging_lazy_propagation_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_mismatch_record_field_access_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_mismatch_enum_match_fun_type_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_locally_different_flat_types_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_mismatch_record_field_name_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_mismatch_record_field_type_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_stdlib_string_find_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_mismatch_forall_variable_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_mismatch_record_dyn_field_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_unsound_generalization_fun_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_mismatch_rec_record_field_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_mismatch_enum_poly_row_var_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_mismatch_let_inference_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_mismatch_rec_record_rec_field_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_mismatch_rec_record_inference_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_pattern_array_elem_mismatch_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_no_implicit_polymorphism_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_pattern_extend_closed_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_unsound_generalization_record_rows_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_unsound_generalization_simple_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_mismatch_enum_poly_nested_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_pattern_array_rest_mismatch_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_stdlib_string_conversions_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_mismatch_record_dictionary_subtyping_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_primitive_mismatch_bool_number_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_stdlib_string_uppercase_lowercase_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_stdlib_enum_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_primitive_mismatch_number_bool_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_primitive_mismatch_string_number_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_mismatch_record_poly_fields_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_mismatch_record_poly_field_misused_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_pattern_or_type_mismatch_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_record_typed_field_path_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_pattern_generalize_enum_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_piecewise_signature_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_pattern_generalize_closed_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_pattern_not_an_array_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_pattern_non_bool_guard_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_unbound_variable_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_pattern_variant_arg_mismatch_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_pattern_matching_or_patterns_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_mismatch_record_poly_row_var_ncl ... ok test pretty::str_vs_strchunks ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_stdlib_string_contracts_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_recursive_let_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_shallow_type_inference_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_pattern_variant_arg_mismatch_wildcard_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_unannotated_bindings_type_as_dyn_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_stdlib_maths_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_type_in_term_position_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_record_row_conflict_extend_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_pattern_unbound_identifier_guard_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_unsound_generalization_fun_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_record_row_conflict_remove_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_unsound_generalization_record_rows_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_unsound_generalization_simple_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_regression_rrows_unification_loops_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_pattern_or_closed_enum_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_unsound_generalization_enum_rows_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_pattern_rest_mismatch_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_record_subtyping_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_unsound_generalization_monomorphic_id_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_stdlib_string_trim_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_record_row_conflict_poly_shuffled2_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_wildcard_apparent_ty_is_dyn_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_record_row_conflict_poly_shuffled3_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_record_row_conflict_poly_shuffled1_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_pattern_matching_arrays_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_record_subtyping_with_tail_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_record_dictionary_subtyping_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_record_subtyping_multiple_components_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_row_type_unification_variable_mismatch_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_field_polymorphic_annot_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_stdlib_record_empty_optional_ops_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_unsound_generalization_monomorphic_id_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_record_row_conflict_remove_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_or_patterns_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_pattern_matching_basics_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_stdlib_string_primitives_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_stdlib_string_find_all_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_strings_string_interpolation_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_wildcard_apparent_ty_is_dyn_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_serialization_serialize_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_merging_multiple_overrides_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_serialization_serialize_package_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_stdlib_string_split_join_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_destructuring_preserves_types_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_core_eq_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_chaining_dictionary_function_record_dictionary_subtyping_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_merging_overriding_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_stdlib_string_contains_find_replace_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_records_record_defs_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_core_records_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_pattern_matching_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_or_patterns_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_strings_symbolic_strings_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_merging_metavalues_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_pattern_or_closed_enum_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_pattern_or_type_mismatch_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_contracts_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_record_subtyping_with_tail_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_record_subtyping_ncl ... ok test pretty::pretty_standard_library_core_stdlib_internals_ncl ... ok test contract_label_path::dictionary_contracts_label_path_is_set_correctly ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_regression_rrows_unification_loops_ncl ... ok test check_from_dir_core_tests_integration_inputs_imports_imported_import_parent_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_pattern_matching_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_merging_metavalues_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_record_subtyping_multiple_components_ncl ... ok test pretty::negative_numbers ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_record_dictionary_subtyping_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_typechecking_ncl ... ok test query::test_query_metadata_basic ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_typechecking_ncl ... ok test contract_label_path::array_contracts_label_path_is_set_correctly ... ok test stdlib_typecheck::stdlib_typecheck ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_row_type_unification_variable_mismatch_ncl ... ok test pretty::pretty_standard_library_core_stdlib_std_ncl ... ok test query::test_query_with_wildcard ... ok test result: ok. 700 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 10.75s Running tests/manual/main.rs (target/debug/deps/manual-a06193e7895835d3) running 10 tests test check_manual_snippets_doc_manual_introduction_md ... ok test check_manual_snippets_doc_manual_tutorial_md ... ok test check_manual_snippets_doc_manual_cookbook_md ... ok test check_manual_snippets_doc_manual_types_vs_contracts_md ... ok test check_manual_snippets_doc_manual_modular_configurations_md ... ok test check_manual_snippets_doc_manual_correctness_md ... ok test check_manual_snippets_doc_manual_merging_md ... ok test check_manual_snippets_doc_manual_contracts_md ... ok test check_manual_snippets_doc_manual_typing_md ... ok test check_manual_snippets_doc_manual_syntax_md ... ok test result: ok. 10 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 4.83s Running unittests src/main.rs (target/debug/deps/nls-0708870e29c04613) running 8 tests test codespan_lsp::tests::unicode_get_byte_index ... ok test codespan_lsp::tests::unicode_get_position ... ok test codespan_lsp::tests::position ... ok test usage::tests::let_and_var ... ok test analysis::tests::parent_chain ... ok test usage::tests::pattern_path ... ok test usage::tests::record_bindings ... ok test position::tests::find_pos ... ok test result: ok. 8 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s Running tests/main.rs (target/debug/deps/main-c80fe54667d14ace) running 39 tests test check_snapshots_lsp_nls_tests_inputs_completion_nested_ncl ... ok test check_snapshots_lsp_nls_tests_inputs_completion_dict_ncl ... ok test check_snapshots_lsp_nls_tests_inputs_completion_array_ncl ... ok test check_snapshots_lsp_nls_tests_inputs_symbols_recursion_ncl ... ok test check_snapshots_lsp_nls_tests_inputs_completion_fun_parameter_contract_ncl ... ok test check_snapshots_lsp_nls_tests_inputs_completion_match_typed_ncl ... ok test check_snapshots_lsp_nls_tests_inputs_import_invalidation_ncl ... ok test check_snapshots_lsp_nls_tests_inputs_offsets_ncl ... ok test check_snapshots_lsp_nls_tests_inputs_completion_field_disambiguation_ncl ... ok test check_snapshots_lsp_nls_tests_inputs_import_external_format_ncl ... ok test check_snapshots_lsp_nls_tests_inputs_goto_multiple_ncl ... ok test check_snapshots_lsp_nls_tests_inputs_hover_pattern_typed_ncl ... ok test check_snapshots_lsp_nls_tests_inputs_symbols_basic_ncl ... ok test check_snapshots_lsp_nls_tests_inputs_formatting_ncl ... ok test check_snapshots_lsp_nls_tests_inputs_goto_record_ncl ... ok test check_snapshots_lsp_nls_tests_inputs_hover_field_typed_block_regression_1574_ncl ... ok test check_snapshots_lsp_nls_tests_inputs_hover_stdlib_type_ncl ... ok test check_snapshots_lsp_nls_tests_inputs_hover_basic_ncl ... ok test check_snapshots_lsp_nls_tests_inputs_completion_match_ncl ... ok test check_snapshots_lsp_nls_tests_inputs_goto_basic_ncl ... ok test check_snapshots_lsp_nls_tests_inputs_goto_cross_file_ncl ... ok test check_snapshots_lsp_nls_tests_inputs_hover_cousin_ncl ... ok test check_snapshots_lsp_nls_tests_inputs_goto_pattern_ncl ... ok test check_snapshots_lsp_nls_tests_inputs_goto_scoping_ncl ... ok test check_snapshots_lsp_nls_tests_inputs_goto_recursive_ncl ... ok test check_snapshots_lsp_nls_tests_inputs_completion_incomplete_ncl ... ok test check_snapshots_lsp_nls_tests_inputs_hover_pattern_ncl ... ok test check_snapshots_lsp_nls_tests_inputs_rename_ncl ... ok test check_snapshots_lsp_nls_tests_inputs_completion_patterns_ncl ... ok test check_snapshots_lsp_nls_tests_inputs_completion_basic_ncl ... ok test check_snapshots_lsp_nls_tests_inputs_diagnostics_typecheck_ncl ... ok test refresh_missing_imports ... ok test check_snapshots_lsp_nls_tests_inputs_diagnostics_undefined_fields_ncl ... ok test apply_client_options ... ok test check_snapshots_lsp_nls_tests_inputs_diagnostics_basic_ncl ... ok test check_snapshots_lsp_nls_tests_inputs_diagnostics_recursion_ncl ... ok test check_snapshots_lsp_nls_tests_inputs_diagnostics_array_ncl ... ok test check_snapshots_lsp_nls_tests_inputs_goto_perf_ncl ... ok test reload_broken_imports ... ok test result: ok. 39 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.64s Running unittests src/lib.rs (target/debug/deps/nickel_lang_utils-8c75cc9d9613620d) running 0 tests test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s Running unittests src/lib.rs (target/debug/deps/nickel_wasm_repl-3ea0d0d68ce1ac00) running 0 tests test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s Running unittests src/lib.rs (target/debug/deps/pyckel-fdba3a41bab348a4) running 0 tests test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s Doc-tests lsp_harness running 0 tests test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s Doc-tests nickel_lang_core running 6 tests test core/src/typ.rs - typ::TypeF (line 206) ... ok test core/src/typ.rs - typ::TypeF (line 225) ... ok test core/src/typ.rs - typ::TypeF (line 196) ... ok test core/src/term/mod.rs - term::match_sharedterm (line 2509) ... ok test core/src/term/mod.rs - term::match_sharedterm (line 2520) ... ok test core/src/term/make/builder.rs - term::make::builder (line 5) ... ok test result: ok. 6 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 3.13s Doc-tests nickel_lang_utils running 1 test test utils/src/project_root.rs - project_root::project_root (line 4) ... ok test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 4.02s Doc-tests nickel_wasm_repl running 0 tests test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s Doc-tests pyckel running 0 tests test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s >>> nickel: Entering fakeroot... >>> nickel-doc*: Running split function doc... 'usr/share/doc' -> '/home/buildozer/aports/community/nickel/pkg/nickel-doc/usr/share/doc' >>> nickel-doc*: Preparing subpackage nickel-doc... >>> nickel-doc*: Running postcheck for nickel-doc >>> nickel-language-server*: Running split function _langserver... 'usr/bin/nls' -> '/home/buildozer/aports/community/nickel/pkg/nickel-language-server/usr/bin/nls' >>> nickel-language-server*: Preparing subpackage nickel-language-server... >>> nickel-language-server*: Stripping binaries >>> nickel-language-server*: Running postcheck for nickel-language-server >>> nickel*: Running postcheck for nickel >>> nickel*: Preparing package nickel... >>> nickel*: Stripping binaries >>> nickel-doc*: Scanning shared objects >>> nickel-language-server*: Scanning shared objects >>> nickel*: Scanning shared objects >>> nickel-doc*: Tracing dependencies... >>> nickel-doc*: Package size: 181.2 KB >>> nickel-doc*: Compressing data... >>> nickel-doc*: Create checksum... >>> nickel-doc*: Create nickel-doc-1.8.1-r0.apk >>> nickel-language-server*: Tracing dependencies... so:libc.musl-aarch64.so.1 so:libgcc_s.so.1 >>> nickel-language-server*: Package size: 5.9 MB >>> nickel-language-server*: Compressing data... >>> nickel-language-server*: Create checksum... >>> nickel-language-server*: Create nickel-language-server-1.8.1-r0.apk >>> nickel*: Tracing dependencies... so:libc.musl-aarch64.so.1 so:libgcc_s.so.1 >>> nickel*: Package size: 8.0 MB >>> nickel*: Compressing data... >>> nickel*: Create checksum... >>> nickel*: Create nickel-1.8.1-r0.apk >>> nickel: Build complete at Sat, 19 Oct 2024 21:17:55 +0000 elapsed time 0h 8m 26s >>> nickel: Cleaning up srcdir >>> nickel: Cleaning up pkgdir >>> nickel: Uninstalling dependencies... (1/17) Purging .makedepends-nickel (20241019.210930) (2/17) Purging cargo (1.82.0-r0) (3/17) Purging rust (1.82.0-r0) (4/17) Purging python3-pyc (3.12.7-r0) (5/17) Purging python3-pycache-pyc0 (3.12.7-r0) (6/17) Purging pyc (3.12.7-r0) (7/17) Purging python3 (3.12.7-r0) (8/17) Purging gdbm (1.24-r0) (9/17) Purging libbz2 (1.0.8-r6) (10/17) Purging libpanelw (6.5_p20241006-r0) (11/17) Purging llvm19-libs (19.1.1-r0) (12/17) Purging mpdecimal (4.0.0-r0) (13/17) Purging scudo-malloc (19.1.1-r0) (14/17) Purging sqlite-libs (3.46.1-r0) (15/17) Purging libffi (3.4.6-r0) (16/17) Purging libxml2 (2.13.4-r1) (17/17) Purging xz-libs (5.6.3-r0) Executing busybox-1.36.1-r32.trigger OK: 431 MiB in 106 packages >>> nickel: Updating the community/aarch64 repository index... >>> nickel: Signing the index...