Unison Versions Save

What's Changed

• new io.test.all command runs all the IO tests in your namespace
• new rename command, is the same as move
• namespace.dependencies now ignores lib. You can cd into lib and run it there if you are curious about the state of your libraries.
• auto-completion improvements for many project commands
• several bugfixes

All PRs since last release

• io.test.all by @ChrisPenner in https://github.com/unisonweb/unison/pull/4507
• make namespace.dependencies ignore lib by @mitchellwrosen in https://github.com/unisonweb/unison/pull/4509
• Partial implementation for native execution/compilation via a standalone executable by @dolio in https://github.com/unisonweb/unison/pull/4511
• Better project-branch completion for many project commands by @ChrisPenner in https://github.com/unisonweb/unison/pull/4513
• add rename as an alias for move by @aryairani in https://github.com/unisonweb/unison/pull/4523
• don't isTest-check entire deepTerms on view/edit by @ChrisPenner in https://github.com/unisonweb/unison/pull/4520
• bugtweak: force result of synthesizeForce earlier by @mitchellwrosen in https://github.com/unisonweb/unison/pull/4530
• update the name of the pre-release build by @aryairani in https://github.com/unisonweb/unison/pull/4508
• bugfix: make run able to run things that don't return builtins by @mitchellwrosen in https://github.com/unisonweb/unison/pull/4533
• fix "branch already exists" error message to show project, too by @mitchellwrosen in https://github.com/unisonweb/unison/pull/4505
• Fix bug in Bytes.fromBase16 when chunks have an odd size by @runarorama in https://github.com/unisonweb/unison/pull/4529

Full Changelog: https://github.com/unisonweb/unison/compare/release/0.5.11...release/0.5.12

Commits

• 09cf6b7: Define top-exn-handler in scheme libraries (Dan Doel) #4511
• a0dd65e: Fix various issues with runtime code loading (Dan Doel) #4511
• c7e6da0: Implement a native Runtime (Dan Doel) #4511
• 469e82b: Thread native runtime through the relevant places (Dan Doel) #4511
• 15101aa: Tweak some of the evaluation related ucm commands (Dan Doel) #4511
• d1494a1: Tweak the sandbox test for jit/interpreter comparison (Dan Doel) #4511
• 00a1fb2: Standalone runner implementation in racket (Dan Doel) #4511
• 19ff30a: Update JitInfo for latest share release (Dan Doel) #4511
• 49a7d17: Formatting (Dan Doel) #4511
• cd0ab42: Add project-branch context for paths (Chris Penner) #4513
• 4436d63: Wire in project-branch-completion config (Chris Penner) #4513
• 2a49d56: Fix imports (Chris Penner) #4513
• 6e014c6: Remove sneaky pragma (whoops) (Chris Penner) #4513
• 63928fc: Merge remote-tracking branch 'origin/trunk' into cp/project-completion (Chris Penner) #4513
• 877110f: Fix bad merges from trunk (Chris Penner) #4513
• 961de6e: Add project tab-completion transcripts (Chris Penner) #4513

What's changed:

• New move command will move existing namespaces, terms, and types, all at once.
• Several fixes to upgrade, pretty-printing, docs parsing, and type-directed name resolution.
• A fix related to displaying docs in Unison Local.
• We've switched to a less weird version numbering scheme (0.5.11 instead of M5k)

All PRs since last release:

• verify 'stack ghci' startup on mac at least by @aryairani in https://github.com/unisonweb/unison/pull/4455
• Add a new Pattern.captureAs builtin by @stew in https://github.com/unisonweb/unison/pull/4452
• Allow layout blocks within Doc transclusion by @pchiusano in https://github.com/unisonweb/unison/pull/4458
• Change urls to use /docs instead of /learn by @pchiusano in https://github.com/unisonweb/unison/pull/4459
• bugfix: tweak upgrade to ignore aliases of old things by @mitchellwrosen in https://github.com/unisonweb/unison/pull/4471
• Add move command that moves existing namespaces,terms, and types by @tstat in https://github.com/unisonweb/unison/pull/4477
• Use minimal suffix that's distinct from local var names by @ChrisPenner in https://github.com/unisonweb/unison/pull/4481
• switch generic-monoid to semigroups (the two overlapping packages) by @aryairani in https://github.com/unisonweb/unison/pull/4457
• bugfix: make upgrade not require a latest-touched file (default to "scratch.u") by @mitchellwrosen in https://github.com/unisonweb/unison/pull/4479
• provide some deps for the nix linker by @tstat in https://github.com/unisonweb/unison/pull/4464
• Return evaluation errors rather than just silencing them. by @ChrisPenner in https://github.com/unisonweb/unison/pull/4433
• Don't typecheck dependents of unchanged defns in upgrade by @tstat in https://github.com/unisonweb/unison/pull/4486
• Unison Local - Search for docs by exact name, not suffix by @ChrisPenner in https://github.com/unisonweb/unison/pull/4485
• bugfix: make upgrade not over-suffixify in certain cases by @mitchellwrosen in https://github.com/unisonweb/unison/pull/4500
• Bugfix: Prefer shallow lib depth in TDNR by @tstat in https://github.com/unisonweb/unison/pull/4502
• update UpdateIncompleteConstructorSet message by @aryairani in https://github.com/unisonweb/unison/pull/4503
• use semver for ucm by @aryairani in https://github.com/unisonweb/unison/pull/4504

Full Changelog: https://github.com/unisonweb/unison/compare/release/M5j...release/0.5.11

What's changed:

• We fixed a bug where saving a scratch file with watch expressions could cause UCM to crash with a SQL error. #4454
• Updates are faster when nothing new needs to be typechecked.

All PRs since last release:

• in update, don't bother typechecking again if we haven't changed the unison file by @mitchellwrosen in https://github.com/unisonweb/unison/pull/4446
• Unique type churn transcript: add case of revert by @ceedubs in https://github.com/unisonweb/unison/pull/4447
• update transcripts due to out-of-order merges by @aryairani in https://github.com/unisonweb/unison/pull/4451
• bugfix: update no longer tries to put non-test watches into the namespace by @mitchellwrosen in https://github.com/unisonweb/unison/pull/4454
• PackageImports to workaround stack ghci failure by @aryairani in https://github.com/unisonweb/unison/pull/4453

Full Changelog: https://github.com/unisonweb/unison/compare/release/M5i...release/M5j

This release fixes some bugs related to the new update process. Upgrading is recommended!

All changes since last release:

• Update release-steps.md by @aryairani in https://github.com/unisonweb/unison/pull/4390
• Force push to avoid keeping tons of old docs by @ChrisPenner in https://github.com/unisonweb/unison/pull/4396
• Fix spacing in create.author help by @pchiusano in https://github.com/unisonweb/unison/pull/4401
• add some more info than just calling fromJust by @aryairani in https://github.com/unisonweb/unison/pull/4404
• Improve kind error messages by @tstat in https://github.com/unisonweb/unison/pull/4398
• Add build-tools only devShell that doesn't depend on haskell.nix by @tstat in https://github.com/unisonweb/unison/pull/4394
• Nix flake: set default app to haskell-nix unison-cli app by @ceedubs in https://github.com/unisonweb/unison/pull/4412
• Fix bug in scratch file updates by @tstat in https://github.com/unisonweb/unison/pull/4414
• fix for test watches in update by @aryairani in https://github.com/unisonweb/unison/pull/4413
• Fix name resolution bug in the parser by @tstat in https://github.com/unisonweb/unison/pull/4419
• Add support for the controls attribute in Video by @hojberg in https://github.com/unisonweb/unison/pull/4431
• fix unsigned int error in update by @aryairani in https://github.com/unisonweb/unison/pull/4434
• Add entity validation on pull. by @ChrisPenner in https://github.com/unisonweb/unison/pull/4377
• don't use deepTermMetadata for test by @aryairani in https://github.com/unisonweb/unison/pull/4428
• Fix suffixification bug #4424 by @tstat in https://github.com/unisonweb/unison/pull/4437

Full Changelog: https://github.com/unisonweb/unison/compare/release/M5h...release/M5i

What's new:

Simplified update process

See the #4374 for more details. TL;DR:

Given your already type-checked scratch file, UCM attempts to substitute the new definitions everywhere the old were referenced in your namespace and other definitions, propagating recursively.

• If successful, you are done!
• If unsuccessful, UCM will load the dependent definitions into the scratch file for you to edit until they typecheck.

Library upgrade command

See #4386 for more details. TL;DR:

With both an <old> and <new> version of a library installed under lib.<old> and lib.<new> respectively, the upgrade <old> <new> command will attempt to replace any usages in your project of definitions from <old> with definitions from <new> with the same names.

• If successful, <old> is removed from lib, and you are done!
• If unsuccessful, UCM will switch you to a new temporary branch (without <old>), and load the dependent definitions into the scratch file for you to edit until they typecheck.
• When you finish the migration, you can update and then use the merge command to merge the temporary branch into your original branch.

Kind checking

We have kind checking now!

Various improvements to

• Error messages
• Pretty-printing and code round-trips
• Request timeout fixes for Share

All changes since last release:

• refactor: add generic-lens to prelude, export orphan IsLabel instance by @mitchellwrosen in https://github.com/unisonweb/unison/pull/4332
• Restructure decompilation by @dolio in https://github.com/unisonweb/unison/pull/4336
• Add new BranchV3 type by @mitchellwrosen in https://github.com/unisonweb/unison/pull/4333
• Add Term Hash Validation by @ChrisPenner in https://github.com/unisonweb/unison/pull/4329
• Add kind inference by @tstat in https://github.com/unisonweb/unison/pull/4331
• add expectDeclNumConstructors by @mitchellwrosen in https://github.com/unisonweb/unison/pull/4341
• JIT: Added Code.lookup function and various supporting code changes by @dolio in https://github.com/unisonweb/unison/pull/4339
• quick fix for delete.type #4315 for next steps by @sixfourtwelve in https://github.com/unisonweb/unison/pull/4342
• Fill out more scheme builtins by @dolio in https://github.com/unisonweb/unison/pull/4355
• improve rendering of uncaught exceptions by @mitchellwrosen in https://github.com/unisonweb/unison/pull/4358
• Fix kind inference context bug by @tstat in https://github.com/unisonweb/unison/pull/4366
• Delay kind defaulting by @tstat in https://github.com/unisonweb/unison/pull/4359
• Assorted pretty-printing round trip fixes by @pchiusano in https://github.com/unisonweb/unison/pull/4368
• Implement Murmurhash in racket by @jaredly in https://github.com/unisonweb/unison/pull/4365
• Fix parser issue caused by virtual semicolons being emitted inside parens by @pchiusano in https://github.com/unisonweb/unison/pull/4369
• Scheme builtin optimization and associated tweaks by @dolio in https://github.com/unisonweb/unison/pull/4371
• Add missing spaces to pull explanation by @JohanWinther in https://github.com/unisonweb/unison/pull/4361
• Align client timeouts with server-side timeouts by @ChrisPenner in https://github.com/unisonweb/unison/pull/4364
• Add @lexi-lambda to contributors by @pchiusano in https://github.com/unisonweb/unison/pull/4379
• Add @SystemFw to contributors by @SystemFw in https://github.com/unisonweb/unison/pull/4380
• print/parse update by @aryairani in https://github.com/unisonweb/unison/pull/4374
• Bump haskell.nix dependency by @tstat in https://github.com/unisonweb/unison/pull/4376
• feat: add upgrade command by @mitchellwrosen in https://github.com/unisonweb/unison/pull/4386
• update update info messages by @aryairani in https://github.com/unisonweb/unison/pull/4387
• make findCtorNames return an Output instead of error by @aryairani in https://github.com/unisonweb/unison/pull/4388

New Contributors

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

Full Changelog: https://github.com/unisonweb/unison/compare/release/M5g...release/M5h

What's Changed

• Warn on invalid awk version by @ChrisPenner in https://github.com/unisonweb/unison/pull/4291
• Use gawk if installed by @ChrisPenner in https://github.com/unisonweb/unison/pull/4292
• add haskell-language-server-wrapper symlink by @mitchellwrosen in https://github.com/unisonweb/unison/pull/4298
• try to set a custom workflow name on release by @aryairani in https://github.com/unisonweb/unison/pull/4289
• [jit] Add setCurrentDirectory, renameDirectory, isDirectory, systemTime, systemTimeMicroseconds, isSeekable, and handlePosition by @jaredly in https://github.com/unisonweb/unison/pull/4296
• Port Name lookups to Postgres by @ChrisPenner in https://github.com/unisonweb/unison/pull/4265
• refactor: eliminate duplicate ShortHash type by @mitchellwrosen in https://github.com/unisonweb/unison/pull/4299
• Add extra help line for delete command by @sixfourtwelve in https://github.com/unisonweb/unison/pull/4302
• Add @sixfourtwelve to the contribution list by @sixfourtwelve in https://github.com/unisonweb/unison/pull/4307
• Relax hash-mismatch errors if the remote head is what we wanted by @ChrisPenner in https://github.com/unisonweb/unison/pull/4309
• Add logic to flip welcome hint message by @sixfourtwelve in https://github.com/unisonweb/unison/pull/4304
• Prefer triple backtick syntax during doc source printing, even for old docs by @pchiusano in https://github.com/unisonweb/unison/pull/4312
• Add tip for existing branches by @sixfourtwelve in https://github.com/unisonweb/unison/pull/4308
• Endpoint exposing chosen project, branch and working path by @chuwy in https://github.com/unisonweb/unison/pull/4285
• Make pull.without-history work for Share project branches by @ChrisPenner in https://github.com/unisonweb/unison/pull/4301
• Add windows stack build retry on pre-release by @ChrisPenner in https://github.com/unisonweb/unison/pull/4313
• refactor: one reference type by @mitchellwrosen in https://github.com/unisonweb/unison/pull/4310
• Add fuzzy-finder for project switching by @ChrisPenner in https://github.com/unisonweb/unison/pull/4317
• Modify intermediate code/value format to be less Haskell-runtime specific by @dolio in https://github.com/unisonweb/unison/pull/4311
• Fix compile error in benchmarks by @pchiusano in https://github.com/unisonweb/unison/pull/4323
• Allow multiple ignored bindings in a block by @pchiusano in https://github.com/unisonweb/unison/pull/4324
• Fixes to suffix-based name resolution when local file names shadow codebase names by @pchiusano in https://github.com/unisonweb/unison/pull/4325
• Add new combinator for getting ALL the dependencies of a decl. by @ChrisPenner in https://github.com/unisonweb/unison/pull/4322
• refactor: replace runEitherTransaction with more ergonomic runTransactionWithRollback by @mitchellwrosen in https://github.com/unisonweb/unison/pull/4327
• Add missing dependency crawling for MCode by @dolio in https://github.com/unisonweb/unison/pull/4326

New Contributors

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

Full Changelog: https://github.com/unisonweb/unison/compare/release/M5f...release/M5g

What's Changed

• bump haskell.nix to support new lsp by @tstat in https://github.com/unisonweb/unison/pull/4275
• Don't completely crash mid-update on missing metadata by @ChrisPenner in https://github.com/unisonweb/unison/pull/4281
• Clear temp entity tables on login by @ChrisPenner in https://github.com/unisonweb/unison/pull/4286
• Implement verified hashing for racket backend, with assorted changes by @dolio in https://github.com/unisonweb/unison/pull/4287
• feat: allow pulling /releases/latest by @mitchellwrosen in https://github.com/unisonweb/unison/pull/4288

Full Changelog: https://github.com/unisonweb/unison/compare/release/M5e...release/M5f

What's Changed

• cloud jit: implement createTempDirectory removeDirectory createDirectory renameFile isFileOpen ready by @jaredly in https://github.com/unisonweb/unison/pull/4276

Full Changelog: https://github.com/unisonweb/unison/compare/release/M5d...release/M5e

What's Changed

• Remove Share paths from release flow by @ChrisPenner in https://github.com/unisonweb/unison/pull/4248
• Add autocomplete for ui by @ChrisPenner in https://github.com/unisonweb/unison/pull/4249
• remove cache.iog.io by @aryairani in https://github.com/unisonweb/unison/pull/4251
• Add github action to populate nix development cache by @tstat in https://github.com/unisonweb/unison/pull/4244
• Change runtime term link representation to allow code validation by @dolio in https://github.com/unisonweb/unison/pull/4255
• Add -y when calling into racket by @dolio in https://github.com/unisonweb/unison/pull/4264
• Bump LSP lib versions by @ChrisPenner in https://github.com/unisonweb/unison/pull/4262
• Project UI support by @ChrisPenner in https://github.com/unisonweb/unison/pull/4246
• Provide mechanism for hashing BranchFormatFull by @ChrisPenner in https://github.com/unisonweb/unison/pull/4261
• Adds APIs for listing project and branch names in Unison Local by @ChrisPenner in https://github.com/unisonweb/unison/pull/4250
• fixes #4239, pretty printing for single arg infix op terms no longer displays "error" by @kylegoetz in https://github.com/unisonweb/unison/pull/4260
• Only run ormolu formatter on trunk by @ChrisPenner in https://github.com/unisonweb/unison/pull/4270
• disable nix-dev-cache temporarily by @aryairani in https://github.com/unisonweb/unison/pull/4271
• Round tripping code now yields same hash after reparsing in all known cases by @pchiusano in https://github.com/unisonweb/unison/pull/4267
• Fix bug where constructors would incorrectly print with a prefix by @pchiusano in https://github.com/unisonweb/unison/pull/4274

Full Changelog: https://github.com/unisonweb/unison/compare/release/M5c...release/M5d