>>> nickel: Building community/nickel 1.8.1-r1 (using abuild 3.14.1-r3) started Fri, 29 Nov 2024 21:40:16 +0000
>>> nickel: Validating /home/buildozer/aports/community/nickel/APKBUILD...
>>> nickel: Analyzing dependencies...
>>> nickel: Installing for build: build-base cargo cargo-auditable python3
(1/18) Installing libffi (3.4.6-r0)
(2/18) Installing xz-libs (5.6.3-r0)
(3/18) Installing libxml2 (2.13.4-r3)
(4/18) Installing llvm19-libs (19.1.4-r0)
(5/18) Installing scudo-malloc (19.1.4-r0)
(6/18) Installing rust (1.83.0-r0)
(7/18) Installing cargo (1.83.0-r0)
(8/18) Installing cargo-auditable (0.6.6-r0)
(9/18) Installing libbz2 (1.0.8-r6)
(10/18) Installing gdbm (1.24-r0)
(11/18) Installing mpdecimal (4.0.0-r0)
(12/18) Installing libpanelw (6.5_p20241006-r3)
(13/18) Installing sqlite-libs (3.47.1-r0)
(14/18) Installing python3 (3.12.7-r1)
(15/18) Installing python3-pycache-pyc0 (3.12.7-r1)
(16/18) Installing pyc (3.12.7-r1)
(17/18) Installing python3-pyc (3.12.7-r1)
(18/18) Installing .makedepends-nickel (20241129.214017)
Executing busybox-1.37.0-r8.trigger
OK: 763 MiB in 121 packages
>>> nickel: Cleaning up srcdir
>>> nickel: Cleaning up pkgdir
>>> nickel: Cleaning up tmpdir
>>> nickel: Fetching https://distfiles.alpinelinux.org/distfiles/edge/nickel-1.8.1.tar.gz
  % Total    % Received % Xferd  Average Speed   Time    Time     Time  Current
                                 Dload  Upload   Total   Spent    Left  Speed

  0     0    0     0    0     0      0      0 --:--:-- --:--:-- --:--:--     0
100  901k  100  901k    0     0  10.4M      0 --:--:-- --:--:-- --:--:-- 10.4M
>>> nickel: Fetching https://distfiles.alpinelinux.org/distfiles/edge/nickel-1.8.1.tar.gz
>>> nickel: Checking sha512sums...
nickel-1.8.1.tar.gz: OK
>>> nickel: Unpacking /var/cache/distfiles/edge/nickel-1.8.1.tar.gz...
    Updating crates.io index
 Downloading crates ...
  Downloaded predicates-tree v1.0.9
  Downloaded lsp-server v0.7.6
  Downloaded env_logger v0.10.2
  Downloaded semver v1.0.22
  Downloaded predicates v3.1.0
  Downloaded predicates-core v1.0.6
  Downloaded quanta v0.11.1
  Downloaded clap_complete v4.5.1
  Downloaded sketches-ddsketch v0.2.2
  Downloaded anyhow v1.0.80
  Downloaded assert_cmd v2.0.14
  Downloaded insta v1.36.1
  Downloaded pyo3-macros v0.17.3
  Downloaded pyo3 v0.17.3
  Downloaded wasm-bindgen-macro-support v0.2.91
  Downloaded pyo3-ffi v0.17.3
  Downloaded pyo3-macros-backend v0.17.3
  Downloaded unindent v0.1.11
  Downloaded pyo3-build-config v0.17.3
  Downloaded wasm-bindgen-backend v0.2.91
  Downloaded serde_spanned v0.6.6
  Downloaded wasm-bindgen-shared v0.2.91
  Downloaded void v1.0.2
  Downloaded toml v0.8.14
  Downloaded tokio-test v0.4.3
  Downloaded thiserror v1.0.57
  Downloaded pretty v0.11.3
  Downloaded similar v2.4.0
  Downloaded getrandom v0.2.12
  Downloaded thiserror-impl v1.0.57
  Downloaded toml_edit v0.22.14
  Downloaded scratch v1.0.7
  Downloaded rustyline-derive v0.8.0
  Downloaded serde_repr v0.1.18
  Downloaded toml_datetime v0.6.6
  Downloaded bumpalo v3.15.4
  Downloaded indoc v2.0.4
  Downloaded malachite v0.4.5
  Downloaded safemem v0.3.3
  Downloaded logos v0.12.1
  Downloaded lalrpop-util v0.20.2
  Downloaded findshlibs v0.10.2
  Downloaded unsafe-libyaml v0.2.10
  Downloaded assert_matches v1.5.0
  Downloaded line-wrap v0.1.1
  Downloaded clap_derive v4.5.0
  Downloaded clap v4.5.2
  Downloaded criterion v0.4.0
  Downloaded malachite-q v0.4.5
  Downloaded rustyline v11.0.0
  Downloaded symbolic-demangle v10.2.1
  Downloaded time v0.3.34
  Downloaded lalrpop v0.20.2
  Downloaded cxx v1.0.119
  Downloaded rustix v0.38.31
  Downloaded termimad v0.23.2
  Downloaded malachite-float v0.4.5
  Downloaded malachite-base v0.4.5
  Downloaded backtrace v0.3.69
  Downloaded rayon v1.9.0
  Downloaded regex v1.10.3
  Downloaded syn v2.0.52
  Downloaded crossterm v0.23.2
  Downloaded cc v1.0.90
  Downloaded malachite-nz v0.4.5
  Downloaded cxx-build v1.0.119
  Downloaded topiary-queries v0.4.2
  Downloaded memchr v2.7.1
  Downloaded serde_json v1.0.114
  Downloaded inferno v0.11.19
  Downloaded coolor v0.5.0
  Downloaded logos-derive v0.12.1
  Downloaded bytemuck v1.14.3
  Downloaded cpp_demangle v0.4.3
  Downloaded uuid v1.7.0
  Downloaded symbolic-common v10.2.1
  Downloaded indexmap v2.2.5
  Downloaded prettydiff v0.6.4
  Downloaded serde v1.0.197
  Downloaded anstyle v1.0.6
  Downloaded plist v1.6.0
  Downloaded xdg v2.5.2
  Downloaded cxxbridge-flags v1.0.119
  Downloaded cxxbridge-macro v1.0.119
  Downloaded link-cplusplus v1.0.9
  Downloaded ascii-canvas v3.0.0
  Downloaded ena v0.14.2
  Downloaded tiny-keccak v2.0.2
  Downloaded codespan v0.11.1
  Downloaded tree-sitter-nickel v0.2.0
  Downloaded rgb v0.8.37
  Downloaded winnow v0.6.11
  Downloaded wasm-bindgen-macro v0.2.91
  Downloaded tokio-stream v0.1.14
  Downloaded metrics v0.21.1
  Downloaded tree-sitter v0.20.10
  Downloaded minimad v0.12.0
  Downloaded test-generator v0.3.1
  Downloaded new_debug_unreachable v1.0.4
  Downloaded metrics-macros v0.7.1
  Downloaded pprof v0.11.1
  Downloaded fd-lock v3.0.13
  Downloaded serde-wasm-bindgen v0.5.0
  Downloaded serde_yaml v0.9.32
  Downloaded simple-counter v0.1.0
  Downloaded metrics-util v0.15.1
  Downloaded serde_derive v1.0.197
  Downloaded js-sys v0.3.68
  Downloaded hashbrown v0.13.1
  Downloaded topiary-tree-sitter-facade v0.4.0
  Downloaded topiary-core v0.4.0
  Downloaded time-macros v0.2.17
  Downloaded comrak v0.24.1
  Downloaded wasm-bindgen v0.2.91
   Compiling proc-macro2 v1.0.78
   Compiling unicode-ident v1.0.12
   Compiling cfg-if v1.0.0
   Compiling serde v1.0.197
   Compiling libc v0.2.153
   Compiling version_check v0.9.4
   Compiling autocfg v1.1.0
   Compiling 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 itoa v1.0.10
   Compiling zerocopy v0.7.32
   Compiling rustix v0.38.31
   Compiling serde_json v1.0.114
   Compiling log v0.4.21
   Compiling regex-syntax v0.8.2
   Compiling fnv v1.0.7
   Compiling linux-raw-sys v0.4.13
   Compiling bitflags v1.3.2
   Compiling typenum v1.17.0
   Compiling utf8parse v0.2.1
   Compiling bitflags v2.4.2
   Compiling crossbeam-utils v0.8.19
   Compiling smallvec v1.13.1
   Compiling wasm-bindgen-shared v0.2.91
   Compiling unicode-width v0.1.11
   Compiling libm v0.2.8
   Compiling strsim v0.11.1
   Compiling either v1.10.0
   Compiling ident_case v1.0.1
   Compiling crunchy v0.2.2
   Compiling syn v1.0.109
   Compiling pkg-config v0.3.30
   Compiling signal-hook v0.3.17
   Compiling scopeguard v1.2.0
   Compiling bumpalo v3.15.4
   Compiling colorchoice v1.0.0
   Compiling tiny-keccak v2.0.2
   Compiling anstyle v1.0.6
   Compiling thiserror v1.0.57
   Compiling anstyle-query v1.0.2
   Compiling crc32fast v1.4.0
   Compiling hashbrown v0.14.3
   Compiling pin-project-lite v0.2.13
   Compiling equivalent v1.0.1
   Compiling siphasher v0.3.11
   Compiling wasm-bindgen v0.2.91
   Compiling fixedbitset v0.4.2
   Compiling adler v1.0.2
   Compiling new_debug_unreachable v1.0.4
   Compiling same-file v1.0.6
   Compiling bit-vec v0.6.3
   Compiling clap_lex v0.7.0
   Compiling futures-core v0.3.30
   Compiling precomputed-hash v0.1.1
   Compiling heck v0.4.1
   Compiling pico-args v0.5.0
   Compiling unicode-xid v0.2.4
   Compiling termcolor v1.4.1
   Compiling tinyvec_macros v0.1.1
   Compiling winnow v0.6.11
   Compiling yansi v0.5.1
   Compiling diff v0.1.13
   Compiling regex-syntax v0.6.29
   Compiling bytes v1.5.0
   Compiling typed-arena v2.0.2
   Compiling typeid v1.0.0
   Compiling deunicode v1.4.3
   Compiling ansi_term v0.12.1
   Compiling walkdir v2.5.0
   Compiling pad v0.1.6
   Compiling tinyvec v1.6.0
   Compiling endian-type v0.1.2
   Compiling miniz_oxide v0.7.2
   Compiling anstyle-parse v0.2.3
   Compiling unicode-segmentation v1.11.0
   Compiling beef v0.5.2
   Compiling minimad v0.12.0
   Compiling ena v0.14.2
   Compiling unicode-bidi v0.3.15
   Compiling unicode_categories v0.1.1
   Compiling unsafe-libyaml v0.2.10
   Compiling arrayvec v0.5.2
   Compiling shell-words v1.1.0
   Compiling hashbrown v0.12.3
   Compiling percent-encoding v2.3.1
   Compiling xdg v2.5.2
   Compiling entities v1.0.1
   Compiling topiary-queries v0.4.2
   Compiling anyhow v1.0.80
   Compiling void v1.0.2
   Compiling simple-counter v0.1.0
   Compiling pretty_assertions v1.4.0
   Compiling strsim v0.10.0
   Compiling phf_shared v0.10.0
   Compiling nibble_vec v0.1.0
   Compiling indoc v2.0.4
   Compiling lalrpop-util v0.20.2
   Compiling humantime v2.1.0
   Compiling convert_case v0.4.0
   Compiling fastrand v2.0.1
   Compiling ahash v0.8.11
   Compiling generic-array v0.14.7
   Compiling lock_api v0.4.11
   Compiling itertools v0.11.0
   Compiling indexmap v1.9.3
   Compiling prettydiff v0.6.4
   Compiling slug v0.1.5
   Compiling lazy_static v1.4.0
   Compiling anstream v0.6.13
   Compiling bit-set v0.5.3
   Compiling radix_trie v0.2.1
   Compiling form_urlencoded v1.2.1
   Compiling aho-corasick v1.1.2
   Compiling csv-core v0.1.11
   Compiling pretty v0.11.3
   Compiling flate2 v1.0.28
   Compiling quote v1.0.35
   Compiling indexmap v2.2.5
   Compiling syn v2.0.52
   Compiling crossbeam-epoch v0.9.18
   Compiling crossbeam-channel v0.5.12
   Compiling crossbeam-queue v0.3.11
   Compiling tree-sitter v0.20.10
   Compiling onig_sys v69.8.1
   Compiling tree-sitter-nickel v0.2.0
   Compiling vte_generate_state_changes v0.1.1
   Compiling dirs-sys-next v0.1.2
   Compiling dirs-next v2.0.0
   Compiling term v0.7.0
   Compiling parking_lot v0.12.1
   Compiling vte v0.11.1
   Compiling unicode-normalization v0.1.23
   Compiling crossbeam-deque v0.8.5
   Compiling string_cache v0.8.7
   Compiling ascii-canvas v3.0.0
   Compiling crossbeam v0.8.4
   Compiling petgraph v0.6.4
   Compiling crypto-common v0.1.6
   Compiling block-buffer v0.10.4
   Compiling idna v0.5.0
   Compiling strip-ansi-escapes v0.2.0
   Compiling digest v0.10.7
   Compiling regex-automata v0.4.6
   Compiling malachite-base v0.4.5
   Compiling md-5 v0.10.6
   Compiling signal-hook-registry v1.4.1
   Compiling mio v0.8.11
   Compiling cpufeatures v0.2.12
   Compiling nix v0.26.4
   Compiling is-terminal v0.4.12
   Compiling dirs-sys v0.3.7
   Compiling sha-1 v0.10.1
   Compiling sha2 v0.10.8
   Compiling directories v4.0.1
   Compiling signal-hook-mio v0.2.3
   Compiling crossterm v0.23.2
   Compiling terminal_size v0.3.0
   Compiling fd-lock v3.0.13
   Compiling tempfile v3.10.1
   Compiling clap_builder v4.5.2
   Compiling coolor v0.5.0
   Compiling rustyline v11.0.0
   Compiling regex v1.10.3
   Compiling darling_core v0.20.9
   Compiling wasm-bindgen-backend v0.2.91
   Compiling lalrpop v0.20.2
   Compiling wasm-bindgen-macro-support v0.2.91
   Compiling logos-derive v0.12.1
   Compiling rustyline-derive v0.8.0
   Compiling derive_more v0.99.17
   Compiling serde_derive v1.0.197
   Compiling tokio-macros v2.2.0
   Compiling thiserror-impl v1.0.57
   Compiling async-stream-impl v0.3.5
   Compiling clap_derive v4.5.0
   Compiling serde_repr v0.1.18
   Compiling git-version-macro v0.3.9
   Compiling env_logger v0.10.2
   Compiling wasm-bindgen-macro v0.2.91
   Compiling topiary-tree-sitter-facade v0.4.0
   Compiling darling_macro v0.20.9
   Compiling async-stream v0.3.5
   Compiling git-version v0.3.9
   Compiling tokio v1.36.0
   Compiling darling v0.20.9
   Compiling derive_builder_core v0.20.0
   Compiling termimad v0.23.2
   Compiling logos v0.12.1
   Compiling clap v4.5.2
   Compiling derive_builder_macro v0.20.0
   Compiling clap_complete v4.5.1
   Compiling tokio-stream v0.1.14
   Compiling derive_builder v0.20.0
   Compiling tokio-test v0.4.3
   Compiling onig v6.4.0
   Compiling malachite-nz v0.4.5
   Compiling serde_spanned v0.6.6
   Compiling bincode v1.3.3
   Compiling toml_datetime v0.6.6
   Compiling codespan-reporting v0.11.1
   Compiling erased-serde v0.4.5
   Compiling serde_yaml v0.9.32
   Compiling url v2.5.0
   Compiling csv v1.3.0
   Compiling toml_edit v0.22.14
   Compiling codespan v0.11.1
   Compiling serde-untagged v0.1.6
   Compiling syntect v5.2.0
   Compiling topiary-core v0.4.0
   Compiling lsp-server v0.7.6
   Compiling lsp-types v0.95.0
   Compiling js-sys v0.3.68
   Compiling toml v0.8.14
   Compiling comrak v0.24.1
   Compiling serde-wasm-bindgen v0.5.0
   Compiling malachite-q v0.4.5
   Compiling malachite-float v0.4.5
   Compiling malachite v0.4.5
   Compiling nickel-lang-core v0.9.1 (/home/buildozer/aports/community/nickel/src/nickel-1.8.1/core)
   Compiling nickel-lang-lsp v1.8.1 (/home/buildozer/aports/community/nickel/src/nickel-1.8.1/lsp/nls)
   Compiling nickel-lang-cli v1.8.1 (/home/buildozer/aports/community/nickel/src/nickel-1.8.1/cli)
    Finished `release` profile [optimized] target(s) in 4m 47s
   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 either v1.10.0
   Compiling itoa v1.0.10
   Compiling smallvec v1.13.1
   Compiling regex-syntax v0.8.2
   Compiling parking_lot_core v0.9.9
   Compiling zerocopy v0.7.32
   Compiling crossbeam-utils v0.8.19
   Compiling serde_json v1.0.114
   Compiling bitflags v1.3.2
   Compiling log v0.4.21
   Compiling equivalent v1.0.1
   Compiling rustix v0.38.31
   Compiling strsim v0.11.1
   Compiling linux-raw-sys v0.4.13
   Compiling bitflags v2.4.2
   Compiling fnv v1.0.7
   Compiling syn v1.0.109
   Compiling utf8parse v0.2.1
   Compiling typenum v1.17.0
   Compiling same-file v1.0.6
   Compiling wasm-bindgen-shared v0.2.91
   Compiling anstyle v1.0.6
   Compiling libm v0.2.8
   Compiling scopeguard v1.2.0
   Compiling crunchy v0.2.2
   Compiling ident_case v1.0.1
   Compiling unicode-width v0.1.11
   Compiling signal-hook v0.3.17
   Compiling tiny-keccak v2.0.2
   Compiling pkg-config v0.3.30
   Compiling bumpalo v3.15.4
   Compiling hashbrown v0.14.3
   Compiling siphasher v0.3.11
   Compiling adler v1.0.2
   Compiling thiserror v1.0.57
   Compiling crc32fast v1.4.0
   Compiling pin-project-lite v0.2.13
   Compiling colorchoice v1.0.0
   Compiling fixedbitset v0.4.2
   Compiling precomputed-hash v0.1.1
   Compiling new_debug_unreachable v1.0.4
   Compiling anstyle-query v1.0.2
   Compiling bit-vec v0.6.3
   Compiling heck v0.4.1
   Compiling wasm-bindgen v0.2.91
   Compiling unicode-xid v0.2.4
   Compiling clap_lex v0.7.0
   Compiling termcolor v1.4.1
   Compiling pico-args v0.5.0
   Compiling hashbrown v0.12.3
   Compiling futures-core v0.3.30
   Compiling winnow v0.6.11
   Compiling typed-arena v2.0.2
   Compiling beef v0.5.2
   Compiling typeid v1.0.0
   Compiling regex-syntax v0.6.29
   Compiling yansi v0.5.1
   Compiling bytes v1.5.0
   Compiling diff v0.1.13
   Compiling unicode-segmentation v1.11.0
   Compiling ansi_term v0.12.1
   Compiling endian-type v0.1.2
   Compiling deunicode v1.4.3
   Compiling xdg v2.5.2
   Compiling unicode_categories v0.1.1
   Compiling unsafe-libyaml v0.2.10
   Compiling minimad v0.12.0
   Compiling shell-words v1.1.0
   Compiling arrayvec v0.5.2
   Compiling entities v1.0.1
   Compiling itertools v0.11.0
   Compiling strsim v0.10.0
   Compiling void v1.0.2
   Compiling topiary-queries v0.4.2
   Compiling nibble_vec v0.1.0
   Compiling simple-counter v0.1.0
   Compiling lalrpop-util v0.20.2
   Compiling indoc v2.0.4
   Compiling rayon-core v1.12.1
   Compiling lazy_static v1.4.0
   Compiling half v2.4.0
   Compiling pad v0.1.6
   Compiling miniz_oxide v0.7.2
   Compiling anstyle-parse v0.2.3
   Compiling pretty_assertions v1.4.0
   Compiling plotters-backend v0.3.5
   Compiling walkdir v2.5.0
   Compiling cpp_demangle v0.4.3
   Compiling uuid v1.7.0
   Compiling os_str_bytes v6.6.1
   Compiling ciborium-io v0.2.2
   Compiling itertools v0.10.5
   Compiling symbolic-demangle v10.2.1
   Compiling cast v0.3.0
   Compiling rustc-demangle v0.1.23
   Compiling textwrap v0.16.1
   Compiling gimli v0.28.1
   Compiling prettydiff v0.6.4
   Compiling bytemuck v1.14.3
   Compiling stable_deref_trait v1.2.0
   Compiling phf_shared v0.10.0
   Compiling ena v0.14.2
   Compiling fastrand v2.0.1
   Compiling arrayvec v0.7.4
   Compiling radix_trie v0.2.1
   Compiling anes v0.1.6
   Compiling oorandom v11.1.3
   Compiling pprof v0.11.1
   Compiling bit-set v0.5.3
   Compiling str_stack v0.1.0
   Compiling lock_api v0.4.11
   Compiling indexmap v1.9.3
   Compiling ahash v0.8.11
   Compiling generic-array v0.14.7
   Compiling slug v0.1.5
   Compiling num-traits v0.2.18
   Compiling proc-macro2 v0.4.30
   Compiling target-lexicon v0.12.14
   Compiling anstream v0.6.13
   Compiling unicode-xid v0.1.0
   Compiling syn v0.15.44
   Compiling similar v2.4.0
   Compiling glob v0.3.1
   Compiling tinyvec_macros v0.1.1
   Compiling unicode-bidi v0.3.15
   Compiling linked-hash-map v0.5.6
   Compiling percent-encoding v2.3.1
   Compiling doc-comment v0.3.3
   Compiling predicates-core v1.0.6
   Compiling anyhow v1.0.80
   Compiling clap_lex v0.2.4
   Compiling plotters-svg v0.3.5
   Compiling rgb v0.8.37
   Compiling assert_cmd v2.0.14
   Compiling termtree v0.4.1
   Compiling tinyvec v1.6.0
   Compiling humantime v2.1.0
   Compiling assert_matches v1.5.0
   Compiling aho-corasick v1.1.2
   Compiling quick-xml v0.26.0
   Compiling debugid v0.8.0
   Compiling ciborium-ll v0.2.2
   Compiling num-format v0.4.4
   Compiling pretty v0.11.3
   Compiling object v0.32.2
   Compiling form_urlencoded v1.2.1
   Compiling difflib v0.4.0
   Compiling yaml-rust v0.4.5
   Compiling predicates-tree v1.0.9
   Compiling memoffset v0.6.5
   Compiling csv-core v0.1.11
   Compiling unindent v0.1.11
   Compiling convert_case v0.4.0
   Compiling indoc v1.0.9
   Compiling flate2 v1.0.28
   Compiling quote v1.0.35
   Compiling indexmap v2.2.5
   Compiling predicates v3.1.0
   Compiling crossbeam-epoch v0.9.18
   Compiling crossbeam-channel v0.5.12
   Compiling crossbeam-queue v0.3.11
   Compiling syn v2.0.52
   Compiling vte_generate_state_changes v0.1.1
   Compiling tree-sitter v0.20.10
   Compiling onig_sys v69.8.1
   Compiling tree-sitter-nickel v0.2.0
   Compiling backtrace v0.3.69
   Compiling findshlibs v0.10.2
   Compiling crossbeam-deque v0.8.5
   Compiling quote v0.6.13
   Compiling pyo3-build-config v0.17.3
   Compiling dirs-sys-next v0.1.2
   Compiling vte v0.11.1
   Compiling crossbeam v0.8.4
   Compiling dirs-next v2.0.0
   Compiling term v0.7.0
   Compiling parking_lot v0.12.1
   Compiling petgraph v0.6.4
   Compiling unicode-normalization v0.1.23
   Compiling string_cache v0.8.7
   Compiling ascii-canvas v3.0.0
   Compiling rayon v1.9.0
   Compiling criterion-plot v0.5.0
   Compiling getrandom v0.2.12
   Compiling signal-hook-registry v1.4.1
   Compiling mio v0.8.11
   Compiling nix v0.26.4
   Compiling cpufeatures v0.2.12
   Compiling is-terminal v0.4.12
   Compiling memmap2 v0.5.10
   Compiling atty v0.2.14
   Compiling console v0.15.8
   Compiling wait-timeout v0.2.0
   Compiling dirs-sys v0.3.7
   Compiling directories v4.0.1
   Compiling symbolic-common v10.2.1
   Compiling plotters v0.3.5
   Compiling idna v0.5.0
   Compiling strip-ansi-escapes v0.2.0
   Compiling crypto-common v0.1.6
   Compiling block-buffer v0.10.4
   Compiling signal-hook-mio v0.2.3
   Compiling regex-automata v0.4.6
   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 pyo3-ffi v0.17.3
   Compiling pyo3 v0.17.3
   Compiling pyckel v1.8.1 (/home/buildozer/aports/community/nickel/src/nickel-1.8.1/pyckel)
   Compiling addr2line v0.21.0
   Compiling coolor v0.5.0
   Compiling terminal_size v0.3.0
   Compiling fd-lock v3.0.13
   Compiling tempfile v3.10.1
   Compiling malachite-base v0.4.5
   Compiling clap_builder v4.5.2
   Compiling rustyline v11.0.0
   Compiling inferno v0.11.19
   Compiling test-generator v0.3.1
   Compiling pyo3-macros-backend v0.17.3
   Compiling regex v1.10.3
   Compiling lalrpop v0.20.2
   Compiling darling_core v0.20.9
   Compiling wasm-bindgen-backend v0.2.91
   Compiling bstr v1.9.1
   Compiling logos-derive v0.12.1
   Compiling rustyline-derive v0.8.0
   Compiling derive_more v0.99.17
   Compiling insta v1.36.1
   Compiling env_logger v0.10.2
   Compiling serde_derive v1.0.197
   Compiling thiserror-impl v1.0.57
   Compiling tokio-macros v2.2.0
   Compiling async-stream-impl v0.3.5
   Compiling clap_derive v4.5.0
   Compiling serde_repr v0.1.18
   Compiling git-version-macro v0.3.9
   Compiling wasm-bindgen-macro-support v0.2.91
   Compiling topiary-tree-sitter-facade v0.4.0
   Compiling async-stream v0.3.5
   Compiling git-version v0.3.9
   Compiling tokio v1.36.0
   Compiling pyo3-macros v0.17.3
   Compiling logos v0.12.1
   Compiling termimad v0.23.2
   Compiling wasm-bindgen-macro v0.2.91
   Compiling darling_macro v0.20.9
   Compiling darling v0.20.9
   Compiling derive_builder_core v0.20.0
   Compiling clap v4.5.2
   Compiling clap_complete v4.5.1
   Compiling tokio-stream v0.1.14
   Compiling derive_builder_macro v0.20.0
   Compiling tokio-test v0.4.3
   Compiling derive_builder v0.20.0
   Compiling toml_datetime v0.6.6
   Compiling malachite-nz v0.4.5
   Compiling serde_spanned v0.6.6
   Compiling bincode v1.3.3
   Compiling erased-serde v0.4.5
   Compiling codespan-reporting v0.11.1
   Compiling serde_yaml v0.9.32
   Compiling ciborium v0.2.2
   Compiling url v2.5.0
   Compiling csv v1.3.0
   Compiling onig v6.4.0
   Compiling toml_edit v0.22.14
   Compiling clap v3.2.25
   Compiling codespan v0.11.1
   Compiling serde-untagged v0.1.6
   Compiling syntect v5.2.0
   Compiling topiary-core v0.4.0
   Compiling tinytemplate v1.2.1
   Compiling lsp-server v0.7.6
   Compiling lsp-types v0.95.0
   Compiling js-sys v0.3.68
   Compiling toml v0.8.14
   Compiling comrak v0.24.1
   Compiling criterion v0.4.0
   Compiling serde-wasm-bindgen v0.5.0
   Compiling malachite-q v0.4.5
   Compiling malachite-float v0.4.5
   Compiling malachite v0.4.5
   Compiling lsp-harness v0.1.0 (/home/buildozer/aports/community/nickel/src/nickel-1.8.1/lsp/lsp-harness)
   Compiling nickel-lang-core v0.9.1 (/home/buildozer/aports/community/nickel/src/nickel-1.8.1/core)
   Compiling nickel-lang-utils v0.1.0 (/home/buildozer/aports/community/nickel/src/nickel-1.8.1/utils)
   Compiling nickel-wasm-repl v0.9.1 (/home/buildozer/aports/community/nickel/src/nickel-1.8.1/wasm-repl)
   Compiling nickel-lang-cli v1.8.1 (/home/buildozer/aports/community/nickel/src/nickel-1.8.1/cli)
   Compiling nickel-lang-lsp v1.8.1 (/home/buildozer/aports/community/nickel/src/nickel-1.8.1/lsp/nls)
    Finished `test` profile [unoptimized + debuginfo] target(s) in 3m 10s
     Running unittests src/lib.rs (target/debug/deps/lsp_harness-5a58c89a5df026ec)

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-6f3d3a22c91dab76)

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-409ed85518cdd42c)

running 3 tests
Documentation written to /tmp/.tmppxcOeC/output
test export_creates_output_files ... ok
test doc_creates_output_files ... ok
test automatic_color_on_non_tty ... 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-98136b076011036a)

running 77 tests
test check_snapshots_cli_tests_snapshot_inputs_customize_mode_assignment_syntax_error_ncl ... ok
test check_snapshots_cli_tests_snapshot_inputs_customize_mode_list_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_help_ncl ... ok
test check_snapshots_cli_tests_snapshot_inputs_pretty_field_escaping_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_show_ncl ... ok
test check_snapshots_cli_tests_snapshot_inputs_docs_function_ncl ... ok
test check_snapshots_cli_tests_snapshot_inputs_docs_record_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_array_at_empty_array_ncl ... ok
test check_snapshots_cli_tests_snapshot_inputs_customize_mode_simple_adder_ncl ... ok
test check_snapshots_cli_tests_snapshot_inputs_eval_records_ncl ... ok
test check_snapshots_cli_tests_snapshot_inputs_errors_destructuring_repeated_ident_ncl ... ok
test check_snapshots_cli_tests_snapshot_inputs_errors_destructuring_assign_fail_ncl ... ok
test check_snapshots_cli_tests_snapshot_inputs_errors_destructuring_rest_fail_ncl ... ok
test check_snapshots_cli_tests_snapshot_inputs_errors_array_merge_fail_ncl ... ok
test check_snapshots_cli_tests_snapshot_inputs_customize_mode_unknown_override_ncl ... ok
test check_snapshots_cli_tests_snapshot_inputs_errors_blame_custom_message_ansi_escaping_ncl ... ok
test check_snapshots_cli_tests_snapshot_inputs_pretty_let_rec_ncl ... ok
test check_snapshots_cli_tests_snapshot_inputs_errors_contract_with_custom_diagnostic_ncl ... ok
test check_snapshots_cli_tests_snapshot_inputs_errors_string_delimiter_mismatch_ncl ... ok
test check_snapshots_cli_tests_snapshot_inputs_pretty_let_annotations_ncl ... ok
test check_snapshots_cli_tests_snapshot_inputs_errors_record_destructuring_duplicate_ident_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_closed_fail_ncl ... ok
test check_snapshots_cli_tests_snapshot_inputs_errors_annotated_record_pattern_typecheck_fail_ncl ... ok
test check_snapshots_cli_tests_snapshot_inputs_docs_types_ncl ... ok
test check_snapshots_cli_tests_snapshot_inputs_errors_array_contract_fail_ncl ... ok
test check_snapshots_cli_tests_snapshot_inputs_errors_destructuring_nonexistent_idents_ncl ... ok
test check_snapshots_cli_tests_snapshot_inputs_pretty_multiline_doc_ncl ... ok
test check_snapshots_cli_tests_snapshot_inputs_errors_simple_contract_fail_ncl ... ok
test check_snapshots_cli_tests_snapshot_inputs_errors_array_at_out_of_bound_ncl ... ok
test check_snapshots_cli_tests_snapshot_inputs_errors_value_contract_violation_ncl ... ok
test check_snapshots_cli_tests_snapshot_inputs_errors_enum_forall_parametricity_violation_ncl ... ok
test check_snapshots_cli_tests_snapshot_inputs_errors_mismatched_row_record_pattern_fail_ncl ... ok
test check_snapshots_cli_tests_snapshot_inputs_errors_invalid_contract_expression_ncl ... ok
test check_snapshots_cli_tests_snapshot_inputs_errors_record_forall_constraints_contract_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_serialization_number_out_of_range_ncl ... ok
test check_snapshots_cli_tests_snapshot_inputs_errors_array_range_reversed_indices_ncl ... ok
test check_snapshots_cli_tests_snapshot_inputs_errors_invalid_record_type_ncl ... ok
test check_snapshots_cli_tests_snapshot_inputs_errors_record_type_repeated_field_ncl ... ok
test check_snapshots_cli_tests_snapshot_inputs_eval_escaping_ncl ... ok
test check_snapshots_cli_tests_snapshot_inputs_pretty_simple_record_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_type_mismatch_fail_ncl ... ok
test check_snapshots_cli_tests_snapshot_inputs_errors_subcontract_nested_custom_diagnostics_ncl ... ok
test check_snapshots_cli_tests_snapshot_inputs_errors_unification_variable_aliasing_ncl ... ok
test check_snapshots_cli_tests_snapshot_inputs_errors_record_access_ncl ... ok
test check_snapshots_cli_tests_snapshot_inputs_errors_enum_forall_constraints_typecheck_ncl ... ok
test check_snapshots_cli_tests_snapshot_inputs_errors_validator_custom_error_ncl ... ok
test check_snapshots_cli_tests_snapshot_inputs_errors_typed_field_without_annotation_ncl ... ok
test check_snapshots_cli_tests_snapshot_inputs_errors_subcontract_type_path_underline_ncl ... ok
test check_snapshots_cli_tests_snapshot_inputs_errors_function_contract_domain_violation_ncl ... ok
test check_snapshots_cli_tests_snapshot_inputs_export_trace_ncl ... ok
test check_snapshots_cli_tests_snapshot_inputs_errors_fun_contract_range_violation_ncl ... ok
test check_snapshots_cli_tests_snapshot_inputs_errors_record_forall_constraints_typecheck_ncl ... ok
test check_snapshots_cli_tests_snapshot_inputs_errors_dictionary_contract_fail_ncl ... ok
test check_snapshots_cli_tests_snapshot_inputs_errors_non_exhaustive_match_ncl ... ok
test check_snapshots_cli_tests_snapshot_inputs_errors_caller_contract_violation_ncl ... ok
test check_snapshots_cli_tests_snapshot_inputs_errors_spanned_toml_ncl ... ok
test check_snapshots_cli_tests_snapshot_inputs_errors_destructuring_typecontract_fail_ncl ... ok
test check_snapshots_cli_tests_snapshot_inputs_errors_interpolate_record_type_field_ncl ... ok
test check_snapshots_cli_tests_snapshot_inputs_eval_fieldarg_with_contracts_ncl ... ok
test check_snapshots_cli_tests_snapshot_inputs_errors_trace_not_saturated_ncl ... ok
test check_snapshots_cli_tests_snapshot_inputs_errors_record_access_suggestion_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_forall_parametricity_violation_ncl ... ok
test check_snapshots_cli_tests_snapshot_inputs_errors_query_non_record_ncl ... ok
test check_snapshots_cli_tests_snapshot_inputs_export_nested_record_ncl ... ok
test check_snapshots_cli_tests_snapshot_inputs_errors_destructuring_repeated_ident_typed_ncl ... ok
test check_snapshots_cli_tests_snapshot_inputs_errors_function_contract_violation_ncl ... ok
test check_snapshots_cli_tests_snapshot_inputs_errors_destructuring_type_mismatch_field_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_export_not_exported_undefined_ncl ... ok

test result: ok. 77 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.31s

     Running unittests src/lib.rs (target/debug/deps/nickel_lang_core-8b4ab920b889b926)

running 102 tests
test environment::tests::test_deepness ... ok
test environment::tests::test_env_base ... ok
test environment::tests::test_clone ... ok
test environment::tests::test_iter_layer ... ok
test eval::merge::split::tests::all_left ... ok
test eval::merge::split::tests::all_right ... ok
test eval::merge::split::tests::mixed ... ok
test eval::merge::split::tests::all_center ... ok
test environment::tests::test_iter_elem ... ok
test eval::stack::tests::marker_differentiates ... ok
test eval::stack::tests::pushing_and_popping_args ... ok
test eval::stack::tests::pushing_and_popping_conts ... ok
test eval::operation::tests::plus_first_term_operation ... ok
test eval::operation::tests::ite_operation ... ok
test eval::stack::tests::pushing_and_popping_thunks ... ok
test eval::operation::tests::plus_second_term_operation ... ok
test eval::stack::tests::thunk_blackhole ... ok
test eval::tests::blame_panics ... ok
test eval::tests::identity_over_values ... ok
test eval::tests::asking_for_various_types ... ok
test eval::tests::initial_env ... ok
test eval::tests::only_fun_are_applicable ... ok
test eval::tests::simple_app ... ok
test eval::tests::simple_let ... ok
test eval::tests::interpolation_simple ... ok
test eval::tests::interpolation_nested ... ok
test identifier::interner::tests::test_intern_then_lookup ... ok
test eval::tests::simple_ite ... ok
test eval::tests::simple_plus ... 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 eval::tests::foreign_id ... ok
test parser::tests::ite ... ok
test parser::tests::multiline_str_escape ... ok
test eval::tests::imports ... ok
test parser::tests::invalid_record_types ... ok
test parser::tests::plus ... ok
test parser::tests::numbers ... ok
test parser::tests::lets ... ok
test parser::tests::string_lexing ... ok
test parser::tests::line_comments ... ok
test parser::tests::str_escape ... ok
test parser::tests::symbolic_strings ... ok
test parser::tests::ascii_escape ... ok
test parser::utils::tests::type_annotation_combine ... ok
test parser::tests::unary_op ... ok
test pretty::tests::pretty_app ... ok
test parser::tests::variables ... ok
test parser::utils::tests::contract_annotation_order ... ok
test parser::tests::strings ... ok
test eval::tests::lone_var_panics - should panic ... ok
test parser::tests::import ... ok
test parser::tests::enum_terms ... ok
test parser::tests::ty_var_kind_mismatch ... ok
test parser::tests::record_terms ... ok
test pretty::tests::pretty_array_type ... ok
test pretty::tests::pretty_arrays ... ok
test pretty::tests::pretty_arrow_type ... ok
test pretty::tests::pretty_binop ... ok
test program::tests::typecheck_invalid_input ... ok
test pretty::tests::pretty_opn ... ok
test term::make::builder::tests::contract ... ok
test pretty::tests::pretty_fun ... ok
test pretty::tests::pretty_let ... ok
test term::make::builder::tests::exercise_metadata ... ok
test term::make::builder::tests::fields_metadata ... ok
test term::make::builder::tests::fields ... ok
test term::make::builder::tests::open_record ... ok
test term::make::builder::tests::from_iter ... ok
test pretty::tests::pretty_unop ... ok
test pretty::tests::pretty_dict_type ... ok
test pretty::tests::pretty_forall_type ... ok
test pretty::tests::pretty_record_type ... ok
test term::make::builder::tests::prio_metadata ... ok
test pretty::tests::pretty_enum_type ... ok
test term::make::builder::tests::some_doc ... ok
test term::tests::make_static_access ... ok
test pretty::tests::pretty_match ... ok
test term::make::builder::tests::trivial ... 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 typ::tests::simplify_dont_elide_record ... ok
test typ::tests::simplify ... ok
test identifier::interner::tests::test_large_number_of_interns ... ok
test deserialize::tests::rust_deserialize_array_of_numbers ... ok
test deserialize::tests::rust_deserialize_ignore_annotation ... ok
test deserialize::tests::rust_deserialize_struct_with_fields ... ok
test deserialize::tests::rust_deserialize_fail_non_data ... ok
test program::tests::evaluation_full ... ok
test serialize::tests::records ... ok
test serialize::tests::involution ... ok
test serialize::tests::prevalidation ... ok
test serialize::tests::meta_values ... ok
test serialize::tests::basic ... ok
test serialize::tests::arrays ... ok

test result: ok. 102 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.89s

     Running tests/examples/main.rs (target/debug/deps/examples-e2e4b31a16f9e2ac)

running 17 tests
test check_example_file_examples_merge_server_ncl ... ok
test check_example_file_examples_merge_security_ncl ... ok
test check_example_file_examples_imports_imports_ncl ... ok
test check_example_file_examples_merge_priorities_security_ncl ... ok
test check_example_file_examples_merge_priorities_server_ncl ... ok
test check_example_file_examples_foreach_pattern_foreach_pattern_on_import_ncl ... ok
test check_example_file_examples_polymorphism_polymorphism_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_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.39s

     Running tests/integration/main.rs (target/debug/deps/integration-c3a02e7ba8e738ad)

running 700 tests
test check_annotated_nickel_file_core_tests_integration_inputs_adts_force_enum_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_contracts_equating_fn_match_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_contracts_contract_applies_to_default_value_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_contracts_array_contract_bad_element_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_contracts_custom_validator_succeed_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_poly_record_contract_merge_sealed_tail_lhs_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_arrays_slice_empty_array_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_contracts_sequence_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_missing_field_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_contracts_any_of_basic_fail_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_contracts_array_contract_num_is_not_an_array_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_contracts_record_contract_extra_field_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_contracts_regression_panic_function_contract_fail_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_contracts_dictionary_contract_propagates_through_merge_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_arrays_stdlib_at_non_number_arg_raises_blame_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_contracts_poly_record_contract_empty_record_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_contracts_custom_generic_fail_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_let_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_contracts_poly_record_contract_return_val_wrong_tail_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_contracts_custom_generic_immediate_fail_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_contracts_types_dont_propagate_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_arrays_elem_at_negative_index_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_contracts_poly_record_contract_sealed_tail_static_access_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_array_contract_fn_is_not_an_array_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_contracts_and_bool_contract_fail_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_contracts_not_any_of_fail_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_adts_deep_seq_enum2_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_contracts_record_contract_bad_field_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_contracts_enum_contract_empty_enum_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_contracts_basic_custom_contract_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_arrays_elem_at_empty_array_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_contracts_record_contract_missing_field_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_arrays_elem_at_index_out_of_bounds_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_contracts_type_annot_inline_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_contracts_simplify_doesnt_remove_fields_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_contracts_custom_generic_succeed_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_enum_variant_fail_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_not_basic_fail_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_contracts_record_contract_nested_failure_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_contracts_custom_predicate_succeed_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_contracts_equating_functions_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_contracts_polymorphic_function_contract_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_contracts_custom_validator_fail_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_imports_imported_circular_imports1_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_imports_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_contracts_and_number_bool_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_contracts_custom_predicate_fail_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_imports_imported_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_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_adts_force_enum2_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_import_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_imports_imported_root_path_fourtytwo_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_imports_imported_serialize_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_imports_imported_two_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_imports_imported_unexpected_token_buried_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_imports_imported_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_imports_imported_unexpected_token_in_record_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_imports_imported_unexpected_token_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_contracts_not_record_fail_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_sealed_tail_remove_field_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_adts_enum_primops_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_arrays_stdlib_first_non_array_arg_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_contracts_unsound_dedup_dict_contract_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_contracts_record_contract_nested_missing_field_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_contracts_poly_record_contract_bad_field_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_poly_record_contract_higher_order_fn_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_contracts_any_of_record_delayed_fail_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_contracts_unsound_dedup_record_contract_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_contracts_any_of_empty_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_contracts_poly_record_contract_merge_sealed_tail_rhs_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_lib_imported_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_contracts_any_of_record_immediate_fail_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_core_basics_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_geq_string_string_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_leq_bool_array_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_core_string_interpolation_number_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_contracts_boolean_combinators_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_destructuring_adt_type_mismatch_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_core_fibo_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_imports_direct_import_loop_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_destructuring_nested_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_type_mismatch_nested_destructuring_fail_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_core_eq_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_core_comparison_le_string_number_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_destructuring_typecontract_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_core_arrays_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_nested_syntax_error_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_destructuring_default_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_destructuring_simple_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_infinite_loops_x_eq_x_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_imports_multi_imports_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_merging_adts_different_tags_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_compose_contract_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_destructuring_constant_number_fail_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_destructuring_constants_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_merging_merge_default_contract_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_infinite_loops_mutually_recursive_functions_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_core_curried_dot_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_core_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_destructuring_assign_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_contracts_contracts_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_adt_enum_tag_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_core_builtins_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_closed_fail_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_imports_root_path_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_destructuring_open_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_parsing_type_var_outside_forall_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_fun_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_core_records_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_parsing_unbound_record_tail_var_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_destructuring_atbind_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_parsing_annotations_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_parsing_identifiers_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_core_numbers_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_merging_priorities_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_parsing_unbound_var_in_contract_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_imports_missing_nickel_path_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_destructuring_mixed_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_destructuring_typecontract_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_imports_needs_nickel_path_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_pattern_matching_contract_blame_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_destructuring_rest_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_contract_default_value_blame_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_imports_serialize_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_merging_merge_conflict_inside_metavalue_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_pattern_matching_non_exhaustive_enum_pattern_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_parsing_unexpected_token_dollar_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_enum_after_wildcard_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_destructuring_rest_fail_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_merging_overriding_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_records_cannot_use_dynamic_fields_recursively_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_constant_null_fail_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_pattern_matching_wildcards_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_pattern_matching_arrays_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_pattern_matching_guards_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_pattern_matching_or_patterns_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_records_merge_nested_different_vals_no_prio_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_records_merge_nested_different_vals_default_prio_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_typecheck_dyn_tail_contract_in_typechecking_mode_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_typecheck_dynamic_record_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_typecheck_enum_match_variant_not_covered_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_records_missing_field_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_enum_variant_not_in_type_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_enum_row_conflict_poly_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_merging_adts_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_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_records_static_access_missing_field_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_locally_different_flat_types_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_stdlib_record_insert_with_opts_existing_field_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_stdlib_record_get_missing_field_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_mismatch_array_map_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_merging_array_merge_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_stdlib_record_remove_empty_opt_field_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_imports_typecheck_fail_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_convert_empty_record_to_dynamic_tail_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_mismatch_enum_poly_row_var_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_dictionary_subtyping_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_typecheck_enum_match_mismatched_branch_types_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_typecheck_dynamic_type_error_without_wildcard_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_higher_rank_coeval_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_mismatch_forall_variable_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_mismatch_rec_record_field_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_higher_rank_eval_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_merging_metavalues_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_mismatch_rec_record_inference_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_record_typed_field_path_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_mismatch_record_field_name_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_imports_yaml_import_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_typecheck_mismatch_record_field_type_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_records_record_defs_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_mismatch_record_poly_fields_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_mismatch_record_poly_field_misused_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_mismatch_record_poly_row_var_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_no_implicit_polymorphism_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_strings_string_interpolation_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_mismatch_record_dictionary_subtyping_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_serialization_serialize_package_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_pattern_array_elem_mismatch_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_field_polymorphic_annot_ncl ... ok
test free_vars::destruct_fun ... ok
test free_vars::dynamic_record ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_pattern_matching_or_pattern_vars_mismatch_ncl ... ok
test free_vars::recursive_let ... ok
test free_vars::nested_records ... ok
test free_vars::destruct_let ... ok
test free_vars::simple_fun ... ok
test free_vars::simple_let ... ok
test free_vars::static_record ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_adts_deep_seq_enum2_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_stdlib_enum_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_adts_deep_seq_enum_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_adts_force_enum2_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_arrays_elem_at_empty_array_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_adts_force_enum_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_index_out_of_bounds_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_elem_at_non_int_index_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_arrays_slice_empty_array_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_arrays_stdlib_at_non_array_arg_raises_blame_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_slice_non_array_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_stdlib_first_non_array_arg_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_arrays_stdlib_drop_first_non_array_arg_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_and_number_bool_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_stdlib_string_uppercase_lowercase_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_and_bool_contract_fail_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_any_of_basic_fail_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_stdlib_string_contracts_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_any_of_empty_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_array_contract_num_is_not_an_array_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_any_of_record_delayed_fail_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_basic_custom_contract_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_contracts_array_contract_bad_element_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_array_contract_fn_is_not_an_array_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_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_any_of_record_immediate_fail_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_pattern_generalize_enum_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_custom_generic_immediate_fail_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_custom_predicate_succeed_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_custom_generic_fail_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_custom_generic_succeed_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_custom_validator_fail_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_enum_contract_empty_enum_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_custom_predicate_fail_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_custom_validator_succeed_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_dictionary_contract_propagates_through_merge_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_enum_contract_missing_variant_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_pattern_not_an_array_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_enum_contract_non_enum_value_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_not_basic_fail_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_enum_variant_fail_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_not_any_of_fail_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_equating_fn_match_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_equating_functions_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_not_record_fail_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_boolean_combinators_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_poly_record_contract_empty_record_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_poly_record_contract_map_sealed_tail_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_pattern_generalize_closed_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_basic_typechecking_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_merge_sealed_tail_lhs_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_poly_record_contract_higher_order_fn_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_dynamic_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_static_access_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_record_contract_bad_field_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_poly_record_contract_merge_sealed_tail_rhs_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_poly_record_contract_missing_field_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_poly_record_contract_return_val_wrong_tail_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_stdlib_string_find_all_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_pattern_array_rest_mismatch_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_record_contract_nested_extra_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_record_contract_constraint_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_type_annot_let_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_mismatch_enum_match_fun_type_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_contracts_regression_panic_function_contract_fail_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_sequence_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_core_comparison_ge_string_string_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_missing_field_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_geq_string_string_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_le_number_bool_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_stdlib_maths_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_record_contract_nested_failure_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_simplify_doesnt_remove_fields_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_core_or_string_bool_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_core_import_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_core_string_interpolation_number_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_adt_enum_tag_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_destructuring_adt_enum_tag_tag_mismatch_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_destructuring_adt_extra_arg_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_destructuring_adt_missing_arg_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_pattern_variant_arg_mismatch_wildcard_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_core_numbers_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_destructuring_adt_wrong_type_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_destructuring_adt_type_mismatch_extra_row_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_destructuring_constant_bool_fail_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_destructuring_adt_type_matches_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_destructuring_constant_null_fail_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_constant_number_fail_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_contracts_unsound_dedup_record_contract_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_destructuring_assign_fail_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_destructuring_atbind_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_destructuring_adt_type_mismatch_tag_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_constant_string_fail_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_core_recursive_let_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_destructuring_repeated_ident_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_destructuring_repeated_ident_typed_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_destructuring_default_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_constants_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_contracts_unsound_dedup_dict_contract_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_mismatch_enum_case_in_multiple_types_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_destructuring_type_mismatch_fail_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_mismatch_convert_static_record_type_to_dynamic_tail_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_type_mismatch_field_pattern_fail_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_imports_direct_import_loop_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_destructuring_rest_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_imports_contract_fail_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_imports_imported_contract_fail_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_destructuring_open_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_imports_circular_imports_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_imports_imported_nested_syntax_error1_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_dyn_field_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_destructuring_nested_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_destructuring_type_mismatch_nested_destructuring_fail_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_imports_imported_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_nested_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_imports_imported_circular_imports2_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_imports_imported_typecheck_fail_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_core_functions_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_imports_imported_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_destructuring_mixed_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_missing_nickel_path_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_imports_imported_circular_imports_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_imports_imported_import_parent_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_destructuring_fun_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_imports_imported_serialize_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_imports_imported_two_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_imports_needs_nickel_path_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_imports_nested_syntax_error_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_imports_nested_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_destructuring_typecontract_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_imported_unexpected_token_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_imports_root_path_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_mismatch_rec_record_rec_field_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_imports_imported_nested_syntax_error2_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_imports_static_typing_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_typecheck_fail_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_lib_imported_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_imports_unexpected_token_fail_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_lib_typed_import_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_unexpected_token_buried_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_imports_unexpected_token_in_record_fail_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_imports_serialize_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_infinite_loops_x_eq_y_eq_z_eq_x_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_merging_merge_conflict_inside_metavalue_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_merging_merge_contract_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_infinite_loops_mutually_recursive_functions_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_infinite_loops_x_eq_expr_involving_x_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_parsing_unexpected_token_in_record_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_parsing_unexpected_token_dollar_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_parsing_identifiers_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_imports_yaml_import_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_pattern_matching_contract_blame_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_parsing_unexpected_token_buried_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 pretty::pretty_integration_tests_core_tests_integration_inputs_merging_merge_compose_contract_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_core_fibo_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_pattern_non_bool_guard_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_pattern_matching_or_pattern_vars_mismatch_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_records_cannot_use_dynamic_fields_recursively_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_shallow_type_inference_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_pattern_matching_contracts_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_records_dynamic_field_missing_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_pattern_matching_non_bool_guard_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_records_merge_different_vals_both_force_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_records_merge_different_vals_no_priority_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_unbound_variable_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_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 pretty::pretty_integration_tests_core_tests_integration_inputs_pattern_matching_non_exhaustive_enum_pattern_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_records_merge_nested_different_vals_same_priority_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_records_static_access_missing_field_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_serialization_number_out_of_range_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_records_missing_field_with_contract_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_pattern_matching_non_exhaustive_record_pattern_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_records_merge_nested_different_vals_no_prio_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_parsing_annotations_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_merging_adts_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_merging_priorities_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_merging_array_merge_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_parsing_unbound_record_tail_var_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_unsound_generalization_enum_rows_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_unsound_generalization_monomorphic_id_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_insert_with_opts_existing_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_pattern_matching_guards_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_chaining_dictionary_function_record_dictionary_subtyping_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_records_merge_nested_incompatible_types_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_core_builtins_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_typecheck_basic_algebraic_data_type_mismatch_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_records_record_insert_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_pattern_matching_wildcards_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_array_subtyping_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_basic_typechecking_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_mismatch_in_fun_body_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_parsing_unbound_type_variable_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_enum_match_mismatched_branch_types_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_typecheck_dynamic_record_field_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_algebraic_data_types_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_dynamic_type_error_without_wildcard_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_core_basics_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_chaining_dictionary_function_record_dictionary_subtyping_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_dyn_tail_contract_in_typechecking_mode_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_array_elem_at_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_mismatch_contract_type_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_mismatch_array_multiple_entries_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_dictionary_subtyping_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_forall_inside_row_type_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_higher_rank_eval_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_merging_lazy_propagation_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_mismatch_convert_empty_record_to_dynamic_tail_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_array_typed_entry_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_locally_different_flat_types_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_field_polymorphic_annot_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_enum_row_conflict_poly_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_enum_row_conflict_remove_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_mismatch_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_enum_match_fun_type_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_mismatch_convert_static_record_type_to_dynamic_tail_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_mismatch_rec_record_rec_field_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_mismatch_rec_record_inference_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_enum_row_tags_dont_conflict_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_mismatch_rec_record_field_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_mismatch_enum_poly_row_var_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_mismatch_forall_var_concrete_type_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_mismatch_record_field_type_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_mismatch_record_field_access_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_mismatch_record_dictionary_subtyping_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_mismatch_record_dyn_field_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_pattern_matching_or_patterns_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_extend_closed_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_pattern_not_an_array_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_pattern_or_type_mismatch_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_record_field_name_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_string_number_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_piecewise_signature_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_pattern_array_elem_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_primitive_mismatch_number_bool_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_record_typed_field_path_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_mismatch_record_poly_row_var_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_pattern_non_bool_guard_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_recursive_let_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_stdlib_string_find_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_core_arrays_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_unbound_variable_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_pattern_or_closed_enum_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_stdlib_string_primitives_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_record_row_conflict_extend_ncl ... ok
test pretty::str_vs_strchunks ... 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_shallow_type_inference_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_or_patterns_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_record_row_conflict_poly_shuffled2_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_regression_rrows_unification_loops_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_unannotated_bindings_type_as_dyn_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_destructuring_preserves_types_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_stdlib_record_empty_optional_ops_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_unsound_generalization_record_rows_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_serialization_serialize_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_unsound_generalization_monomorphic_id_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_record_row_conflict_poly_shuffled3_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_typecheck_unsound_generalization_fun_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_record_subtyping_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_record_subtyping_with_tail_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_stdlib_enum_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_pattern_rest_mismatch_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_typecheck_record_dictionary_subtyping_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_stdlib_string_find_all_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_pattern_matching_basics_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_record_subtyping_multiple_components_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_typecheck_or_patterns_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_row_type_unification_variable_mismatch_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_stdlib_record_empty_optional_ops_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_stdlib_maths_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_unannotated_bindings_type_as_dyn_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_pattern_or_type_mismatch_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_core_eq_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_serialization_serialize_package_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_pattern_or_closed_enum_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_core_records_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_strings_symbolic_strings_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_merging_multiple_overrides_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_record_row_conflict_poly_shuffled3_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_record_row_conflict_poly_shuffled2_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_records_record_defs_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_contracts_contracts_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_records_merge_nested_different_vals_prio_0_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_merging_metavalues_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_merging_overriding_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_array_subtyping_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_type_in_term_position_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_pattern_matching_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_record_subtyping_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_record_subtyping_with_tail_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_records_merge_nested_different_vals_same_priority_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_wildcard_apparent_ty_is_dyn_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_pattern_matching_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_serialization_number_out_of_range_ncl ... ok
test contract_label_path::dictionary_contracts_label_path_is_set_correctly ... ok
test check_from_dir_core_tests_integration_inputs_imports_imported_import_parent_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_records_merge_nested_incompatible_types_ncl ... ok
test pretty::pretty_standard_library_core_stdlib_internals_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_stdlib_string_primitives_ncl ... ok
test pretty::negative_numbers ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_strings_symbolic_strings_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_regression_rrows_unification_loops_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_record_subtyping_multiple_components_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_typecheck_record_dictionary_subtyping_ncl ... ok
test pretty::pretty_integration_tests_core_tests_integration_inputs_typecheck_typechecking_ncl ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_serialization_serialize_ncl ... ok
test query::test_query_metadata_basic ... ok
test contract_label_path::array_contracts_label_path_is_set_correctly ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_typechecking_ncl ... ok
test stdlib_typecheck::stdlib_typecheck ... ok
test check_annotated_nickel_file_core_tests_integration_inputs_typecheck_row_type_unification_variable_mismatch_ncl ... ok
test pretty::pretty_standard_library_core_stdlib_std_ncl ... ok
test query::test_query_with_wildcard ... ok

test result: ok. 700 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 10.52s

     Running tests/manual/main.rs (target/debug/deps/manual-7a12e91019636ede)

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.77s

     Running unittests src/main.rs (target/debug/deps/nls-69e6d59270091d91)

running 8 tests
test codespan_lsp::tests::unicode_get_byte_index ... ok
test codespan_lsp::tests::position ... ok
test codespan_lsp::tests::unicode_get_position ... ok
test usage::tests::let_and_var ... ok
test analysis::tests::parent_chain ... ok
test usage::tests::pattern_path ... ok
test usage::tests::record_bindings ... ok
test position::tests::find_pos ... ok

test result: ok. 8 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s

     Running tests/main.rs (target/debug/deps/main-397dc0c4b03d3de3)

running 39 tests
test check_snapshots_lsp_nls_tests_inputs_import_external_format_ncl ... ok
test check_snapshots_lsp_nls_tests_inputs_symbols_basic_ncl ... ok
test check_snapshots_lsp_nls_tests_inputs_symbols_recursion_ncl ... ok
test check_snapshots_lsp_nls_tests_inputs_goto_multiple_ncl ... ok
test check_snapshots_lsp_nls_tests_inputs_completion_nested_ncl ... ok
test check_snapshots_lsp_nls_tests_inputs_completion_array_ncl ... ok
test check_snapshots_lsp_nls_tests_inputs_offsets_ncl ... ok
test check_snapshots_lsp_nls_tests_inputs_goto_cross_file_ncl ... ok
test check_snapshots_lsp_nls_tests_inputs_completion_fun_parameter_contract_ncl ... ok
test check_snapshots_lsp_nls_tests_inputs_hover_stdlib_type_ncl ... ok
test check_snapshots_lsp_nls_tests_inputs_completion_match_ncl ... ok
test check_snapshots_lsp_nls_tests_inputs_hover_cousin_ncl ... ok
test check_snapshots_lsp_nls_tests_inputs_completion_patterns_ncl ... ok
test check_snapshots_lsp_nls_tests_inputs_goto_recursive_ncl ... ok
test check_snapshots_lsp_nls_tests_inputs_formatting_ncl ... ok
test check_snapshots_lsp_nls_tests_inputs_completion_dict_ncl ... ok
test check_snapshots_lsp_nls_tests_inputs_goto_basic_ncl ... ok
test check_snapshots_lsp_nls_tests_inputs_hover_basic_ncl ... ok
test check_snapshots_lsp_nls_tests_inputs_completion_field_disambiguation_ncl ... ok
test check_snapshots_lsp_nls_tests_inputs_import_invalidation_ncl ... ok
test check_snapshots_lsp_nls_tests_inputs_rename_ncl ... ok
test check_snapshots_lsp_nls_tests_inputs_goto_record_ncl ... ok
test check_snapshots_lsp_nls_tests_inputs_hover_pattern_ncl ... ok
test check_snapshots_lsp_nls_tests_inputs_goto_pattern_ncl ... ok
test check_snapshots_lsp_nls_tests_inputs_goto_scoping_ncl ... ok
test check_snapshots_lsp_nls_tests_inputs_hover_field_typed_block_regression_1574_ncl ... ok
test check_snapshots_lsp_nls_tests_inputs_hover_pattern_typed_ncl ... ok
test check_snapshots_lsp_nls_tests_inputs_completion_basic_ncl ... ok
test check_snapshots_lsp_nls_tests_inputs_completion_incomplete_ncl ... ok
test check_snapshots_lsp_nls_tests_inputs_completion_match_typed_ncl ... ok
test check_snapshots_lsp_nls_tests_inputs_diagnostics_typecheck_ncl ... ok
test check_snapshots_lsp_nls_tests_inputs_diagnostics_undefined_fields_ncl ... ok
test apply_client_options ... ok
test check_snapshots_lsp_nls_tests_inputs_diagnostics_array_ncl ... ok
test check_snapshots_lsp_nls_tests_inputs_diagnostics_recursion_ncl ... ok
test check_snapshots_lsp_nls_tests_inputs_diagnostics_basic_ncl ... ok
test check_snapshots_lsp_nls_tests_inputs_goto_perf_ncl ... ok
test refresh_missing_imports ... ok
test reload_broken_imports ... ok

test result: ok. 39 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.63s

     Running unittests src/lib.rs (target/debug/deps/nickel_lang_utils-79953b869b4a55ee)

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-e39d60f2c78144a0)

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-3947264322489abb)

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 225) ... ok
test core/src/typ.rs - typ::TypeF (line 196) ... ok
test core/src/typ.rs - typ::TypeF (line 206) ... ok
test core/src/term/mod.rs - term::match_sharedterm (line 2520) ... ok
test core/src/term/mod.rs - term::match_sharedterm (line 2509) ... ok
test core/src/term/make/builder.rs - term::make::builder (line 5) ... ok

test result: ok. 6 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 3.14s

   Doc-tests nickel_lang_utils

running 1 test
test utils/src/project_root.rs - project_root::project_root (line 4) ... ok

test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 4.05s

   Doc-tests nickel_wasm_repl

running 0 tests

test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s

   Doc-tests pyckel

running 0 tests

test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s

>>> nickel: Entering fakeroot...
>>> nickel-doc*: Running split function doc...
'usr/share/doc' -> '/home/buildozer/aports/community/nickel/pkg/nickel-doc/usr/share/doc'
>>> nickel-doc*: Preparing subpackage nickel-doc...
>>> nickel-doc*: Running postcheck for nickel-doc
>>> nickel-language-server*: Running split function _langserver...
'usr/bin/nls' -> '/home/buildozer/aports/community/nickel/pkg/nickel-language-server/usr/bin/nls'
>>> nickel-language-server*: Preparing subpackage nickel-language-server...
>>> nickel-language-server*: Stripping binaries
>>> nickel-language-server*: Running postcheck for nickel-language-server
>>> nickel*: Running postcheck for nickel
>>> nickel*: Preparing package nickel...
>>> nickel*: Stripping binaries
>>> nickel-doc*: Scanning shared objects
>>> nickel-language-server*: Scanning shared objects
>>> nickel*: Scanning shared objects
>>> nickel-doc*: Tracing dependencies...
>>> nickel-doc*: Package size: 181.2 KB
>>> nickel-doc*: Compressing data...
>>> nickel-doc*: Create checksum...
>>> nickel-doc*: Create nickel-doc-1.8.1-r1.apk
>>> nickel-language-server*: Tracing dependencies...
	so:libc.musl-aarch64.so.1
	so:libgcc_s.so.1
>>> nickel-language-server*: Package size: 5.9 MB
>>> nickel-language-server*: Compressing data...
>>> nickel-language-server*: Create checksum...
>>> nickel-language-server*: Create nickel-language-server-1.8.1-r1.apk
>>> nickel*: Tracing dependencies...
	so:libc.musl-aarch64.so.1
	so:libgcc_s.so.1
>>> nickel*: Package size: 8.0 MB
>>> nickel*: Compressing data...
>>> nickel*: Create checksum...
>>> nickel*: Create nickel-1.8.1-r1.apk
>>> nickel: Build complete at Fri, 29 Nov 2024 21:48:53 +0000 elapsed time 0h 8m 37s
>>> nickel: Cleaning up srcdir
>>> nickel: Cleaning up pkgdir
>>> nickel: Uninstalling dependencies...
(1/18) Purging .makedepends-nickel (20241129.214017)
(2/18) Purging cargo-auditable (0.6.6-r0)
(3/18) Purging python3-pyc (3.12.7-r1)
(4/18) Purging python3-pycache-pyc0 (3.12.7-r1)
(5/18) Purging pyc (3.12.7-r1)
(6/18) Purging python3 (3.12.7-r1)
(7/18) Purging cargo (1.83.0-r0)
(8/18) Purging rust (1.83.0-r0)
(9/18) Purging gdbm (1.24-r0)
(10/18) Purging libbz2 (1.0.8-r6)
(11/18) Purging libpanelw (6.5_p20241006-r3)
(12/18) Purging llvm19-libs (19.1.4-r0)
(13/18) Purging mpdecimal (4.0.0-r0)
(14/18) Purging scudo-malloc (19.1.4-r0)
(15/18) Purging sqlite-libs (3.47.1-r0)
(16/18) Purging libffi (3.4.6-r0)
(17/18) Purging libxml2 (2.13.4-r3)
(18/18) Purging xz-libs (5.6.3-r0)
Executing busybox-1.37.0-r8.trigger
OK: 397 MiB in 103 packages
>>> nickel: Updating the community/aarch64 repository index...
>>> nickel: Signing the index...