>>> nickel: Building community/nickel 1.7.0-r0 (using abuild 3.13.0-r3) started Fri, 28 Jun 2024 19:38:08 +0000 >>> nickel: Checking sanity of /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.2-r0) (3/17) Installing libxml2 (2.12.8-r0) (4/17) Installing llvm18-libs (18.1.8-r0) (5/17) Installing rust (1.79.0-r1) (6/17) Installing cargo (1.79.0-r1) (7/17) Installing libbz2 (1.0.8-r6) (8/17) Installing gdbm (1.23-r1) (9/17) Installing mpdecimal (4.0.0-r0) (10/17) Installing libpanelw (6.4_p20240420-r0) (11/17) Installing readline (8.2.10-r0) (12/17) Installing sqlite-libs (3.46.0-r0) (13/17) Installing python3 (3.12.3-r1) (14/17) Installing python3-pycache-pyc0 (3.12.3-r1) (15/17) Installing pyc (3.12.3-r1) (16/17) Installing python3-pyc (3.12.3-r1) (17/17) Installing .makedepends-nickel (20240628.193809) Executing busybox-1.36.1-r31.trigger OK: 530 MiB in 120 packages >>> nickel: Cleaning up srcdir >>> nickel: Cleaning up pkgdir >>> nickel: Cleaning up tmpdir >>> nickel: Fetching https://distfiles.alpinelinux.org/distfiles/edge/nickel-1.7.0.tar.gz >>> nickel: Fetching https://distfiles.alpinelinux.org/distfiles/edge/nickel-1.7.0.tar.gz >>> nickel: Checking sha512sums... nickel-1.7.0.tar.gz: OK >>> nickel: Unpacking /var/cache/distfiles/edge/nickel-1.7.0.tar.gz... Updating crates.io index Downloading crates ... Downloaded pyo3-macros v0.17.3 Downloaded pyo3-build-config v0.17.3 Downloaded pyo3-macros-backend v0.17.3 Downloaded serde-wasm-bindgen v0.5.0 Downloaded ordered-float v3.9.2 Downloaded logos-derive v0.12.1 Downloaded quanta v0.11.1 Downloaded metrics-util v0.15.1 Downloaded logos v0.12.1 Downloaded cpp_demangle v0.4.3 Downloaded quick-xml v0.26.0 Downloaded pyo3 v0.17.3 Downloaded inferno v0.11.19 Downloaded rustyline v11.0.0 Downloaded crossterm v0.23.2 Downloaded pyo3-ffi v0.17.3 Downloaded metrics-macros v0.7.1 Downloaded metrics v0.21.1 Downloaded codespan v0.11.1 Downloaded symbolic-common v10.2.1 Downloaded pretty v0.11.3 Downloaded fd-lock v3.0.13 Downloaded findshlibs v0.10.2 Downloaded str_stack v0.1.0 Downloaded minimad v0.12.0 Downloaded tokio-test v0.4.3 Downloaded comrak v0.17.1 Downloaded rustyline-derive v0.8.0 Downloaded symbolic-demangle v10.2.1 Downloaded simple-counter v0.1.0 Downloaded test-generator v0.3.1 Downloaded malachite v0.4.5 Downloaded topiary-core v0.4.0 Downloaded pprof v0.11.1 Downloaded topiary-tree-sitter-facade v0.4.0 Downloaded topiary-queries v0.4.1 Downloaded tree-sitter-nickel v0.2.0 Downloaded coolor v0.5.0 Downloaded malachite-float v0.4.5 Downloaded termimad v0.23.2 Downloaded malachite-base v0.4.5 Downloaded malachite-nz v0.4.5 Downloaded malachite-q v0.4.5 Compiling proc-macro2 v1.0.78 Compiling unicode-ident v1.0.12 Compiling cfg-if v1.0.0 Compiling serde v1.0.197 Compiling version_check v0.9.4 Compiling libc v0.2.153 Compiling autocfg v1.1.0 Compiling once_cell v1.19.0 Compiling ryu v1.0.17 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 log v0.4.21 Compiling rustix v0.38.31 Compiling serde_json v1.0.114 Compiling typenum v1.17.0 Compiling regex-syntax v0.8.2 Compiling linux-raw-sys v0.4.13 Compiling crossbeam-utils v0.8.19 Compiling bitflags v2.4.2 Compiling utf8parse v0.2.1 Compiling bitflags v1.3.2 Compiling wasm-bindgen-shared v0.2.91 Compiling smallvec v1.13.1 Compiling unicode-width v0.1.11 Compiling libm v0.2.8 Compiling either v1.10.0 Compiling syn v1.0.109 Compiling scopeguard v1.2.0 Compiling signal-hook v0.3.17 Compiling pkg-config v0.3.30 Compiling crunchy v0.2.2 Compiling bumpalo v3.15.4 Compiling tiny-keccak v2.0.2 Compiling colorchoice v1.0.0 Compiling siphasher v0.3.11 Compiling anstyle v1.0.6 Compiling crc32fast v1.4.0 Compiling anstyle-query v1.0.2 Compiling thiserror v1.0.57 Compiling hashbrown v0.14.3 Compiling pin-project-lite v0.2.13 Compiling equivalent v1.0.1 Compiling futures-core v0.3.30 Compiling same-file v1.0.6 Compiling bit-vec v0.6.3 Compiling strsim v0.11.0 Compiling precomputed-hash v0.1.1 Compiling heck v0.4.1 Compiling fixedbitset v0.4.2 Compiling new_debug_unreachable v1.0.4 Compiling clap_lex v0.7.0 Compiling wasm-bindgen v0.2.91 Compiling adler v1.0.2 Compiling pico-args v0.5.0 Compiling tinyvec_macros v0.1.1 Compiling unicode-xid v0.2.4 Compiling termcolor v1.4.1 Compiling ansi_term v0.12.1 Compiling endian-type v0.1.2 Compiling fnv v1.0.7 Compiling yansi v0.5.1 Compiling unicode-segmentation v1.11.0 Compiling typed-arena v2.0.2 Compiling beef v0.5.2 Compiling bytes v1.5.0 Compiling winnow v0.5.40 Compiling anstyle-parse v0.2.3 Compiling ena v0.14.2 Compiling pad v0.1.6 Compiling tinyvec v1.6.0 Compiling walkdir v2.5.0 Compiling miniz_oxide v0.7.2 Compiling nibble_vec v0.1.0 Compiling regex-syntax v0.6.29 Compiling deunicode v1.4.3 Compiling diff v0.1.13 Compiling minimad v0.12.0 Compiling xdg v2.5.2 Compiling unicode-bidi v0.3.15 Compiling entities v1.0.1 Compiling itertools v0.11.0 Compiling phf_shared v0.10.0 Compiling bit-set v0.5.3 Compiling percent-encoding v2.3.1 Compiling arrayvec v0.5.2 Compiling hashbrown v0.12.3 Compiling unsafe-libyaml v0.2.10 Compiling shell-words v1.1.0 Compiling unicode_categories v0.1.1 Compiling lalrpop-util v0.20.2 Compiling strsim v0.10.0 Compiling simple-counter v0.1.0 Compiling topiary-queries v0.4.1 Compiling ahash v0.8.11 Compiling generic-array v0.14.7 Compiling anstream v0.6.13 Compiling prettydiff v0.6.4 Compiling anyhow v1.0.80 Compiling indoc v2.0.4 Compiling void v1.0.2 Compiling fastrand v2.0.1 Compiling convert_case v0.4.0 Compiling humantime v2.1.0 Compiling lazy_static v1.4.0 Compiling lock_api v0.4.11 Compiling aho-corasick v1.1.2 Compiling indexmap v2.2.5 Compiling indexmap v1.9.3 Compiling pretty_assertions v1.4.0 Compiling radix_trie v0.2.1 Compiling slug v0.1.5 Compiling csv-core v0.1.11 Compiling form_urlencoded v1.2.1 Compiling pretty v0.11.3 Compiling flate2 v1.0.28 Compiling quote v1.0.35 Compiling crossbeam-channel v0.5.12 Compiling crossbeam-epoch v0.9.18 Compiling crossbeam-queue v0.3.11 Compiling syn v2.0.52 Compiling tree-sitter v0.20.10 Compiling onig_sys v69.8.1 Compiling tree-sitter-nickel v0.2.0 Compiling unicode-normalization v0.1.23 Compiling dirs-sys-next v0.1.2 Compiling vte_generate_state_changes v0.1.1 Compiling crossbeam-deque v0.8.5 Compiling dirs-next v2.0.0 Compiling term v0.7.0 Compiling petgraph v0.6.4 Compiling parking_lot v0.12.1 Compiling crossbeam v0.8.4 Compiling idna v0.5.0 Compiling vte v0.11.1 Compiling string_cache v0.8.7 Compiling ascii-canvas v3.0.0 Compiling signal-hook-registry v1.4.1 Compiling mio v0.8.11 Compiling nix v0.26.4 Compiling dirs-sys v0.3.7 Compiling is-terminal v0.4.12 Compiling regex-automata v0.4.6 Compiling block-buffer v0.10.4 Compiling crypto-common v0.1.6 Compiling digest v0.10.7 Compiling malachite-base v0.4.5 Compiling directories v4.0.1 Compiling signal-hook-mio v0.2.3 Compiling sha2 v0.10.8 Compiling sha-1 v0.10.1 Compiling md-5 v0.10.6 Compiling crossterm v0.23.2 Compiling strip-ansi-escapes v0.2.0 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 wasm-bindgen-backend v0.2.91 Compiling lalrpop v0.20.2 Compiling wasm-bindgen-macro-support v0.2.91 Compiling env_logger v0.10.2 Compiling topiary-tree-sitter-facade v0.4.0 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 v0.2.91 Compiling git-version v0.3.9 Compiling async-stream v0.3.5 Compiling tokio v1.36.0 Compiling logos-derive v0.12.1 Compiling rustyline-derive v0.8.0 Compiling derive_more v0.99.17 Compiling termimad v0.23.2 Compiling onig v6.4.0 Compiling clap v4.5.2 Compiling clap_complete v4.5.1 Compiling tokio-stream v0.1.14 Compiling logos v0.12.1 Compiling tokio-test v0.4.3 Compiling malachite-nz v0.4.5 Compiling toml_datetime v0.6.5 Compiling serde_spanned v0.6.5 Compiling bincode v1.3.3 Compiling codespan-reporting v0.11.1 Compiling serde_yaml v0.9.32 Compiling url v2.5.0 Compiling csv v1.3.0 Compiling toml_edit v0.19.15 Compiling codespan v0.11.1 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.7.8 Compiling comrak v0.17.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.8.0 (/home/buildozer/aports/community/nickel/src/nickel-1.7.0/core) Compiling nickel-lang-cli v1.7.0 (/home/buildozer/aports/community/nickel/src/nickel-1.7.0/cli) Compiling nickel-lang-lsp v1.7.0 (/home/buildozer/aports/community/nickel/src/nickel-1.7.0/lsp/nls) Finished `release` profile [optimized] target(s) in 5m 30s 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 itoa v1.0.10 Compiling either v1.10.0 Compiling smallvec v1.13.1 Compiling regex-syntax v0.8.2 Compiling parking_lot_core v0.9.9 Compiling serde_json v1.0.114 Compiling zerocopy v0.7.32 Compiling crossbeam-utils v0.8.19 Compiling log v0.4.21 Compiling bitflags v1.3.2 Compiling equivalent v1.0.1 Compiling rustix v0.38.31 Compiling bitflags v2.4.2 Compiling linux-raw-sys v0.4.13 Compiling syn v1.0.109 Compiling typenum v1.17.0 Compiling utf8parse v0.2.1 Compiling same-file v1.0.6 Compiling wasm-bindgen-shared v0.2.91 Compiling anstyle v1.0.6 Compiling scopeguard v1.2.0 Compiling libm v0.2.8 Compiling crunchy v0.2.2 Compiling unicode-width v0.1.11 Compiling thiserror v1.0.57 Compiling hashbrown v0.14.3 Compiling pkg-config v0.3.30 Compiling adler v1.0.2 Compiling signal-hook v0.3.17 Compiling bumpalo v3.15.4 Compiling tiny-keccak v2.0.2 Compiling siphasher v0.3.11 Compiling crc32fast v1.4.0 Compiling pin-project-lite v0.2.13 Compiling bit-vec v0.6.3 Compiling new_debug_unreachable v1.0.4 Compiling colorchoice v1.0.0 Compiling anstyle-query v1.0.2 Compiling precomputed-hash v0.1.1 Compiling fixedbitset v0.4.2 Compiling pico-args v0.5.0 Compiling futures-core v0.3.30 Compiling clap_lex v0.7.0 Compiling unicode-xid v0.2.4 Compiling heck v0.4.1 Compiling strsim v0.11.0 Compiling termcolor v1.4.1 Compiling wasm-bindgen v0.2.91 Compiling fnv v1.0.7 Compiling hashbrown v0.12.3 Compiling winnow v0.5.40 Compiling endian-type v0.1.2 Compiling unicode-segmentation v1.11.0 Compiling deunicode v1.4.3 Compiling bytes v1.5.0 Compiling diff v0.1.13 Compiling ansi_term v0.12.1 Compiling beef v0.5.2 Compiling yansi v0.5.1 Compiling typed-arena v2.0.2 Compiling regex-syntax v0.6.29 Compiling xdg v2.5.2 Compiling unicode_categories v0.1.1 Compiling shell-words v1.1.0 Compiling arrayvec v0.5.2 Compiling unsafe-libyaml v0.2.10 Compiling entities v1.0.1 Compiling void v1.0.2 Compiling walkdir v2.5.0 Compiling miniz_oxide v0.7.2 Compiling minimad v0.12.0 Compiling indoc v2.0.4 Compiling lalrpop-util v0.20.2 Compiling topiary-queries v0.4.1 Compiling pad v0.1.6 Compiling simple-counter v0.1.0 Compiling strsim v0.10.0 Compiling rayon-core v1.12.1 Compiling lazy_static v1.4.0 Compiling itertools v0.11.0 Compiling anstyle-parse v0.2.3 Compiling nibble_vec v0.1.0 Compiling half v2.4.0 Compiling ciborium-io v0.2.2 Compiling os_str_bytes v6.6.1 Compiling plotters-backend v0.3.5 Compiling itertools v0.10.5 Compiling cast v0.3.0 Compiling textwrap v0.16.1 Compiling anes v0.1.6 Compiling proc-macro2 v0.4.30 Compiling ena v0.14.2 Compiling oorandom v11.1.3 Compiling unicode-xid v0.1.0 Compiling target-lexicon v0.12.14 Compiling pretty_assertions v1.4.0 Compiling syn v0.15.44 Compiling glob v0.3.1 Compiling bit-set v0.5.3 Compiling similar v2.4.0 Compiling phf_shared v0.10.0 Compiling prettydiff v0.6.4 Compiling radix_trie v0.2.1 Compiling fastrand v2.0.1 Compiling tinyvec_macros v0.1.1 Compiling uuid v1.7.0 Compiling linked-hash-map v0.5.6 Compiling cpp_demangle v0.4.3 Compiling percent-encoding v2.3.1 Compiling unicode-bidi v0.3.15 Compiling tinyvec v1.6.0 Compiling anstream v0.6.13 Compiling rustc-demangle v0.1.23 Compiling slug v0.1.5 Compiling gimli v0.28.1 Compiling arrayvec v0.7.4 Compiling predicates-core v1.0.6 Compiling symbolic-demangle v10.2.1 Compiling stable_deref_trait v1.2.0 Compiling doc-comment v0.3.3 Compiling anyhow v1.0.80 Compiling bytemuck v1.14.3 Compiling pprof v0.11.1 Compiling humantime v2.1.0 Compiling str_stack v0.1.0 Compiling termtree v0.4.1 Compiling clap_lex v0.2.4 Compiling aho-corasick v1.1.2 Compiling plotters-svg v0.3.5 Compiling form_urlencoded v1.2.1 Compiling ahash v0.8.11 Compiling generic-array v0.14.7 Compiling ciborium-ll v0.2.2 Compiling yaml-rust v0.4.5 Compiling quick-xml v0.26.0 Compiling object v0.32.2 Compiling assert_cmd v2.0.14 Compiling assert_matches v1.5.0 Compiling lock_api v0.4.11 Compiling indexmap v1.9.3 Compiling num-traits v0.2.18 Compiling difflib v0.4.0 Compiling pretty v0.11.3 Compiling memoffset v0.6.5 Compiling debugid v0.8.0 Compiling rgb v0.8.37 Compiling num-format v0.4.4 Compiling predicates-tree v1.0.9 Compiling csv-core v0.1.11 Compiling indoc v1.0.9 Compiling convert_case v0.4.0 Compiling unindent v0.1.11 Compiling flate2 v1.0.28 Compiling quote v1.0.35 Compiling predicates v3.1.0 Compiling crossbeam-epoch v0.9.18 Compiling crossbeam-channel v0.5.12 Compiling crossbeam-queue v0.3.11 Compiling indexmap v2.2.5 Compiling syn v2.0.52 Compiling quote v0.6.13 Compiling crossbeam-deque v0.8.5 Compiling vte_generate_state_changes v0.1.1 Compiling unicode-normalization v0.1.23 Compiling pyo3-build-config v0.17.3 Compiling dirs-sys-next v0.1.2 Compiling crossbeam v0.8.4 Compiling onig_sys v69.8.1 Compiling tree-sitter v0.20.10 Compiling tree-sitter-nickel v0.2.0 Compiling backtrace v0.3.69 Compiling findshlibs v0.10.2 Compiling dirs-next v2.0.0 Compiling term v0.7.0 Compiling vte v0.11.1 Compiling parking_lot v0.12.1 Compiling petgraph v0.6.4 Compiling criterion-plot v0.5.0 Compiling string_cache v0.8.7 Compiling ascii-canvas v3.0.0 Compiling rayon v1.9.0 Compiling idna 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 atty v0.2.14 Compiling is-terminal v0.4.12 Compiling memmap2 v0.5.10 Compiling console v0.15.8 Compiling wait-timeout v0.2.0 Compiling dirs-sys v0.3.7 Compiling directories v4.0.1 Compiling symbolic-common v10.2.1 Compiling plotters v0.3.5 Compiling crypto-common v0.1.6 Compiling block-buffer v0.10.4 Compiling regex-automata v0.4.6 Compiling strip-ansi-escapes v0.2.0 Compiling signal-hook-mio v0.2.3 Compiling digest v0.10.7 Compiling crossterm v0.23.2 Compiling sha-1 v0.10.1 Compiling md-5 v0.10.6 Compiling sha2 v0.10.8 Compiling coolor v0.5.0 Compiling addr2line v0.21.0 Compiling malachite-base v0.4.5 Compiling pyo3-ffi v0.17.3 Compiling pyo3 v0.17.3 Compiling pyckel v1.7.0 (/home/buildozer/aports/community/nickel/src/nickel-1.7.0/pyckel) 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 inferno v0.11.19 Compiling wasm-bindgen-backend v0.2.91 Compiling pyo3-macros-backend v0.17.3 Compiling regex v1.10.3 Compiling lalrpop v0.20.2 Compiling bstr v1.9.1 Compiling test-generator v0.3.1 Compiling wasm-bindgen-macro-support v0.2.91 Compiling insta v1.36.1 Compiling env_logger v0.10.2 Compiling topiary-tree-sitter-facade v0.4.0 Compiling serde_derive v1.0.197 Compiling thiserror-impl v1.0.57 Compiling tokio-macros v2.2.0 Compiling async-stream-impl v0.3.5 Compiling clap_derive v4.5.0 Compiling wasm-bindgen-macro v0.2.91 Compiling serde_repr v0.1.18 Compiling git-version-macro v0.3.9 Compiling logos-derive v0.12.1 Compiling rustyline-derive v0.8.0 Compiling derive_more v0.99.17 Compiling async-stream v0.3.5 Compiling git-version v0.3.9 Compiling tokio v1.36.0 Compiling pyo3-macros v0.17.3 Compiling termimad v0.23.2 Compiling clap v4.5.2 Compiling clap_complete v4.5.1 Compiling logos v0.12.1 Compiling tokio-stream v0.1.14 Compiling onig v6.4.0 Compiling tokio-test v0.4.3 Compiling toml_datetime v0.6.5 Compiling malachite-nz v0.4.5 Compiling serde_spanned v0.6.5 Compiling bincode v1.3.3 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.19.15 Compiling clap v3.2.25 Compiling codespan v0.11.1 Compiling syntect v5.2.0 Compiling topiary-core v0.4.0 Compiling tinytemplate v1.2.1 Compiling lsp-types v0.95.0 Compiling lsp-server v0.7.6 Compiling js-sys v0.3.68 Compiling toml v0.7.8 Compiling comrak v0.17.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.7.0/lsp/lsp-harness) Compiling nickel-lang-core v0.8.0 (/home/buildozer/aports/community/nickel/src/nickel-1.7.0/core) Compiling nickel-lang-utils v0.1.0 (/home/buildozer/aports/community/nickel/src/nickel-1.7.0/utils) Compiling nickel-wasm-repl v0.8.0 (/home/buildozer/aports/community/nickel/src/nickel-1.7.0/wasm-repl) Compiling nickel-lang-cli v1.7.0 (/home/buildozer/aports/community/nickel/src/nickel-1.7.0/cli) Compiling nickel-lang-lsp v1.7.0 (/home/buildozer/aports/community/nickel/src/nickel-1.7.0/lsp/nls) Finished `test` profile [unoptimized + debuginfo] target(s) in 4m 00s Running unittests src/lib.rs (target/debug/deps/lsp_harness-b3bf853c369a4c71) 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-ffab0966cebba709) 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-9a54798a383ce030) running 3 tests Documentation written to /tmp/.tmpLqGwnU/output test doc_creates_output_files ... ok test automatic_color_on_non_tty ... 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-90a9f3d19759e58f) running 75 tests test check_snapshots_cli_tests_snapshot_inputs_customize_mode_show_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_field_path_syntax_error_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_customize_mode_list_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_pretty_simple_record_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_pretty_field_escaping_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_customize_mode_help_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_pretty_let_annotations_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_docs_record_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_docs_function_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_errors_string_delimiter_mismatch_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_errors_destructuring_type_mismatch_fail_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_eval_escaping_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_customize_mode_simple_adder_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_customize_mode_assignment_syntax_error_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_docs_evaluation_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_errors_annotated_record_pattern_typecheck_fail_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_docs_types_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_errors_invalid_contract_expression_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_errors_array_contract_fail_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_invalid_record_type_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_errors_destructuring_closed_fail_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_errors_destructuring_typecontract_fail_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_errors_caller_contract_violation_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_customize_mode_unknown_override_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_customize_mode_unknown_field_path_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_errors_destructuring_repeated_ident_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_errors_array_at_out_of_bound_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_eval_fieldarg_with_contracts_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_export_trace_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_errors_typed_field_without_annotation_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_eval_records_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_errors_fun_contract_range_violation_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_errors_unification_variable_aliasing_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_domain_violation_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_errors_contract_with_custom_diagnostic_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_errors_mismatched_row_record_pattern_fail_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_non_exhaustive_match_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_errors_interpolate_record_type_field_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_errors_record_forall_constraints_typecheck_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_errors_value_contract_violation_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_errors_query_non_record_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_errors_destructuring_nonexistent_idents_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_errors_dictionary_contract_fail_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_export_nested_record_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_errors_record_type_repeated_field_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_export_not_exported_undefined_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_errors_simple_contract_fail_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_enum_forall_parametricity_violation_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_errors_record_access_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_errors_non_serializable_print_path_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_errors_destructuring_rest_fail_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_errors_fun_contract_range_nested_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_errors_record_access_suggestion_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_trace_not_saturated_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_subcontract_type_path_underline_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_errors_subcontract_nested_custom_diagnostics_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_errors_array_merge_fail_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_errors_enum_forall_constraints_typecheck_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_errors_record_destructuring_duplicate_ident_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_errors_record_forall_parametricity_violation_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_errors_array_range_reversed_indices_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_errors_destructuring_assign_fail_ncl ... ok test check_snapshots_cli_tests_snapshot_inputs_errors_function_contract_violation_ncl ... ok test result: ok. 75 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.20s Running unittests src/lib.rs (target/debug/deps/nickel_lang_core-ec4111a507e3162a) running 100 tests test environment::tests::test_deepness ... ok test environment::tests::test_clone ... ok test environment::tests::test_env_base ... ok test environment::tests::test_iter_layer ... ok test environment::tests::test_iter_elem ... ok test eval::merge::split::tests::all_left ... ok test eval::merge::split::tests::all_center ... ok test eval::merge::split::tests::all_right ... ok test eval::merge::split::tests::mixed ... ok test eval::operation::tests::plus_first_term_operation ... ok test eval::stack::tests::marker_differentiates ... 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::pushing_and_popping_thunks ... ok test eval::stack::tests::thunk_blackhole ... 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::only_fun_are_applicable ... ok test eval::tests::simple_app ... ok test eval::tests::initial_env ... ok test eval::tests::lone_var_panics - should panic ... ok test eval::tests::interpolation_simple ... ok test eval::tests::simple_ite ... ok test eval::tests::interpolation_nested ... ok test eval::tests::simple_let ... ok test eval::tests::simple_plus ... ok test identifier::interner::tests::test_intern_then_lookup ... ok test identifier::interner::tests::test_intern_twice_has_same_symbol ... ok test identifier::interner::tests::test_intern_two_different_has_different_symbols ... 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::multiline_str_escape ... ok test parser::tests::lets ... ok test parser::tests::invalid_record_types ... ok test parser::tests::numbers ... ok test parser::tests::plus ... ok test eval::tests::foreign_id ... 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::string_lexing ... ok test parser::utils::tests::contract_annotation_order ... ok test parser::tests::str_escape ... ok test parser::tests::symbolic_strings ... ok test pretty::tests::pretty_app ... ok test parser::tests::import ... ok test parser::tests::strings ... ok test parser::tests::ascii_escape ... ok test parser::tests::ty_var_kind_mismatch ... ok test pretty::tests::pretty_array_type ... ok test pretty::tests::pretty_arrays ... ok test pretty::tests::pretty_arrow_type ... ok test parser::tests::enum_terms ... ok test parser::tests::record_terms ... ok test pretty::tests::pretty_opn ... ok test pretty::tests::pretty_binop ... ok test program::tests::typecheck_invalid_input ... ok test term::make::builder::tests::contract ... ok test term::make::builder::tests::fields ... ok test term::make::builder::tests::fields_metadata ... ok test term::make::builder::tests::open_record ... ok test term::make::builder::tests::from_iter ... ok test term::make::builder::tests::exercise_metadata ... ok test pretty::tests::pretty_unop ... ok test pretty::tests::pretty_let ... ok test pretty::tests::pretty_fun ... ok test term::make::builder::tests::prio_metadata ... ok test pretty::tests::pretty_record_type ... ok test pretty::tests::pretty_forall_type ... ok test pretty::tests::pretty_dict_type ... ok test term::make::builder::tests::some_doc ... ok test pretty::tests::pretty_enum_type ... 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 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 identifier::interner::tests::test_large_number_of_interns ... ok test deserialize::tests::rust_deserialize_fail_non_data ... ok test deserialize::tests::rust_deserialize_array_of_numbers ... ok test deserialize::tests::rust_deserialize_ignore_annotation ... ok test deserialize::tests::rust_deserialize_struct_with_fields ... ok test program::tests::evaluation_full ... ok test serialize::tests::records ... ok test serialize::tests::meta_values ... ok test serialize::tests::involution ... ok test serialize::tests::prevalidation ... ok test serialize::tests::arrays ... ok test serialize::tests::basic ... ok test result: ok. 100 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.83s Running tests/examples/main.rs (target/debug/deps/examples-5b2b8d05c377e228) running 17 tests test check_example_file_examples_merge_priorities_security_ncl ... ok test check_example_file_examples_foreach_pattern_foreach_pattern_on_import_ncl ... ok test check_example_file_examples_imports_imports_ncl ... ok test check_example_file_examples_merge_priorities_server_ncl ... ok test check_example_file_examples_merge_security_ncl ... ok test check_example_file_examples_merge_server_ncl ... ok test check_example_file_examples_merge_main_ncl ... ok test check_example_file_examples_merge_priorities_main_ncl ... ok test check_example_file_examples_polymorphism_polymorphism_ncl ... ok test check_example_file_examples_simple_contracts_simple_contract_bool_ncl ... ok test check_example_file_examples_foreach_pattern_foreach_pattern_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.36s Running tests/integration/main.rs (target/debug/deps/integration-1ca9f8dddb4634c6) running 648 tests 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_contracts_div_by_zero_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_arrays_slice_empty_array_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_arrays_elem_at_negative_index_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_arrays_elem_at_empty_array_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_contracts_polymorphic_function_contract_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_contracts_enum_contract_non_enum_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_index_out_of_bounds_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_core_comparison_leq_bool_array_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_enum2_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_contracts_equating_fns_rhs_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_core_or_string_bool_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_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_force_enum2_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_contracts_contract_applies_to_default_value_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_contracts_and_number_bool_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_comparison_ge_string_string_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_contracts_and_bool_contract_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_core_import_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_missing_field_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_arrays_stdlib_at_non_array_arg_raises_blame_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_record_contract_empty_record_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_imports_imported_circular_imports_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_circular_imports1_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_direct_import_loop_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_nested_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_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_root_path_fourtytwo_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_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_arrays_stdlib_at_non_number_arg_raises_blame_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_imports_imported_typecheck_fail_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_imported_unexpected_token_in_record_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_imports_imported_unexpected_token_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_contracts_poly_record_contract_sealed_tail_dynamic_access_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_contracts_poly_record_contract_sealed_tail_static_access_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_let_order_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_poly_record_contract_map_sealed_tail_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_record_contract_constraint_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_adts_enum_primops_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_contracts_record_contract_nested_missing_field_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_core_functions_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_poly_record_contract_merge_sealed_tail_lhs_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_core_numbers_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_core_recursive_let_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_contracts_equating_fns_lhs_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_core_fibo_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_poly_record_contract_higher_order_fn_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_core_basics_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_contracts_unsound_dedup_dict_contract_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_core_builtins_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_imports_direct_import_loop_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_adt_type_matches_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_wrong_type_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_destructuring_adt_enum_tag_tag_mismatch_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_adt_type_mismatch_extra_row_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_destructuring_assign_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_simple_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_destructuring_constant_null_fail_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_destructuring_nested_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_adt_missing_arg_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_destructuring_repeated_ident_typed_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_adt_type_mismatch_tag_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_closed_fail_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_typecontract_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_destructuring_type_annotations_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_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_destructuring_fun_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_mixed_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_repeated_ident_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_imports_nested_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_destructuring_open_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_imports_multi_imports_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_root_path_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_imports_nested_syntax_error_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_imports_unexpected_token_fail_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_infinite_loops_mutually_recursive_functions_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_merging_merge_compose_contract_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_imports_serialize_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_merging_merge_default_contract_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_imports_unexpected_token_in_record_fail_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_core_eq_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_core_records_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_destructuring_preserves_types_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_parsing_type_var_outside_forall_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_merging_adts_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_parsing_unbound_var_in_contract_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_infinite_loops_x_eq_y_eq_z_eq_x_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_parsing_annotations_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_parsing_identifiers_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_merging_priorities_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_parsing_unexpected_token_buried_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_merging_multiple_overrides_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_typecheck_contracts_dont_unify_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_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_merging_array_merge_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_core_arrays_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_enum_variant_not_in_type_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_merging_overriding_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_forall_inside_row_type_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_higher_rank_coeval_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_enum_row_conflict_poly_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_mismatch_array_map_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_or_pattern_vars_mismatch_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_records_missing_field_not_exported_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_records_missing_field_with_contract_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_records_merge_different_vals_both_force_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_dynamic_field_missing_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_merge_nested_different_vals_no_prio_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_pattern_matching_contract_default_value_blame_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_pattern_matching_non_exhaustive_enum_pattern_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_records_merge_nested_different_vals_default_prio_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_record_insert_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_records_merge_nested_different_vals_same_priority_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_pattern_matching_default_fail_previous_contract_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_stdlib_record_remove_empty_opt_field_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_typecheck_basic_algebraic_data_type_row_mismatch_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_stdlib_record_insert_with_opts_existing_field_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_pattern_matching_contracts_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_wildcards_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_typecheck_algebraic_data_types_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_typechecking_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_empty_record_to_dynamic_tail_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_pattern_matching_default_value_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_enum_match_fun_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_poly_row_var_ncl ... ok test free_vars::destruct_fun ... ok test free_vars::destruct_let ... ok test check_annotated_nickel_file_core_tests_integration_inputs_pattern_matching_arrays_ncl ... ok test free_vars::nested_records ... ok test free_vars::dynamic_record ... ok test free_vars::recursive_let ... ok test free_vars::simple_fun ... ok test free_vars::static_record ... ok test free_vars::simple_let ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_mismatch_in_fun_body_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_forall_variable_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_adts_deep_seq_enum_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_stdlib_string_trim_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_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 check_annotated_nickel_file_core_tests_integration_inputs_typecheck_mismatch_let_inference_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_arrays_elem_at_non_array_arg_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_arrays_elem_at_negative_index_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_slice_non_array_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_adts_enum_primops_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_adts_force_enum_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_arrays_stdlib_at_non_array_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_stdlib_drop_first_non_array_arg_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_arrays_stdlib_first_non_array_arg_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_mismatch_rec_record_field_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_array_contract_num_is_not_an_array_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_array_contract_fn_is_not_an_array_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_pattern_matching_or_patterns_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_and_bool_contract_fail_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_pattern_matching_guards_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_array_contract_bad_element_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_enum_contract_missing_variant_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_contracts_dont_capture_type_vars_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_contract_applies_to_default_value_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_equating_fns_lhs_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_equating_fns_rhs_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_enum_contract_non_enum_value_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_poly_record_contract_empty_record_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_strings_symbolic_strings_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_typecheck_mismatch_rec_record_inference_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_poly_record_contract_map_sealed_tail_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_poly_record_contract_merge_sealed_tail_lhs_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_return_val_without_tail_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_sealed_tail_static_access_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_poly_record_contract_sealed_tail_dynamic_access_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_poly_record_contract_bad_field_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_poly_record_contract_missing_field_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_strings_string_interpolation_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_poly_record_contract_return_val_wrong_tail_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_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_bad_field_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_type_annot_let_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_nested_missing_field_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_core_comparison_geq_string_string_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_le_number_bool_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_comparison_ge_string_string_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_mismatch_record_field_name_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_unsound_dedup_dict_contract_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_or_string_bool_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_typecheck_field_polymorphic_annot_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_destructuring_adt_enum_tag_tag_mismatch_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_extra_arg_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_destructuring_adt_missing_arg_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_core_import_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_mismatch_record_field_access_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_destructuring_adt_wrong_type_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_adt_type_mismatch_extra_row_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_adt_type_mismatch_tag_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_constant_bool_fail_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_core_numbers_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_records_record_defs_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_assign_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_destructuring_atbind_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_repeated_ident_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_destructuring_closed_fail_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_destructuring_repeated_ident_typed_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_destructuring_nested_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_rest_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_destructuring_constants_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_destructuring_simple_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_default_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_contract_fail_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_imports_direct_import_loop_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_imports_imported_contract_fail_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_typecontract_fail_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_typecheck_mismatch_record_poly_row_var_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_imports_imported_circular_imports2_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_destructuring_fun_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_imports_imported_nested_syntax_error1_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_imports_imported_nested_syntax_error_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_variant_arg_mismatch_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_imports_imported_root_path_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_nested_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_imports_imported_typecheck_fail_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_imports_imported_circular_imports1_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_missing_nickel_path_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_imports_nested_syntax_error_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_needs_nickel_path_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_multi_imports_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_imported_serialize_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_unexpected_token_fail_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_pattern_generalize_enum_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_imported_unexpected_token_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_pattern_not_an_array_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_piecewise_signature_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_destructuring_typecontract_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_nested_syntax_error2_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_imports_imported_two_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_core_fibo_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_unexpected_token_in_record_fail_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_merging_adts_different_tags_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_imports_serialize_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_stdlib_enum_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_core_functions_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_core_builtins_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_imports_imported_unexpected_token_buried_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_parsing_unbound_var_in_contract_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_merging_merge_contract_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_merging_merge_conflict_inside_metavalue_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_parsing_identifiers_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_infinite_loops_x_eq_expr_involving_x_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_imports_yaml_import_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_parsing_unexpected_token_in_record_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_parsing_unexpected_token_dollar_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_default_fail_previous_contract_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_pattern_variant_arg_mismatch_wildcard_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_stdlib_string_contracts_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_parsing_unexpected_token_buried_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_stdlib_string_primitives_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_pattern_matching_contract_default_value_blame_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_records_cannot_use_dynamic_fields_recursively_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_pattern_matching_non_bool_guard_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_pattern_matching_or_pattern_vars_mismatch_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_merging_merge_compose_contract_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_records_merge_different_vals_both_force_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_records_merge_nested_different_vals_default_prio_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_parsing_unbound_record_tail_var_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_records_missing_field_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_record_row_conflict_poly_shuffled1_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_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_serialization_number_out_of_range_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_missing_field_with_contract_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_nested_different_vals_prio_0_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_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_pattern_matching_enum_after_wildcard_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_records_missing_field_not_exported_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_stdlib_string_uppercase_lowercase_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_record_row_conflict_poly_shuffled2_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_parsing_annotations_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_pattern_matching_contracts_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_record_row_conflict_poly_shuffled3_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_parsing_unbound_type_variable_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_pattern_array_rest_mismatch_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_stdlib_record_get_missing_field_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_stdlib_record_insert_with_opts_existing_field_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_contracts_dont_unify_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_enum_match_variant_not_covered_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_record_field_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_records_merge_nested_incompatible_types_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_typecheck_dynamic_type_error_without_wildcard_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_records_record_insert_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_dyn_tail_contract_in_typechecking_mode_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_stdlib_string_find_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_mismatch_array_entry_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_mismatch_contract_type_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_mismatch_array_multiple_entries_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_convert_empty_record_to_dynamic_tail_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_remove_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_pattern_matching_wildcards_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_merging_adts_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_pattern_matching_guards_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_contracts_contracts_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_mismatch_array_elem_at_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_mismatch_convert_static_record_type_to_dynamic_tail_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_merging_priorities_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_higher_rank_eval_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_core_basics_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_core_arrays_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_merging_array_merge_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_mismatch_array_typed_entry_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_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_higher_rank_coeval_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_in_fun_body_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_typecheck_enum_row_tags_dont_conflict_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_mismatch_let_inference_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_enum_case_in_multiple_types_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_field_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_mismatch_record_dyn_field_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_mismatch_rec_record_inference_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_pattern_extend_closed_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_no_implicit_polymorphism_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_typecheck_primitive_mismatch_number_bool_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_shallow_type_inference_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_primitive_mismatch_string_number_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_generalize_enum_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_piecewise_signature_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_mismatch_record_poly_row_var_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_typecheck_pattern_not_an_array_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_pattern_array_rest_mismatch_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_type_in_term_position_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_typecheck_pattern_non_bool_guard_ncl ... ok test pretty::str_vs_strchunks ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_stdlib_string_find_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_typecheck_pattern_variant_arg_mismatch_wildcard_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_mismatch_record_poly_field_misused_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_unsound_generalization_fun_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_record_row_conflict_extend_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_typecheck_mismatch_record_poly_fields_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_enum_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_stdlib_string_conversions_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_pattern_or_closed_enum_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_unsound_generalization_monomorphic_id_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_serialization_serialize_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_record_row_conflict_poly_shuffled1_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_stdlib_enum_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_unsound_generalization_fun_ncl ... 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_unsound_generalization_record_rows_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_unsound_generalization_record_rows_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_shuffled3_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_pattern_matching_or_patterns_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_row_type_unification_variable_mismatch_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_merging_lazy_propagation_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_pattern_matching_arrays_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_stdlib_record_empty_optional_ops_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_stdlib_string_primitives_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_merging_metavalues_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_serialization_serialize_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_strings_string_interpolation_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_serialization_serialize_package_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_merging_multiple_overrides_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_pattern_matching_basics_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_stdlib_string_contains_find_replace_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_destructuring_preserves_types_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_core_eq_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_merging_overriding_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_typecheck_pattern_matching_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_core_records_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_strings_symbolic_strings_ncl ... ok test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_or_patterns_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 check_annotated_nickel_file_core_tests_integration_inputs_typecheck_regression_rrows_unification_loops_ncl ... ok test pretty::pretty_integration_tests_core_tests_integration_inputs_merging_metavalues_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 pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_contracts_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 pretty::negative_numbers ... 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 query::test_query_with_wildcard ... ok test pretty::pretty_standard_library_core_stdlib_std_ncl ... ok test result: ok. 648 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 8.30s Running tests/manual/main.rs (target/debug/deps/manual-fea0ec9d1b0b904e) 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.67s Running unittests src/main.rs (target/debug/deps/nls-d1c1e790108c782f) running 8 tests test usage::tests::let_and_var ... ok test codespan_lsp::tests::position ... ok test codespan_lsp::tests::unicode_get_byte_index ... ok test position::tests::find_pos ... ok test usage::tests::record_bindings ... ok test analysis::tests::parent_chain ... ok test codespan_lsp::tests::unicode_get_position ... ok test usage::tests::pattern_path ... ok test result: ok. 8 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s Running tests/main.rs (target/debug/deps/main-70ea7411ff92bf3d) running 37 tests test check_snapshots_lsp_nls_tests_inputs_goto_multiple_ncl ... ok test check_snapshots_lsp_nls_tests_inputs_completion_match_typed_ncl ... ok test check_snapshots_lsp_nls_tests_inputs_offsets_ncl ... ok test check_snapshots_lsp_nls_tests_inputs_goto_recursive_ncl ... ok test check_snapshots_lsp_nls_tests_inputs_completion_array_ncl ... ok test check_snapshots_lsp_nls_tests_inputs_symbols_basic_ncl ... ok test check_snapshots_lsp_nls_tests_inputs_hover_cousin_ncl ... ok test check_snapshots_lsp_nls_tests_inputs_hover_field_typed_block_regression_1574_ncl ... ok test check_snapshots_lsp_nls_tests_inputs_import_external_format_ncl ... ok test check_snapshots_lsp_nls_tests_inputs_completion_fun_parameter_contract_ncl ... ok test check_snapshots_lsp_nls_tests_inputs_completion_dict_ncl ... ok test check_snapshots_lsp_nls_tests_inputs_hover_pattern_typed_ncl ... ok test check_snapshots_lsp_nls_tests_inputs_goto_pattern_ncl ... ok test check_snapshots_lsp_nls_tests_inputs_hover_stdlib_type_ncl ... ok test check_snapshots_lsp_nls_tests_inputs_completion_incomplete_ncl ... ok test check_snapshots_lsp_nls_tests_inputs_goto_cross_file_ncl ... ok test check_snapshots_lsp_nls_tests_inputs_symbols_recursion_ncl ... ok test check_snapshots_lsp_nls_tests_inputs_completion_nested_ncl ... ok test check_snapshots_lsp_nls_tests_inputs_hover_basic_ncl ... ok test check_snapshots_lsp_nls_tests_inputs_goto_scoping_ncl ... ok test check_snapshots_lsp_nls_tests_inputs_import_invalidation_ncl ... ok test check_snapshots_lsp_nls_tests_inputs_completion_patterns_ncl ... ok test check_snapshots_lsp_nls_tests_inputs_goto_basic_ncl ... ok test check_snapshots_lsp_nls_tests_inputs_diagnostics_typecheck_ncl ... ok test check_snapshots_lsp_nls_tests_inputs_rename_ncl ... ok test check_snapshots_lsp_nls_tests_inputs_completion_match_ncl ... ok test check_snapshots_lsp_nls_tests_inputs_formatting_ncl ... ok test check_snapshots_lsp_nls_tests_inputs_completion_basic_ncl ... ok test check_snapshots_lsp_nls_tests_inputs_goto_record_ncl ... ok test check_snapshots_lsp_nls_tests_inputs_diagnostics_undefined_fields_ncl ... ok test check_snapshots_lsp_nls_tests_inputs_diagnostics_basic_ncl ... ok test check_snapshots_lsp_nls_tests_inputs_hover_pattern_ncl ... ok test refresh_missing_imports ... ok test check_snapshots_lsp_nls_tests_inputs_diagnostics_recursion_ncl ... ok test check_snapshots_lsp_nls_tests_inputs_diagnostics_array_ncl ... ok Error: io error: failed to fill whole buffer test check_snapshots_lsp_nls_tests_inputs_goto_perf_ncl ... ok test reload_broken_imports ... ok test result: ok. 37 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.78s Running unittests src/lib.rs (target/debug/deps/nickel_lang_utils-634e7bbb16e4c9f1) 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-083d03b432411e81) 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-ea5bf3d1e78e4681) 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 203) ... ok test core/src/typ.rs - typ::TypeF (line 222) ... ok test core/src/typ.rs - typ::TypeF (line 193) ... ok test core/src/term/mod.rs - term::match_sharedterm (line 2353) ... ok test core/src/term/mod.rs - term::match_sharedterm (line 2342) ... 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 2.39s 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 1.97s 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... >>> nickel-doc*: Preparing subpackage nickel-doc... >>> nickel-doc*: Running postcheck for nickel-doc >>> nickel-language-server*: Running split function _langserver... '/home/buildozer/aports/community/nickel/pkg/nickel/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: 200.0 KB >>> nickel-doc*: Compressing data... >>> nickel-doc*: Create checksum... >>> nickel-doc*: Create nickel-doc-1.7.0-r0.apk >>> nickel-language-server*: Tracing dependencies... so:libc.musl-armv7.so.1 so:libgcc_s.so.1 >>> nickel-language-server*: Package size: 4.6 MB >>> nickel-language-server*: Compressing data... >>> nickel-language-server*: Create checksum... >>> nickel-language-server*: Create nickel-language-server-1.7.0-r0.apk >>> nickel*: Tracing dependencies... so:libc.musl-armv7.so.1 so:libgcc_s.so.1 >>> nickel*: Package size: 6.3 MB >>> nickel*: Compressing data... >>> nickel*: Create checksum... >>> nickel*: Create nickel-1.7.0-r0.apk >>> nickel: Build complete at Fri, 28 Jun 2024 19:48:13 +0000 elapsed time 0h 10m 5s >>> nickel: Cleaning up srcdir >>> nickel: Cleaning up pkgdir >>> nickel: Uninstalling dependencies... (1/17) Purging .makedepends-nickel (20240628.193809) (2/17) Purging cargo (1.79.0-r1) (3/17) Purging rust (1.79.0-r1) (4/17) Purging python3-pyc (3.12.3-r1) (5/17) Purging python3-pycache-pyc0 (3.12.3-r1) (6/17) Purging pyc (3.12.3-r1) (7/17) Purging python3 (3.12.3-r1) (8/17) Purging gdbm (1.23-r1) (9/17) Purging libbz2 (1.0.8-r6) (10/17) Purging libpanelw (6.4_p20240420-r0) (11/17) Purging llvm18-libs (18.1.8-r0) (12/17) Purging mpdecimal (4.0.0-r0) (13/17) Purging readline (8.2.10-r0) (14/17) Purging sqlite-libs (3.46.0-r0) (15/17) Purging libffi (3.4.6-r0) (16/17) Purging libxml2 (2.12.8-r0) (17/17) Purging xz-libs (5.6.2-r0) Executing busybox-1.36.1-r31.trigger OK: 270 MiB in 103 packages >>> nickel: Updating the community/armv7 repository index... >>> nickel: Signing the index...