unison

Commits

• 6d45b82: updated third-party-facing Slack to Discord refs (Kyle Goetz) #4743
• f375039: Update README.md (Paul Chiusano) #4743
• dc305e1: Update development.markdown (Paul Chiusano) #4743

Commits

• b7b2807: refactor upgrade a bit to have more consistent variables names (Mitchell Rosen) #4720
• dfe61d6: more upgrade refactoring and cleanup (Mitchell Rosen) #4720
• 4aca271: add transcript that demonstrates old undesirable behavior (Mitchell Rosen) #4720
• 8dbec31: add new guard in upgrade to not give names to old things in new dep (Mitchell Rosen) #4720
• a90c394: ⅄ trunk → 24-02-26-upgrade-tweak (Mitchell Rosen) #4720
• add5422: fix bug in inNewNamespace (Mitchell Rosen) #4720
• da8510e: simpler definition of keepOldLocal{Terms,Types}NotInNew (Mitchell Rosen) #4720

What's changed

• Definitions in operator subnamespaces (like List.++.doc) now round-trip.
• Builtin support for Ed25519 signatures.

All PRs since last release

• Update CI badge in README.md by @aryairani in https://github.com/unisonweb/unison/pull/4710
• stop forgetting to ping @everyone for new releases by @aryairani in https://github.com/unisonweb/unison/pull/4700
• add export list to Unison.Codebase.Metadata by @aryairani in https://github.com/unisonweb/unison/pull/4712
• Update copyright by @aryairani in https://github.com/unisonweb/unison/pull/4718
• remove metadata types from the in-memory branches by @aryairani in https://github.com/unisonweb/unison/pull/4714
• remove metadata types from the in-memory branches by @aryairani in https://github.com/unisonweb/unison/pull/4719
• Backticky symbol parsing by @mitchellwrosen in https://github.com/unisonweb/unison/pull/3525
• Ed25519 builtins for Haskell by @dolio in https://github.com/unisonweb/unison/pull/4717
• Enable Hash Validation in UCM by @ChrisPenner in https://github.com/unisonweb/unison/pull/4716
• Local Hash Validation fixups by @ChrisPenner in https://github.com/unisonweb/unison/pull/4694
• Ensure we tag latest trunk for releases by @ChrisPenner in https://github.com/unisonweb/unison/pull/4721

Full Changelog: https://github.com/unisonweb/unison/compare/release/0.5.17...release/0.5.18

Commits

• b3c4f9d: Implement ed25519 builtins for Haskell (Dan Doel) #4717
• a320820: Transcript updates (Dan Doel) #4717
• f66bf08: Merge remote-tracking branch 'origin/trunk' into topic/ed25519 (Arya Irani) #4717

What's Changed

• Fix Folding Ranges by @ChrisPenner in https://github.com/unisonweb/unison/pull/4674
• Add tab-completion and fzf for upgrade command by @ChrisPenner in https://github.com/unisonweb/unison/pull/4677
• Add Name ToJSONKey instance by @ChrisPenner in https://github.com/unisonweb/unison/pull/4679
• Add parens to annotation of lexed symboly segments by @ChrisPenner in https://github.com/unisonweb/unison/pull/4689
• Disable lsp-formatting by default, opt in via --lsp-format flag by @ChrisPenner in https://github.com/unisonweb/unison/pull/4691

Full Changelog: https://github.com/unisonweb/unison/compare/release/0.5.16...release/0.5.17

Commits

• 17f9d40: Add lspFormat cli option (Chris Penner) #4691
• 3c9f71c: Disable auto-formatting based on cli flag (Chris Penner) #4691
• 712a9ad: Wire up auto-format flag (Chris Penner) #4691

Commits

• 4b9ca79: Add Name ToJSONKey instance (Chris Penner) #4679

What's Changed

• Add Explicit Export Lists for Modules that involve Parsing by @setupminimal in https://github.com/unisonweb/unison/pull/2664
• update release template, urls and discord syntax by @aryairani in https://github.com/unisonweb/unison/pull/4663
• Add message for share hash mismatch by @ChrisPenner in https://github.com/unisonweb/unison/pull/4665
• Allow multi-line bold, italics, and strikethrough by @ChrisPenner in https://github.com/unisonweb/unison/pull/4670
• Fix formatting on handle-with blocks by @ChrisPenner in https://github.com/unisonweb/unison/pull/4671

New Contributors

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

Full Changelog: https://github.com/unisonweb/unison/compare/release/0.5.15...release/0.5.16

Commits

• 56d1962: Add message for share hash mismatch (Chris Penner) #4665

Commits

• 89f5dcb: update release template, urls and discord syntax (Arya Irani) #4663

Commits

• d73f32f: Added explicid exports for modules which import Megaparsec (Daroc Alden) #2664
• 115d4bc: Removed unused functions (Daroc Alden) #2664
• add3ee3: Add myself to CONTRIBUTORS (Daroc Alden) #2664
• f169b30: Merge branch 'trunk' of https://github.com/unisonweb/unison into explicit-parser-exports (Daroc Alden) #2664
• 544f294: Merge remote-tracking branch 'origin/trunk' into setupminimal-explicit-parser-exports (Arya Irani) #2664

What's Changed

• Changes to UCM for PG Share by @ChrisPenner in https://github.com/unisonweb/unison/pull/4608
• LSP Format support by @ChrisPenner in https://github.com/unisonweb/unison/pull/3460
• define IMAGE_NAME for the docker build step by @stew in https://github.com/unisonweb/unison/pull/4629
• use relative paths in Dockerfile by @stew in https://github.com/unisonweb/unison/pull/4630
• remove docker from relelase by @stew in https://github.com/unisonweb/unison/pull/4631
• Add edit.namespace command by @ChrisPenner in https://github.com/unisonweb/unison/pull/4535
• Fix special case for type doc in lexer by @ChrisPenner in https://github.com/unisonweb/unison/pull/4635
• Support tab-completion of branch relative paths by @tstat in https://github.com/unisonweb/unison/pull/4636
• Fix for doc formatter by @ChrisPenner in https://github.com/unisonweb/unison/pull/4637
• Don't implicitly close transclude blocks by @tstat in https://github.com/unisonweb/unison/pull/4643
• Make errors nicer when TDNR fails by @runarorama in https://github.com/unisonweb/unison/pull/4641
• Local definition generalization and possible TDNR improvement by @dolio in https://github.com/unisonweb/unison/pull/4642
• Delete invalid remote mappings on push by @tstat in https://github.com/unisonweb/unison/pull/4648
• LSP startup time speedup and CWD fix by @ChrisPenner in https://github.com/unisonweb/unison/pull/4647
• Speed up docs.to-html by not using root-branch by @ChrisPenner in https://github.com/unisonweb/unison/pull/4650
• Fix parsing bug involving use and underscore-prefixed names by @tstat in https://github.com/unisonweb/unison/pull/4654
• Fix raw text-block indentation by @ChrisPenner in https://github.com/unisonweb/unison/pull/4655
• Add debug.term debug.type for debugging by @ChrisPenner in https://github.com/unisonweb/unison/pull/4653
• Default to single-quotes by @ChrisPenner in https://github.com/unisonweb/unison/pull/4659
• Fix bug in update by @tstat in https://github.com/unisonweb/unison/pull/4661

Full Changelog: https://github.com/unisonweb/unison/compare/release/0.5.14...release/0.5.15

Commits

• 61a0542: Default to single-quotes (Chris Penner) #4659
• 9b261b8: Transcript output (Chris Penner) #4659

Commits

• 70c343d: Add round-trip test for doc2 (Chris Penner) #4655
• 203cd8c: Fix whitespace trimming on doc literals (Chris Penner) #4655
• 6105968: Update transcripts (Chris Penner) #4655
• b93d289: Clean up whitespace trimming (Chris Penner) #4655
• d07077e: Fix parsing/printing of raw syntax blocks in transcripts (Chris Penner) #4655
• e66806f: Update whitespace trimming (Chris Penner) #4655
• 52c8d40: Update transcripts (Chris Penner) #4655
• 6f21f73: Update transcripts (Chris Penner) #4655
• bea3437: Update transcripts (Chris Penner) #4655
• cb974e7: Newlines within {{ }} for multi-line docs (Chris Penner) #4655
• 4752b44: Handle lines with only whitespace. (Chris Penner) #4655
• 1f67d09: Add regression test for empty-lines in raw literals (Chris Penner) #4655

Commits

• 1810f4f: Improve some TDNR and local type generalization behavior (Dan Doel) #4642
• 1089152: Transcript changes (Dan Doel) #4642
• 583df95: Add a transcript for #3752 (Dan Doel) #4642
• 2778dcc: Be a bit more intelligent about retaining TDNR context (Dan Doel) #4642
• e1f28f8: Fix a missing case for new Blank (Dan Doel) #4642
• f55501d: Ormolu formatting (Dan Doel) #4642

Commits

• 8c30267: add parseIncrementalBranchRelativePath (Travis Staton) #4636
• 973469a: tab-complete branch relative paths (Travis Staton) #4636

What's changed:

• We've implemented the first stage of getting rid of “metadata”.
  • link, links, and unlink commands go away.
  • “default metadata” is no longer applied from your config file on add, nor copied on update.
  • diff.namespace doesn’t report anything about metadata. Note that we used to rely on metadata to exclude uninteresting changes from a diff. That already doesn’t work with the new update process, but we will fix this again eventually.
• Types are now unique by default, if neither unique nor structural is specified. unique is also left off when viewing the code for a unique type (reported by @ceedubs and others)
• fork now lets you refer to paths in other branches using project/branch:path syntax. Other commands will support this soon, at which point you hopefully won’t need to go outside of projects for scratch space anymore.
• UCM no longer searches the global namespace for names not present in or below your current namespace. The upshot is that many commands will complete much more quickly, but you will now see hashes where you would currently see a crazy out-of-scope name. But you wanted to fix that name anyway.
  • This situation is particularly likely when you are cded deeper into your project, into a subnamespace that isn’t completely self-contained, we’re looking into solutions to this. view.global, names.global, and namespace.dependencies will still do a global search. view and display will use the global names if provided an absolute argument.
• upgrade command now tells you what file to edit (reported by @stew)
• edit and other commands which modify your scratch file now uniformly produce output in transcript output.md files. It will show up in an ```unison:added-by-ucm <filename.u> code block.
• Fixed an issue where numbered args unexpectedly got cleared (reported by @ceedubs)
• Fixed an issue where sub-types of Doc and [Test.Result] showed up on Share as Docs and Tests when they shouldn’t have.
• Fixed an issue where update/upgrade produced a scratch file that ambiguously referred to aliases in a way that couldn’t typecheck.
• Globbing (view foo.?) went away; you probably won’t notice. The improved fzf support introduced in 0.5.13 is nicer anyway.

All PRs since last release

• cleanup: remove a bunch of metadata-related code by @mitchellwrosen in https://github.com/unisonweb/unison/pull/4574
• don't call M releases the latest by @aryairani in https://github.com/unisonweb/unison/pull/4538
• Unorsk/unique as default type modifier by @unorsk in https://github.com/unisonweb/unison/pull/4557
• add "update transcripts" workflow by @aryairani in https://github.com/unisonweb/unison/pull/4584
• remove irrelevant changed-files step from update-transcripts-workflow by @aryairani in https://github.com/unisonweb/unison/pull/4585
• feat: mention the name of the file we put failed upgrades in by @mitchellwrosen in https://github.com/unisonweb/unison/pull/4571
• Remove UCM globbing as a feature by @ChrisPenner in https://github.com/unisonweb/unison/pull/4595
• bugtweak: make suffixification a little worse when rendering unison files via update/upgrade by @mitchellwrosen in https://github.com/unisonweb/unison/pull/4589
• add CI reminder to commit message by @aryairani in https://github.com/unisonweb/unison/pull/4588
• Don't display definitions in console output for edit (and new transcript outputs to replace it) by @ChrisPenner in https://github.com/unisonweb/unison/pull/4576
• Don't do file IO in OutputMessages for upgrade/update by @ChrisPenner in https://github.com/unisonweb/unison/pull/4577
• Don't replace numbered args list with an empty one. by @ChrisPenner in https://github.com/unisonweb/unison/pull/4603
• bugfix: fix upgrade suffixifier by @mitchellwrosen in https://github.com/unisonweb/unison/pull/4605
• Push docker images to github when we release by @stew in https://github.com/unisonweb/unison/pull/4599
• Exports for Share migration to Postgres by @ChrisPenner in https://github.com/unisonweb/unison/pull/4338
• Exact match on term types when determining whether doc or test. by @ChrisPenner in https://github.com/unisonweb/unison/pull/4408
• change pre-release tag name again to trunk-build by @aryairani in https://github.com/unisonweb/unison/pull/4612
• feat: better suffixification in update and upgrade by @mitchellwrosen in https://github.com/unisonweb/unison/pull/4613
• Add decl verification by @ChrisPenner in https://github.com/unisonweb/unison/pull/4381
• Huge speedup to startup time by leveraging branch cache by @ChrisPenner in https://github.com/unisonweb/unison/pull/4617
• Allow forking between projects/branches by @tstat in https://github.com/unisonweb/unison/pull/4615
• Scope all commands to current namespace (no global fallbacks for names or PPE) by @ChrisPenner in https://github.com/unisonweb/unison/pull/4579
• Improve fork output and input description by @tstat in https://github.com/unisonweb/unison/pull/4622
• Lex wordy/symboly identifiers into names, not strings by @mitchellwrosen in https://github.com/unisonweb/unison/pull/3720

Full Changelog: https://github.com/unisonweb/unison/compare/release/0.5.13...release/0.5.14

Commits

• ea6494a: Term auto-format sketch (Chris Penner) #3460
• f651b89: Fix Semigroup instance (Chris Penner) #3460
• fd5fba1: Format all defs (Chris Penner) #3460
• 2d39000: Working pretty well! (Chris Penner) #3460
• 3b8eaa1: Working great! (Chris Penner) #3460
• 33c20d2: Correctly wait for typechecker results (Chris Penner) #3460
• 85b1df3: Ensure tuples and paren nodes include full Ann (Chris Penner) #3460
• 0cabb5f: Fix anns for record parser (Chris Penner) #3460
• e5f7fdc: Merge branch 'trunk' into cp/typechecked-auto-fmt (Chris Penner) #3460
• c04afa2: Add new 'GeneratedFrom' Annotation (Chris Penner) #3460
• 9dbca2a: Add configuration (Chris Penner) #3460
• 53bef39: Fix settings configuration (Chris Penner) #3460
• d0ff233: Update lsp docs (Chris Penner) #3460
• 8cb9634: Add VSCode extension to docs (Chris Penner) #3460
• b867266: Rebuild with stack 2.9.1 (Chris Penner) #3460
• c205690: Re-build cabal files (Chris Penner) #3460
• c8efa7f: Auto formatting working on parsed files too, just not on records (Chris Penner) #3460
• 8263c92: Auto-format watches. (Chris Penner) #3460
• bc42240: Fix watch formatting (Chris Penner) #3460
• 3baf267: Refuse to pretty print if records are present. (Chris Penner) #3460
• 867f825: Merge branch 'trunk' into cp/typechecked-auto-fmt (Chris Penner) #3460
• 72641cc: Allow configuring format style (Chris Penner) #3460
• 547f796: Merge branch 'trunk' into lsp/auto-fmt (Chris Penner) #3460
• f46ee41: Merge branch 'trunk' into cp/typechecked-auto-fmt (Chris Penner) #3460
• 244a374: Merge trunk into file-analysis changes (Chris Penner) #3460
• d9c8c7d: Add quadmapM to Branch (Chris Penner) #4608
• af0541b: Traversals for easier hashing in Share (Chris Penner) #4608
• f9f99c6: Add local id traversals (Chris Penner) #4608
• d5cda98: More useful traversals (Chris Penner) #4608
• d1b3547: Merge remote-tracking branch 'origin/trunk' into pg/sync (Chris Penner) #4608
• 18261f8: More exports for share serialization (Chris Penner) #4608
• b234688: Generalize object localization for Share (Chris Penner) #4608
• d7009b9: Add putLocalBranch for use in Share (Chris Penner) #4608
• d0198dc: Cleanup (Chris Penner) #4608
• 0e9ce31: Expose patch Serialization primitives (Chris Penner) #4608
• 3ab48d2: Expose traversals for both types of patch hashes (Chris Penner) #4608
• c48c060: Merge remote-tracking branch 'origin/trunk' into pg/sync (Chris Penner) #4608
• fc1dd98: Add witch.From instances for Hash types (Chris Penner) #4608
• 22d1905: Re-exports for Share (Chris Penner) #4608
• 06914be: More re-exports for share (Chris Penner) #4608
• 85593e7: Expose temp entity decoder (Chris Penner) #4608
• c816703: Merge remote-tracking branch 'origin/trunk' into pg/sync (Chris Penner) #4608
• 7f8446f: Merge remote-tracking branch 'origin/cp/pull-hash-validation' into pg/sync (Chris Penner) #4608
• c3d513d: Change Env var to only affect unison-cli so Share doesn't have to worry (Chris Penner) #4608
• 5005526: Merge branch 'cp/pull-hash-validation-types' into pg/sync (Chris Penner) #4608
• a538d8b: Add support for various entity validation failures (Chris Penner) #4608
• 6b847b7: Add show instance for debugging (Chris Penner) #4608
• b4b4f80: Merge remote-tracking branch 'origin/trunk' into pg/sync (Chris Penner) #4608
• 0ad95d6: Solve merge (Chris Penner) #4608
• 4fbd6e3: Export Search type (Chris Penner) #4608
• 609a1af: Expose helpers for faster sync on Share (Chris Penner) #4608
• 03848cc: 1 push worker (Chris Penner) #4608
• 16515c0: Merge remote-tracking branch 'origin/trunk' into pg/sync (Chris Penner) #4608
• 0ddb128: Merge remote-tracking branch 'origin/trunk' into cp/typechecked-auto-fmt (Chris Penner) #3460
• ad200ee: Fix spanning annotation on watches (Chris Penner) #3460
• e914522: Formatting working for terms (Chris Penner) #3460
• 55238ed: Fix spans on decls and abilities (Chris Penner) #3460
• ebce2ca: Formatter working on abilities now too (Chris Penner) #3460
• ed5c5e7: Tweak generated annotation tag on generated fields (Chris Penner) #3460
• ecf3220: Fix closing annotation for records (Chris Penner) #3460
• 0a10275: Code Cleanup (Chris Penner) #3460
• 9d2c572: Parser fixup (Chris Penner) #3460
• c2ceca7: Fix parser tests (Chris Penner) #3460
• 6dac578: Proper range-based formatting (Chris Penner) #3460
• 2921ac0: Add user-type-sig detection (Chris Penner) #3460
• a119438: Fix formatting of type signatures (Chris Penner) #3460
• b7b9090: Fix redundant imports (Chris Penner) #3460
• a335222: Fix unique type constructor re-ordering (Chris Penner) #3460
• 410aa15: Split off formatting from LSP into parser-typechecker (Chris Penner) #3460
• 92ccd05: Add format command (Chris Penner) #3460
• 8b011cd: Merge remote-tracking branch 'origin/trunk' into cp/typechecked-auto-fmt (Chris Penner) #3460
• 3d84334: Merge branch 'cp/typechecked-auto-fmt' into cp/typechecked-auto-fmt-command (Chris Penner) #3460
• 5679768: Add format command alongside a transcript (Chris Penner) #3460
• 50c4050: remove rewriteNames option (Chris Penner) #3460
• 0cd75c9: Reset formatting to trunk (Chris Penner) #3460
• 50975d3: Improve docs (Chris Penner) #3460
• 8e410b1: Merge remote-tracking branch 'origin/trunk' into pg/sync (Chris Penner) #4608
• a4e6d68: Undo max push workers until PG Share actually launches (Chris Penner) #4608
• a788762: Better comments on lsp conversions (Chris Penner) #3460