Unison Files

What's Changed

• Allow overlap of term+type references during canonicalization by @dolio in https://github.com/unisonweb/unison/pull/6176
• Support underscores in numeric literals by @tfausak in https://github.com/unisonweb/unison/pull/6180
• Don't use pager for type errors by @ChrisPenner in https://github.com/unisonweb/unison/pull/6186
• add list files flag & dirty files check by @aryairani in https://github.com/unisonweb/unison/pull/6193
• use explicit locale for attestation sort by @aryairani in https://github.com/unisonweb/unison/pull/6195
• Fix ctrl-c on pager by @ChrisPenner in https://github.com/unisonweb/unison/pull/6187
• only amend a commit if the attestation actually changed by @aryairani in https://github.com/unisonweb/unison/pull/6199
• don't record a tests failure just because stack isn't on the PATH. by @aryairani in https://github.com/unisonweb/unison/pull/6202
• don't make me build ucm both with and without tests by @aryairani in https://github.com/unisonweb/unison/pull/6203
• add --list-files output to CI hashing step by @aryairani in https://github.com/unisonweb/unison/pull/6204
• stop using ripgrep since it wasn't working and we don't need it. by @aryairani in https://github.com/unisonweb/unison/pull/6205
• don't have pre-push hook stash changes unless it needs to by @aryairani in https://github.com/unisonweb/unison/pull/6206
• Add ForeignPtr type and builtins for finalizing external resources by @dolio in https://github.com/unisonweb/unison/pull/6192
• single entry point for quick and full check by @aryairani in https://github.com/unisonweb/unison/pull/6209
• don't cancel ci-result when one of the tests is skipped (by design) by @aryairani in https://github.com/unisonweb/unison/pull/6210
• don't run quick-check when pushing to the merge queue by @aryairani in https://github.com/unisonweb/unison/pull/6213
• Add missing comparison cases for new builtin types by @dolio in https://github.com/unisonweb/unison/pull/6208
• Fix LSP thread hang on exit on Windows by @andgate in https://github.com/unisonweb/unison/pull/6196
• try to make skipped job names more comprehensible by @aryairani in https://github.com/unisonweb/unison/pull/6214
• Support underscores in bytes literals by @tfausak in https://github.com/unisonweb/unison/pull/6181
• Exempt .github/workflows/proofs/ from CODEOWNERS review by @aryairani in https://github.com/unisonweb/unison/pull/6215
• short circuit formatting test if proof exists by @aryairani in https://github.com/unisonweb/unison/pull/6216
• Suggest == when = is used in expression position by @tfausak in https://github.com/unisonweb/unison/pull/6219
• LSP - Fix prefixing on type sig hints by @ChrisPenner in https://github.com/unisonweb/unison/pull/6188
• Add missing type hint for blanks by @ChrisPenner in https://github.com/unisonweb/unison/pull/6191
• Improve type checking of recursive lets with a mix of binding annotations by @dolio in https://github.com/unisonweb/unison/pull/6221

New Contributors

• @tfausak made their first contribution in https://github.com/unisonweb/unison/pull/6180
• @andgate made their first contribution in https://github.com/unisonweb/unison/pull/6196

Full Changelog: https://github.com/unisonweb/unison/compare/release/1.1.1...release/1.2.0