release/0.5.26

What's Changed

Major fixes:

• Fix for preserving type identities during merge.
• Fix to LCA calculation that was misclassifying some fast-forward merges as regular merges.
• Fix an issue where run after update would mysteriously run out-of-date code.

New features:

• Add operator precedence rules
• Add namespace directive #5285.
• Binary numeric literals (e.g. 0b101 == 5), though all numeric literals still render as decimal on viewing/editing..
• Revive the debug.find.global and debug.names.global commands.

Minor fixes:

• Organize the scratch file better on incomplete update.
• Fix kind-checking bug that didn't treat ability sets as an ability.
• In patterns, identifiers starting with upper case are now treated as constructors instead of variables.
• Change name resolution rules so that the suffix of a name in the file no longer shadows an exact match in the codebase.
• Support subnamespaces that start with _.
• Fix more bugs in transcript parser.
• Bugfix for unused binding detection in LSP.
• Tweak some error messages.
• Fix a configuration bug that prevented Unison Local from launching on Windows.
• Improve transcript runner output.

All Changes Since Last Release

• Don't limit max line length on .u scratch files by @ceedubs in #5242
• Ensure transcript parser consumes entire stanzas by @sellout in #5251
• Update scheme-libs Readme.md & add .gitignore by @neduard in #5238
• Add FromJSON for Display Object for definition search by @ChrisPenner in #5254
• [bugfix] permit empty matches by @tstat in #5256
• Revive debug.find.global and debug.names.global by @ChrisPenner in #5258
• tweak output messages by @aryairani in #5262
• Fix unused-binding-detection in case patterns by @ChrisPenner in #5265
• move /nix to /mnt/nix on Linux workflow by @aryairani in #5264
• feat/bugfix: on failed update, put dependents below definitions that were in file before running update by @mitchellwrosen in #5250
• doc2 is a parser in lexer’s clothing by @sellout in #5187
• Add transcripts for some already-fixed issues by @sellout in #5252
• feat/refactor: 3-way diff API by @mitchellwrosen in #5257
• Definition Diffs: Only emit annotation changes for hash changes by @ChrisPenner in #5269
• clear latestTypecheckedFile on update by @aryairani in #5270
• Fix non-deterministic sorting of rows in transcripts by @ChrisPenner in #5275
• feat/refactor: add merge api by @mitchellwrosen in #5259
• merge API tweaks by @mitchellwrosen in #5277
• feat: namespace directive by @mitchellwrosen in #5285
• Change handling of “blank” identifiers by @sellout in #5282
• Fix UI on Windows by @puffnfresh in #5288
• Support pattern matching on empty types by @sellout in #5298
• Turn a possible “impossible” into a parse failure by @sellout in #5297
• Fix dev-ui-install.sh by @sellout in #5291
• Add infix operator precedence rules by @runarorama in #5273
• Kill Configurator by @ChrisPenner in #5299
• Term name resolution change by @mitchellwrosen in #5296
• bugfix: don't prefer the unison file for name suffixes by @mitchellwrosen in #5276
• Numbers binary notation by @SimaDovakin in #5294
• Add a transcript to show that #4711 has been fixed by @sellout in #5292
• bugfix: not-found or ambiguous constructor treated as var by @mitchellwrosen in #5303
• Remove Sync22 by @ChrisPenner in #5014
• bugfix: fix suffixification logic in update by @mitchellwrosen in #5311
• Split off unison-runtime package by @ChrisPenner in #5308
• caught a few more unused packages by @aryairani in #5318
• temporarily disable failing Nix workflow by @aryairani in #5316
• temporarily disable Nix development cache workflow by @aryairani in #5319
• always print df output in nix workflow by @aryairani in #5314
• bugfix: make the term parser consider lower.Upper a constructor by @mitchellwrosen in #5321
• Fixes #5293: Generate IsAbility constraint for ability sets by @tstat in #5300
• Improve transcript runner output by @sellout in #5290
• bugfix: fix suffixification logic in upgrade by @mitchellwrosen in #5324
• bugfix: fix lca query by @mitchellwrosen in #5327
• bugfix: reuse unique type guids on merge conflicts by @mitchellwrosen in #5332

New Contributors

• @puffnfresh made their first contribution in #5288
• @SimaDovakin made their first contribution in #5294

Full Changelog: release/0.5.25...release/0.5.26