nickel 1.8.0

[BrewTestBot]

Created by brew bump

---

Created with brew bump-formula-pr.

release notes

Version 1.8 (2024-09-09)
========================
After a summer break, the team is happy to release Nickel 1.8!
This release ships with an important rework of the contract system, and in particular the interface of custom contracts. The new system is more intuitive for users implementing their own contracts, and makes it possible to use a limited form of boolean logic on contracts that have been added to the stdlib (std.contract.one_of, std.contract.all_of, std.contract.not,

std.contract.check).
We advise reading the updated manual section on writing custom contracts and to migrate your custom contracts to take advantage of the simplification of the interface and those new operators. Most custom contracts can likely be implemented as validators (see std.contract.from_validator).
The contract system rework is backward compatible and existing custom contracts will continue to work as before. Though in the future, Nickel will probably emit a warning of deprecation when a custom contract is defined as a naked function instead of using one of the new contract constructors.
A limited form of subtyping has been added in 1.8 as well, making it easier to use records as dictionaries in statically typed code. A new paragraph has been added to the typing chapter of the manual accordingly.
Breaking changes

Formatting: to better accommodate the new contract system, the formatting of

function applications and definitions have been changed. To avoid a large,

irrelevant diff on your next commits, we advise formatting your whole

codebase first after upgrading to 1.8 in a separate commit.

Core language

Contract system rework:

Do not evaluate types away by @yannham in Do not evaluate types away tweag/nickel#1954
Add a contract node to the AST by @yannham in Add a contract node to the AST tweag/nickel#1955
Add dedicated node and constructor for general custom contracts by @yannham in Add dedicated node and constructor for general custom contracts tweag/nickel#1964
Introduce validators for building custom contracts by @yannham in Introduce validators for building custom contracts tweag/nickel#1970
Split contracts into an immediate part and a delayed part by @yannham in Split contracts into an immediate part and a delayed part tweag/nickel#1975
Re-introduce unified representation for custom contracts, migrate builtin contracts by @yannham in Re-introduce unified representation for custom contracts, migrate builtin contracts tweag/nickel#1987


Allow some function equality comparison by @yannham in Allow some function equality comparison tweag/nickel#1978
Dictionary subtyping:

Add a subsumption rule between record types and dictionary types by @Eckaos in Add a subsumption rule between record types and dictionary types tweag/nickel#1977
Add array constructor to subsumption rule by @Eckaos in adding array constructor to subsumption rule tweag/nickel#1991
Add dictionary constructor to subsumption rule by @Eckaos in Adding dictionary constructor to subsumption rule tweag/nickel#1998
Add record constructor to subtyping by @Eckaos in Add record constructor to subtyping tweag/nickel#2007


Add record/split_pair and record/disjoint_merge by @yannham in Add record/split_pair and record/disjoint_merge tweag/nickel#1982
Optimize std.contract.Equal using %record/split_pair% by @yannham in Optimize std.contract.Equal using %record/split_pair% tweag/nickel#1988
[Optimization] Cache contract generation and pre-compile some match expression by @yannham in [Optimization] Cache contract generation and pre-compile some match expression tweag/nickel#2013
Fix and improve contract generation optimization for static types by @yannham in Fix and improve contract generation optimization for static types tweag/nickel#2017

Stdlib

Comparisons for number, string, array, and record by @jeremyschlatter in Comparisons for number, string, array, and record tweag/nickel#1985
Add boolean contract combinators to the stdlib by @yannham in Add boolean contract combinators to the stdlib tweag/nickel#1995
Add short-circuiting fold_left by @jneem in Add short-circuiting fold_left tweag/nickel#2000
Add trigonometric functions, pi, e and log to the number module by @Hugal31 in Add trigonometric functions, pi, e and log to the numbers module tweag/nickel#2006

Documentation

Pass on the contract chapter of the manual by @yannham in [Doc] Pass on the contract chapter of the manual tweag/nickel#1999
Adding documentation for subtyping by @Eckaos in Adding documentation for subtyping tweag/nickel#1990

LSP

Combine metadata for completion items instead of choosing arbitrarily. by @jneem in Combine metadata for completion items instead of choosing arbitrarily. tweag/nickel#1940
Don't blacklist files forever by @thufschmitt in Don't blacklist files forever in the lsp tweag/nickel#1973
Make the LSP configurable by @thufschmitt in Make the LSP configurable tweag/nickel#1974
More aggressive type/contract deduplication on hover by @jneem in More aggressive type/contract deduplication on hover tweag/nickel#1984

Tooling

Add span information for TOML imports by @yannham in Add span information for TOML imports tweag/nickel#1949
Update to latest topiary-queries (formatting) by @yannham in Update to latest topiary-queries (formatting) tweag/nickel#2032

New Contributors

@Eckaos made their first contribution in Add a subsumption rule between record types and dictionary types tweag/nickel#1977
@jeremyschlatter made their first contribution in flake: remove redundant transitive dependencies tweag/nickel#1986
@Hugal31 made their first contribution in Add trigonometric functions, pi, e and log to the numbers module tweag/nickel#2006

Full Changelog: tweag/nickel@1.7.0...1.8.0

[github-actions]

🤖 An automated task has requested bottles to be published to this PR.