unison

Commits

• 24b5aa5: Added precedence rules to term parser (Rúnar) #5273
• 9d4e2eb: Cleanup (Rúnar) #5273
• 8efd8d5: Add comments (Rúnar) #5273
• 7012cc4: Proper algorithm for reassociation (Rúnar) #5273
• 8736c4a: Comments (Rúnar) #5273
• b92dede: Improve comments (Rúnar) #5273
• 725ee3b: Modify infix printer (Rúnar) #5273
• d43288a: Adapt old infix printer to new rules (Rúnar) #5273
• 1470085: Get rid of confusing precedence levels (Rúnar) #5273
• 2998137: Transcripts (Rúnar) #5273
• 3e89640: transcripts (Rúnar) #5273
• f48880f: More parens for do blocks (Rúnar) #5273
• b64ac8b: Get rid of commented-out code (Rúnar) #5273
• 3e40cb1: Add roundtrip tests (Rúnar) #5273
• 4c166f0: Add exponentiation operators (Rúnar) #5273
• da75484: Merge branch 'trunk' of https://github.com/unisonweb/unison into precedence (Rúnar) #5273
• c8414eb: Simpler infix printer (Rúnar) #5273
• eefacbf: Remove comments (Rúnar) #5273
• 8a70414: More parens around do blocks (Rúnar) #5273

Commits

• d242ae9: Fix UI on Windows (Brian McKenna) #5288
• a7a80c9: Add puffnfresh to contributors (Brian McKenna) #5288

Commits

• 032e360: Add some transcripts that should error, but don’t (Greg Pfeil) #5251
• bd4c204: Ensure transcript parser consumes entire stanzas (Greg Pfeil) #5251

What's Changed

• Non-project code has been migrated to a project called legacy (or similar, if that name was already taken)
  • absolute paths are now relative to the root of your project.
  • more commands now accept paths/names from other branches in the form /branch:path.in.project
  • new reflog commands:
    • reflog/branch.reflog/reflog.branch shows the changes for the current branch
    • project.reflog/reflog.project shows changes to any branches in the current project
    • reflog.global shows changes across all projects
    • deprecated.root-reflog will show the reflog you had prior to the migration.
  • reset #hash can be used to reset the current branch to the hash you got from one of the reflog commands.
  • undo rewinds one node of history on the current branch, and will no longer cause any corruption or weirdness 😅🎉
• We replaced our custom pseudo-markdown parser for transcripts with a better, off-the-shelf one
• Misc message and speed improvements

All PRs since last release

• Nix support for GHC upgrade by @sellout in https://github.com/unisonweb/unison/pull/5155
• Replace transcript parser with cmark by @sellout in https://github.com/unisonweb/unison/pull/5204
• Use pretty text in MsgTrace case of debug toText by @dolio in https://github.com/unisonweb/unison/pull/5210
• Project Roots by @ChrisPenner in https://github.com/unisonweb/unison/pull/5041
• Remove NoSync versions of root branch primitives by @ChrisPenner in https://github.com/unisonweb/unison/pull/5057
• Use builtin reference names in foreign decompiling by @dolio in https://github.com/unisonweb/unison/pull/5216
• Fix unused binding annotations by @ChrisPenner in https://github.com/unisonweb/unison/pull/5218
• Keep most recent path and branches through migration to version 17 by @ChrisPenner in https://github.com/unisonweb/unison/pull/5220
• Don't evaluate the unison file if there are no watch expressions. by @ChrisPenner in https://github.com/unisonweb/unison/pull/5223
• Speed up watch expression eval by @ChrisPenner in https://github.com/unisonweb/unison/pull/5226
• Merge newest trunk in "Upgrade to LTS 22.26 GHC 9.6.5" by @neduard in https://github.com/unisonweb/unison/pull/5224
• Upgrade to LTS 22.26 GHC 9.6.5 by @ChrisPenner in https://github.com/unisonweb/unison/pull/5142
• Pin Haskell tool versions for VS Code by @sellout in https://github.com/unisonweb/unison/pull/5228
• Silence some Stack complaints by @sellout in https://github.com/unisonweb/unison/pull/5231
• Avoid duplicating YAML info in Markdown by @sellout in https://github.com/unisonweb/unison/pull/5227
• Support native compilation on non-GNU Unix systems by @neduard in https://github.com/unisonweb/unison/pull/5237
• Reformat all Haskell code by @sellout in https://github.com/unisonweb/unison/pull/5239
• Remove now-unused sync types by @ChrisPenner in https://github.com/unisonweb/unison/pull/5230
• Add cachix to the Nix devShell by @sellout in https://github.com/unisonweb/unison/pull/5233
• Refactor transcript parser by @sellout in https://github.com/unisonweb/unison/pull/5235
• Document Nix cache configuration by @sellout in https://github.com/unisonweb/unison/pull/5232
• Remove reset-root, fix docs for reset by @ChrisPenner in https://github.com/unisonweb/unison/pull/5243
• Update JIT generation template in ci.yaml by @neduard in https://github.com/unisonweb/unison/pull/5240
• branch.reflog -> reflog by @ChrisPenner in https://github.com/unisonweb/unison/pull/5244

Full Changelog: https://github.com/unisonweb/unison/compare/release/0.5.24...release/0.5.25

Commits

• 0582617: Remove reset-root, fix docs for reset (Chris Penner) #5243
• 6e6c0ab: automatically run ormolu (ChrisPenner) #5243
• 5bedaf3: Update transcripts (Chris Penner) #5243

What's Changed

• fix an issue with merge that cause false positives for conflicts (https://github.com/unisonweb/unison/pull/5194)
• updated todo command to show issues with the current branch
• add numbered results to test, io.test and io.test.all
• improve various CLI command error messages
• fix an LSP issue with hovering over names ending in !
• improve LSP completion sorting
• add unused binding warnings to the LSP

All PRs Since Last Release

• fix: fix the textual representation of an ordinal number by @etorreborre in https://github.com/unisonweb/unison/pull/5135
• feat: add alias.term.force by @mitchellwrosen in https://github.com/unisonweb/unison/pull/5118
• port old merge transcripts by @mitchellwrosen in https://github.com/unisonweb/unison/pull/5138
• Add numbered results to test, io.test, and io.test.all by @sellout in https://github.com/unisonweb/unison/pull/5140
• feat: add debug.alias.type.force by @mitchellwrosen in https://github.com/unisonweb/unison/pull/5139
• Group test results by definition by @sellout in https://github.com/unisonweb/unison/pull/5144
• Use projects in transcripts by @ChrisPenner in https://github.com/unisonweb/unison/pull/5078
• JIT Infrastructure for continuation serialization by @dolio in https://github.com/unisonweb/unison/pull/5152
• don't output nothing when there's nothing to do by @mitchellwrosen in https://github.com/unisonweb/unison/pull/5147
• port old merge transcripts by @mitchellwrosen in https://github.com/unisonweb/unison/pull/5146
• refactor: merge unison-util-nametree into unison-core1 by @mitchellwrosen in https://github.com/unisonweb/unison/pull/5174
• Include trailing '!' in identifier names for hover by @ChrisPenner in https://github.com/unisonweb/unison/pull/5175
• Port more transcripts to projects by @ChrisPenner in https://github.com/unisonweb/unison/pull/5172
• Improve various CLI command error messages by @sellout in https://github.com/unisonweb/unison/pull/5054
• move pretty-print helpers out of CommandLine.hs by @aryairani in https://github.com/unisonweb/unison/pull/5180
• Improve LSP completion sorting by @ChrisPenner in https://github.com/unisonweb/unison/pull/5182
• fix merge error, and use makeExample more by @aryairani in https://github.com/unisonweb/unison/pull/5185
• Adds unused binding warnings to the LSP by @ChrisPenner in https://github.com/unisonweb/unison/pull/5186
• Unused binding detection cleanup by @ChrisPenner in https://github.com/unisonweb/unison/pull/5188
• avoid numeric vs textual clash in args length error by @aryairani in https://github.com/unisonweb/unison/pull/5192
• bugfix: synhash var debruijn indices, not names by @mitchellwrosen in https://github.com/unisonweb/unison/pull/5194
• Use SyntaxText.Unit as style for foo() by @pchiusano in https://github.com/unisonweb/unison/pull/5195
• feat: report merge precondition violations in todo by @mitchellwrosen in https://github.com/unisonweb/unison/pull/5177

Full Changelog: https://github.com/unisonweb/unison/compare/release/0.5.23...release/0.5.24

Commits

• e656aa8: Be explicit about various CLI command failures (Greg Pfeil) #5054
• 565da6d: Include help output on all CLI command failures (Greg Pfeil) #5054
• 9691a80: Improve CLI shared error message (Greg Pfeil) #5054
• 23fe24c: Improve a few more CLI input error messages (Greg Pfeil) #5054
• 532236b: Merge remote-tracking branch 'upstream/trunk' into better-CLI-error-messages (Greg Pfeil) #5054
• f14fca0: Merge branch 'trunk' into better-CLI-error-messages (Greg Pfeil) #5054
• 38a73da: switch Left to Right on help outputs; add draft transcripts (Arya Irani) #5054
• 39179a3: switch Left to Right on help outputs; add draft transcripts (#1) (Greg Pfeil) #5054
• 4bbbc8c: move pretty-print helpers out of CommandLine.hs (Arya Irani) #5180
• 111fc5e: Fix shared CLI error message (Greg Pfeil) #5054
• 67399e9: Make CLI error messages more consistent (Greg Pfeil) #5054
• 41a0da8: Fix formatting of an error message (Greg Pfeil) #5054
• a7f1c24: Update transcript outputs (Greg Pfeil) #5054
• 0e76597: Merge remote-tracking branch 'upstream/trunk' into better-CLI-error-messages (Greg Pfeil) #5054
• 81f9458: Remove a help message from an error (Greg Pfeil) #5054
• ddbfb35: Remove another warning flag from a message (Greg Pfeil) #5054
• deaf355: Improve LSP completion sorting (Chris Penner) #5182
• 8be432b: change a punctuation (Arya Irani) #5054
• e102b0d: fix compile error and use makeExample more (Arya Irani) #5185

What's changed

• fixes sleep bug in Unison programs #3957
• fixes regression with switch
• updates todo command, now prints name conflicts, one level of missing names, and usages of todo ... in your project
• fixes merge bug which silently created unnamed dependencies #5092
• fixes merge bug involving constructor deletion
• fixes ability list roundtrip bug #4683
• fixes doc round trip bugs #4476, #4729
• supports docs.to-html at the branch root, using the same syntax as the fork command
• hides patches from ls as part of their continuing deprecation
• fixes typechecking bugs #5129, #3513
• !foo now renders as foo() in Unison source

All PRs since last release

• Update ormolu.yaml by @aryairani in https://github.com/unisonweb/unison/pull/5103
• Update ormolu.yaml by @aryairani in https://github.com/unisonweb/unison/pull/5104
• Implement custom Word64 delay by @dolio in https://github.com/unisonweb/unison/pull/5102
• updating tj-actions/changed-files to v44 by @aryairani in https://github.com/unisonweb/unison/pull/5105
• bugfix: switch to most recent branch by @mitchellwrosen in https://github.com/unisonweb/unison/pull/5100
• bugfix: merge involving constructor deletion by @mitchellwrosen in https://github.com/unisonweb/unison/pull/5110
• Remove the Convert and Parse type classes by @sellout in https://github.com/unisonweb/unison/pull/5115
• Improve Haddock for Path and Name by @sellout in https://github.com/unisonweb/unison/pull/5109
• drop branch filter for CI runs by @aryairani in https://github.com/unisonweb/unison/pull/5113
• bugfix: don't emit virtual semis inside { or [ by @mitchellwrosen in https://github.com/unisonweb/unison/pull/5117
• Fix roundtrip bug when sub-docs contain headings by @neduard in https://github.com/unisonweb/unison/pull/5120
• Fix roundtrip bug in Bytes.splitAt.doc by @neduard in https://github.com/unisonweb/unison/pull/5121
• Support branch-relative paths for docs.to-html by @sellout in https://github.com/unisonweb/unison/pull/5111
• Improve some lexer error messages by @sellout in https://github.com/unisonweb/unison/pull/5108
• feat: hide patches from ls output by @mitchellwrosen in https://github.com/unisonweb/unison/pull/5123
• feat: (partially) revamp todo by @mitchellwrosen in https://github.com/unisonweb/unison/pull/5107
• add transcript that demonstrates bug in merge by @mitchellwrosen in https://github.com/unisonweb/unison/pull/5130
• Prefer foo() to !foo by @pchiusano in https://github.com/unisonweb/unison/pull/5114
• GHC 964 Fixes by @neduard in https://github.com/unisonweb/unison/pull/5106
• Don't relax type when doing an instantiateL during subtyping by @dolio in https://github.com/unisonweb/unison/pull/5133
• feat: show dependents of todo (builtin) in todo (command) output by @mitchellwrosen in https://github.com/unisonweb/unison/pull/5124

Full Changelog: https://github.com/unisonweb/unison/compare/release/0.5.22...release/0.5.23

Commits

• f4f55b9: Support branch-relative paths for docs.to-html (Greg Pfeil) #5111
• 3a9e8e5: Test that docs.to-html actually writes files (Greg Pfeil) #5111

Commits

• don't emit virtual semis inside { or [ #5117 (Mitchell Rosen)

What's Changed

Features:

• new command merge.commit (analogous to upgrade.commit). UCM will remind you about it when you run the merge command.

• ucm transcript now auto-creates a projects given in the transcript prompt:

    Using `project.create-empty` not necessary in this transcript:
  
    ```ucm
    demo-project/main> ls
    ```
  

Fixed Bugs:

• ls wasn't working right with numbered args
• edit.namespace was printing record accessors as standalone definitions
• push error messages were previously not being displayed
• updating and deleting aliases erroneously tripped “conflicted alias” error during merge
• improved some error messages for push & merge

All PRs since last release

• format trunk with ormolu 0.5.2.0 by @github-actions in https://github.com/unisonweb/unison/pull/5051
• Convert ShallowListEntry in InputPattern handlers by @sellout in https://github.com/unisonweb/unison/pull/5056
• Improve ls with numbered arg behavior by @sellout in https://github.com/unisonweb/unison/pull/5061
• bugfix: show push error messages by @mitchellwrosen in https://github.com/unisonweb/unison/pull/5065
• bugfix: updating and deleting aliases erroneously tripped "conflicted alias" merge precondition by @mitchellwrosen in https://github.com/unisonweb/unison/pull/5067
• tweak: make edit.namespace not render record accessors by @mitchellwrosen in https://github.com/unisonweb/unison/pull/5068
• Create issue templates by @aryairani in https://github.com/unisonweb/unison/pull/5064
• Update merge precondition message: Conflicted aliases by @aryairani in https://github.com/unisonweb/unison/pull/5070
• fix conflicted alias message 2 by @aryairani in https://github.com/unisonweb/unison/pull/5071
• Auto-create project-branches referenced in transcript prompts by @ChrisPenner in https://github.com/unisonweb/unison/pull/5077
• feat: add merge.commit command by @mitchellwrosen in https://github.com/unisonweb/unison/pull/4986
• Remove no longer necessary special setup instructions for Mac Silicon by @neduard in https://github.com/unisonweb/unison/pull/5087

New Contributors

• @neduard made their first contribution in https://github.com/unisonweb/unison/pull/5087

Full Changelog: https://github.com/unisonweb/unison/compare/release/0.5.21...release/0.5.22

Commits

• 815c1b1: Auto-create project-branches referenced in transcript prompts (#5077) (Chris Penner) #5077

Commits

• 3c197c5: Use a project in fix5055 transcript (Greg Pfeil) #5061
• ce33057: Refine Path-prefixing operations (Greg Pfeil) #5061
• 24ff8b5: Show that you can’t ls the results of ls (Greg Pfeil) #5061
• e32138c: Treat Name as Path' in InputPattern handlers (Greg Pfeil) #5061

What's changed

Fun stuff 🎉

• This release introduces a much improved merge and pull algorithm. The experience is similar to update or upgrade - if there are conflicts (or if the result doesn't typecheck), you are given a scratch file to get compiling. This is very new; let us know you run into any issues!
• The new upgrade.commit command will merge and remove the temporary branch created during an upgrade that required manual intervention. An analogous merge.commit will be in an upcoming release.
• A new lib.install command replaces the use of pull for installing libraries. Usage: lib.install @unison/base/releases/latest and use help lib.install for details.

Important deprecations 🪦

• UCM can no longer push or pull the old Git-based Unison codebases. Use UCM 0.5.20 or earlier to migrate them to Unison Share!

Lovely bugfixes 🐞

• A bug was causing delete.namespace to sometimes remove the last names for things without any warning. (4988)
• A bug was causing some commands to work off of an out-of-date namespace. (5027)
• find followed by docs <n> would fail. (5012)
• dependents followed by delete <n> would fail. (5019)
• UCM would just complain if a scratch file it wanted to write to didn't exist. (4973)
• auth.login was invisible in help. (5028)
• The ui command couldn't find its data files when using the ucm launcher script included in manual installs. (5048)/(5050)
• A bug caused hashes to be displayed in the LSP diagnostics. (#4960)
• LSP diagnostics were one change behind. (4957)
• The JIT version of zlib.compress on a >64k buffer. (4961)

All new PRs in this release

• Fix hashes in LSP diagnostic names by @ChrisPenner in https://github.com/unisonweb/unison/pull/4960
• Update sqlite3 codebase before changing in-app values by @ChrisPenner in https://github.com/unisonweb/unison/pull/4957
• feat: add lib.install command by @mitchellwrosen in https://github.com/unisonweb/unison/pull/4953
• feat: better merge algorithm by @mitchellwrosen in https://github.com/unisonweb/unison/pull/4910
• Fix jit zlib-deflate by @dolio in https://github.com/unisonweb/unison/pull/4961
• Unison local Definition Diffs API by @ChrisPenner in https://github.com/unisonweb/unison/pull/4964
• Definition Diff machinery by @ChrisPenner in https://github.com/unisonweb/unison/pull/4766
• tweak: make upgrade-failed branch name more informative by @mitchellwrosen in https://github.com/unisonweb/unison/pull/4974
• tweak: make prependUtf8 create file if it doesn't exist by @mitchellwrosen in https://github.com/unisonweb/unison/pull/4973
• feat: make pull call new merge instead of old merge by @mitchellwrosen in https://github.com/unisonweb/unison/pull/4966
• tweak: slightly improve help lib.install by @mitchellwrosen in https://github.com/unisonweb/unison/pull/4972
• Remove unused incoming hashes event by @ChrisPenner in https://github.com/unisonweb/unison/pull/4991
• improve push output by @mitchellwrosen in https://github.com/unisonweb/unison/pull/4990
• Fix delete namespace dependents check by @ChrisPenner in https://github.com/unisonweb/unison/pull/4998
• bugfix: lib.install couldn't install something from a project with a dash in its name, like @unison/uri-parser by @mitchellwrosen in https://github.com/unisonweb/unison/pull/4999
• update cachix actions to latest by @aryairani in https://github.com/unisonweb/unison/pull/5001
• update workflows for lib.install by @aryairani in https://github.com/unisonweb/unison/pull/5002
• Remove unused Unison.Util.Convert module by @sellout in https://github.com/unisonweb/unison/pull/5005
• cleanup: delete a bunch of patch manipulation commands by @mitchellwrosen in https://github.com/unisonweb/unison/pull/5008
• Repair the Nix flake by @sellout in https://github.com/unisonweb/unison/pull/4923
• Add an EditorConfig config by @sellout in https://github.com/unisonweb/unison/pull/5015
• Remove support for Git push/pull and gists by @ChrisPenner in https://github.com/unisonweb/unison/pull/5013
• bug(?)fix: relax lca merge preconditions by @mitchellwrosen in https://github.com/unisonweb/unison/pull/5020
• Avoid printing/parsing numbered args by @sellout in https://github.com/unisonweb/unison/pull/4962
• Docs name by @sellout in https://github.com/unisonweb/unison/pull/5012
• Remove Reference from StructuredArgument by @sellout in https://github.com/unisonweb/unison/pull/5019
• Type the main arg to execute by @sellout in https://github.com/unisonweb/unison/pull/5003
• make auth.login visible by @aryairani in https://github.com/unisonweb/unison/pull/5028
• Update .mergify.yml by @aryairani in https://github.com/unisonweb/unison/pull/5029
• feat: add upgrade.commit command by @mitchellwrosen in https://github.com/unisonweb/unison/pull/4977
• improve merge precondition violation output messages by @mitchellwrosen in https://github.com/unisonweb/unison/pull/5032
• only use iohk cache on linux by @aryairani in https://github.com/unisonweb/unison/pull/5033
• Restrict NameSegment operations by @sellout in https://github.com/unisonweb/unison/pull/5010
• Add a Nix formatter and run it by @sellout in https://github.com/unisonweb/unison/pull/5035
• Remove flake-compat flake input by @sellout in https://github.com/unisonweb/unison/pull/5037
• Fix branch invariants by @ChrisPenner in https://github.com/unisonweb/unison/pull/5027
• Run Cabal test-suites as Nix checks by @sellout in https://github.com/unisonweb/unison/pull/5036
• improve upgrade failure message by @mitchellwrosen in https://github.com/unisonweb/unison/pull/5039
• tweak pull-related error messages by @mitchellwrosen in https://github.com/unisonweb/unison/pull/5046
• pass --ui flag in default launcher by @aryairani in https://github.com/unisonweb/unison/pull/5048
• Fix a few minor typos in InputPatterns.hs by @atroche in https://github.com/unisonweb/unison/pull/5038
• Add a transcript illustrating that #1532 is fixed by @sellout in https://github.com/unisonweb/unison/pull/5042
• the --ui flag conflicts with commands, like transcript by @aryairani in https://github.com/unisonweb/unison/pull/5050

New Contributors

• @atroche made their first contribution in https://github.com/unisonweb/unison/pull/5038

Full Changelog: https://github.com/unisonweb/unison/compare/release/0.5.20...release/0.5.21

Commits

• 899be60: improve merge precondition violation output messages (Mitchell Rosen) #5032
• 99b2eab: ⅄ trunk → 24-05-31-merge-precondition-messages (Mitchell Rosen) #5032

Commits

• 49ee64e: sketch out basic upgrade.commit command (Mitchell Rosen) #4977
• dbe4892: ⅄ topic/merge5 → 24-05-20-upgrade-commit (Mitchell Rosen) #4977
• 75795e6: implement upgrade.commit command (Mitchell Rosen) #4977
• 0729f2e: ⅄ trunk → 24-05-20-upgrade-commit (Mitchell Rosen) #4977
• 4479966: make upgrade.commit perform the initial update (Mitchell Rosen) #4977
• 7273bd9: in merge, don't returnEarly on success (Mitchell Rosen) #4977
• 510e9dc: don't update in upgrade (Mitchell Rosen) #4977
• 83d6946: ⅄ trunk → 24-05-20-upgrade-commit (Mitchell Rosen) #4977