release/M4a

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