nickel 1.0.0

[chenrui333]

Created by brew bump

---

Created with brew bump-formula-pr.

release notes

Version 1.0
===========
This is the 1.0 release! The syntax and the semantics of the core language have

been stabilized and shouldn't evolve as much in the future.

The core semantics of the language have been reworked and stabilized, in

particular (but not limited to) merging, types and contracts with the

implementation of RFC005
The stdlib has been augmented with many new functions
Parts of the syntax and some builtin symobls (types, stdlib functions, and so

on) have been improved and made consistent
New features for the LSP, and in particular code completion

Breaking changes

Various functions from the stdlib have been renamed for better discoverability,

and the stdlib got a lot of new additions. Please refer to the documentation

of the stdlib.
String functions are now unicode-aware, and operate on the Unicode grapheme

cluster abstraction instead of the character abstraction (string.length,

string.is_match, etc.)
The switch keyword has been replaced by match, and can now be used as a

standalone function (doesn't need to be applied right away)
The Num and Str builtin types have been renamed to Number and String by @yannham in Long names for Str, Num, related functions and modules tweag/nickel#1164
The num and str stdlib modules have been renamed to number and string
The builtin.typeof function now returns 'Number, 'String, 'Function

instead of respectively 'Num, 'Str, and 'Fun
The builtin.is_num, builtin.is_str and builtin.to_str functions have been

renamed to is_number, is_string and to_string
The string.to_num and string.from_num functions have been renamed to

to_number and from_number
All the stdlib modules array, string, record, etc. have been put

under a std namespace. They must now be accessed as std.array,

std.string and so on.
RFC005 was implemented, which changes the semantics of contract annotations

and merging. See the RFC

content

for more details. Most notably, metadata annotation (default values,

optional, documentation, etc.) can only appear next to a record field.

Contract and type annotations can still appear anywhere. Documentation can

still appear on let-bindings.
Use static dictionary types for record.fields and record.values by @matthew-healy in Use static dictionary types for record.fields and record.values tweag/nickel#1024
Make type annotations to not propagate through merging by @yannham in Make type annotations to not propagate through merging tweag/nickel#1271
Change to dictionary contracts and introduction of a separate dictionary contract (in addition to dictionary type):

Fix dictionary contract semantics by @vkleen in Fix dictionary contract semantics tweag/nickel#1141
Introduce dictionary contracts by @yannham in Introduce dictionary contracts tweag/nickel#1272


Stdlib string.Stringingable -> string.Stringable by @vkleen in Stringingable -> Stringable tweag/nickel#1180
Fix the type of array.elem by @yannham in Fix the type of array.elem and the mantis benchmark tweag/nickel#1223
Change the enum tag start delimiter from backtick to single-quote by @vkleen in Change the enum tag start delimiter from backtick to single-quote tweag/nickel#1279
import is now a statement, import "foo.ncl" arg1 arg2 requires parenthesis now: (import "foo.ncl") arg1 arg2, see Convert import to statement instead of pseudo-fun tweag/nickel#1293

Language features

Symbolic strings by @matthew-healy in Symbolic strings tweag/nickel#994
[RFC005] Lazy propagation by @yannham in [RFC005] Lazy propagation tweag/nickel#1086
Non-exported record fields by @vkleen in Non-exported record fields tweag/nickel#1132
Enrich label custom reporting data by @yannham in Enrich label custom reporting data tweag/nickel#1152
Use type annotations in record patterns during typechecking by @matthew-healy in Use type annotations in record patterns during typechecking tweag/nickel#1176
Use arbitrary precision rationals as the underlying representation of numbers by @yannham in Use arbitrary precision rationals as the underlying representation of numbers tweag/nickel#1182
Allow equal arrays to be merged in order to make merge idempotent by @yannham in Implement array merging, take II tweag/nickel#1229
Use deterministic hashtables, making runtime errors and typechecking error deterministic by @yannham in Use deterministic hashtables tweag/nickel#1235

Stdlib

Add a %trace% primop (and std.trace function) by @vkleen in Add a %trace% primop tweag/nickel#1055
Add std.contract.Equal contract to the stdlib by @yannham in Add Equal contract to the stdlib tweag/nickel#1203

Tooling

Display meta information when providing completion in Display meta information when providing completion - Rebase by Julien tweag/nickel#966
LSP completion for import terms by @ebresafegaga in LSP completion for import terms tweag/nickel#993
Fix LSP server not giving completion when a non-contract meta-information is present in a declaration by @ebresafegaga in Fix LSP server not giving completion when a non-contract meta-information is present in a declaration tweag/nickel#991
Fix LSP not giving completion when an identifier is prefixed by a delimiting character by @ebresafegaga in Fix LSP not giving completion when an identifier is prefixed by a delimiting character tweag/nickel#1043
Improve the "goto definition" feature of the LSP by making it work across multiple files by @ebresafegaga in Improve the "goto definition" feature of the LSP by making it work across multiple files tweag/nickel#1029
Add --color option to the CLI by @matthew-healy in Add --color option tweag/nickel#1033
Make the "find references" feature of the LSP work across multiple files by @ebresafegaga in Make the "find references" feature of the LSP work across multiple files tweag/nickel#1037
Add support for LSP completion using the surrounding context by @ebresafegaga (context completion) in Add support for LSP completion using the surrounding context tweag/nickel#1057
Support completion for field names inside recursive records. by @ebresafegaga in Support completion for field names inside recursive records. tweag/nickel#1088
Improve contract violation error reporting by @ebresafegaga in Improve contract violation error UX tweag/nickel#1139
Add a JSON documentation export option by @vkleen in Add a JSON documentation export option tweag/nickel#1209
Add support for formatting capabilities to the LSP by @ebresafegaga in Add support for formatting capabilities to the LSP tweag/nickel#1216

[github-actions]

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