unisonweb/unison release/M4a on GitHub

What's Changed

Editor Integration via Language Server Protocol

You can now get error messages and hints directly inside your editor.
Most editors which support LSP should also be compatible.

We now have an official Unison Language VSCode extension!

See the language server setup guide for more information.

Other Changes

Update release-steps.md by @aryairani in #3242
Don't expect patch LHS when git-syncing by @mitchellwrosen in #3252
monomorphize Action/Command to IO by @mitchellwrosen in #3255
Fix issues with continuations and pending arguments by @dolio in #3266
Fix a variable handling bug in the pattern compiler by @dolio in #3269
delete unused root branch watching code by @mitchellwrosen in #3262
Simplify Command and HandleCommand by @tstat in #3264
Fix erroneous 'compiled' runtime state by @dolio in #3284
Request 'cloud' scope when authorizing by @ChrisPenner in #3287
add some windows build tips to development.md by @aryairani in #3279
Avoid inferring duplicate concrete abilities by @dolio in #3274
Make sure we're actually caching the right stack root by @ChrisPenner in #3176
Fix incorrect calculation of list of constructor ids for types with 0 constructors by @mitchellwrosen in #3293
Float local function definitions to their own reference during compilation by @dolio in #3296
Enforce branch sharing and cache already loaded branches by @ChrisPenner in #3297
Missed Name instructions as a source of combinator deps by @dolio in #3301
Bias PPE towards term being printed by @ChrisPenner in #3260
Fix serialization issue with code that uses abilities by @ceedubs in #3303
Expose source ranges from errors for use with LSP by @ChrisPenner in #3267
Replace Action monad with Cli monad by @mitchellwrosen in #3281
Collect syntax modules under Unison.Syntax by @seagreen in #3319
Fix Label instance by @mitchellwrosen in #3321
Fix garbled UCM prompt on Windows by @jesselooney in #3307
Vacuum SQLite after pull by @mitchellwrosen in #3310
Prepare for GHC 9.2.* upgrade by @ChrisPenner in #3304
update to ghc 9.2.3 by @aryairani in #3117
Make fzf commands local to the current perspective by @ChrisPenner in #3318
Don't show denominator entity count in push/pull by @mitchellwrosen in #3323
Tab completion speedup by @ChrisPenner in #3312
Correct docs selection by @ChrisPenner in #3305
Limit name search of view to current namespace by @ChrisPenner in #3332
Don't suggest find.global when running find.global by @tstat in #3350
Mark Clock.internals.{sec, nsec} as Tracked by @ceedubs in #3353
Move histories during move.namespace by @ChrisPenner in #3348
Add add.run command by @tstat in #3326
Implement a primop for catching runtime exceptions by @dolio in #3365
Resolve path remappings to a partial prefix if one exists by @ChrisPenner in #3358
Add tip to reflog output showing example diff.namespace usage by @jesselooney in #3302
Improve error messages for ability equality errors by @dolio in #3317
Fix delete.term-replacement to only check requested type/term exists by @scott-christopher in #1810
Fix a bug in the tryEval wrapper code by @dolio in #3372
Fix behaviour of names.global by @ChrisPenner in #3367
Fix a bug in the argument handling of the runtime by @dolio in #3374
Don't abort 'add' on missing metadata by @ChrisPenner in #3359
Ensure pull-request.load doesn't mangle history by @ChrisPenner in #3354
Move reflog into sqlite by @ChrisPenner in #3364
Allow conflicted updates by @mitchellwrosen in #3375
Store namespace statistics by @ChrisPenner in #3378
More intuitive tab completion behaviour by @ChrisPenner in #3406
LSP Mk I by @ChrisPenner in #3213
Move to shallow lsBranch implementation everywhere by @ChrisPenner in #3405
Allow caller to specify migration strategy when loading codebase. by @ChrisPenner in #3408
ANSI on Windows fix by @ChrisPenner in #3410
Change error message, constructor, functions from vector to list (closes #3360) by @cstml in #3380
pr.create help text: use proper share names by @ceedubs in #3414
Fix the way builtins were building Failure values by @dolio in #3413
Show self-references in todo output by @mitchellwrosen in #3400
Pull: update the success message when pulling by @hojberg in #3416
Term Definition Summaries by @ChrisPenner in #3404
Type Summaries by @ChrisPenner in #3411
Add error handling for LSP startup to avoid crashing UCM by @ChrisPenner in #3415
Fix JSON Representations by @ChrisPenner in #3427
Introduce a framework for testing serialization and hashing across sessions by @dolio in #3401
Uniformize translation between internal/external closure representations by @dolio in #3377
LSP Mk II by @ChrisPenner in #3217
io.test alias, completion, and doc fix by @ceedubs in #3420
Don't clobber latest file on view by @ChrisPenner in #3429
Update serialized test cases by @dolio in #3433
Export Term/Type Summary types for use in Share by @ChrisPenner in #3432
Refactor: pull update handler out of HandleInput.hs by @mitchellwrosen in #3412
Tab completion for share namespaces by @ChrisPenner in #3426
Pull base from the most recent major milestone by @ChrisPenner in #3438
Exit with non-zero error codes on failure. by @ChrisPenner in #3446
Accept trailing commas in records by @ChrisPenner in #3453
Use locally installed stack in CI by @ChrisPenner in #3444
less verbose migration progress by @mitchellwrosen in #3452
Option for starting path by @ChrisPenner in #3430
Automate Releases by @ChrisPenner in #3435

New Contributors

@jesselooney made their first contribution in #3307
@cstml made their first contribution in #3380

Full Changelog: release/M4...release/M4a