unisonweb/unison release/M4d

on GitHub

What's Changed

• add putTypeDeclarationComponent to codebase interface by @mitchellwrosen in #3508
• Add putTermComponent to codebase interface by @mitchellwrosen in #3491
• Refactor: make addToDependentsIndex take a collection of dependencies by @mitchellwrosen in #3489
• Refactor: monomorphize v to Symbol in slurp stuff by @mitchellwrosen in #3463
• Add putTermComponent to codebase record by @mitchellwrosen in #3503
• Surgical name lookup index updates by @ChrisPenner in #3505
• LSP Auto-completion by @ChrisPenner in #3488
• Pull out unison-util-rope into its own package by @mitchellwrosen in #3518
• Fewer parens inside list types by @runarorama in #3512
• Generate stack traces for calls to bug and similar. by @dolio in #3531
• slightly better error description for unhandled ability requests by @stew in #3534
• Add export list to Unison.Var by @mitchellwrosen in #3528
• Pull out unison-util-bytes into its own package by @mitchellwrosen in #3519
• Fix to Pattern.or and Pattern.replicate to properly do backtracking when given composite patterns by @pchiusano in #3540
• Do TDNR substitutions in a single term traversal by @ChrisPenner in #2789
• Allow specifying custom base version for releases by @ChrisPenner in #3522
• Improve errors on bad short-hashes by @ChrisPenner in #3541
• Fix universal quantifiers disappearing in nested bindings by @runarorama in #3543
• fix Cli.time logic by @aryairani in #3545
• Pull out a couple modules into new unison-syntax package by @mitchellwrosen in #3521
• Comment out builtins from the edit command by @runarorama in #3548
• run ucm main in an unbound thread by @mitchellwrosen in #3546
• do an in-sqlite before-check before reconstructing FF-path proof client-side by @mitchellwrosen in #3550
• Fixes #3523 by @tstat in #3544
• Split V2.ShortCausalHash from V2.ShortBranchHash by @ChrisPenner in #3549
• Improve decompilation via undoing lambda lifting transformations by @dolio in #3553
• add Cli.time calls to HandleInput by @aryairani in #3552
• Add 'Show' for backend errors for usage in Sentry errors by @ChrisPenner in #3554
• Refactor: make dependents in Transaction, not IO by @mitchellwrosen in #3561
• Refactor: make isType in Transaction rather than IO by @mitchellwrosen in #3564
• Refactor: make getDeclComponent in Transaction, not IO by @mitchellwrosen in #3563
• Scope.bytearrayOf builtin had reversed arguments by @dolio in #3567

Full Changelog: release/M4c...release/M4d