Commit Graph

16999 Commits

Author SHA1 Message Date
Mitchell Rosen
1741ffbbd6 ⅄ trunk → 24-08-01-merge-api 2024-08-08 14:55:17 -04:00
Chris Penner
bcf0ff68f4 Only emit annotation changes if it's a hash change 2024-08-08 11:34:33 -07:00
Mitchell Rosen
0d560d209a delete unused import 2024-08-08 13:34:18 -04:00
Mitchell Rosen
c230be29aa move more code around 2024-08-08 12:19:53 -04:00
Mitchell Rosen
a40bfd64ad move the rest of the mergeblobs over 2024-08-08 11:57:14 -04:00
mitchellwrosen
2b33116163 automatically run ormolu 2024-08-08 15:51:13 +00:00
Mitchell Rosen
3b37c4b349 move some of the mergeblob API over to unison-merge 2024-08-08 11:50:26 -04:00
Mitchell Rosen
53209c3b69 more mergeblob work 2024-08-08 11:16:43 -04:00
Mitchell Rosen
c88c4a3643 rename a couple things 2024-08-06 13:25:02 -04:00
Mitchell Rosen
d5a9585194 continue refactoring 2024-08-06 13:05:24 -04:00
Arya Irani
4c3eb03079
Merge pull request #5257 from unisonweb/24-07-24-diff-api 2024-08-06 16:01:41 +00:00
Mitchell Rosen
aedb9c2e43 begin moving over to "mergeblob" api 2024-08-05 15:48:12 -04:00
Mitchell Rosen
816d785b8d extract rendering conflicts and dependents to a helper 2024-08-05 14:34:36 -04:00
Mitchell Rosen
4acee45238 extract PPE making to merge API 2024-08-05 14:11:42 -04:00
mitchellwrosen
2ffbba47c3 automatically run ormolu 2024-08-05 16:10:55 +00:00
Mitchell Rosen
565eb6625f don't hydrate twice, and hyrate lca defns too 2024-08-05 12:10:16 -04:00
Mitchell Rosen
325e4ee4de separate partitioning from asserting no builtins 2024-08-05 11:38:25 -04:00
Mitchell Rosen
7909114218 ⅄ trunk → 24-07-24-diff-api 2024-08-05 10:41:06 -04:00
Mitchell Rosen
b94698057d ⅄ trunk → 24-08-01-merge-api 2024-08-05 10:38:38 -04:00
Arya Irani
f63cfbeadb
Merge pull request #5252 from sellout/test-1327 2024-08-03 23:46:39 +00:00
Arya Irani
c049c65ad7
Merge pull request #5187 from sellout/doc-lexer 2024-08-03 23:45:30 +00:00
Arya Irani
97c9109291
Merge pull request #5250 from unisonweb/update-defn-order 2024-08-02 22:22:37 +00:00
Arya Irani
69886f44a4
Merge pull request #5264 from unisonweb/nix-tmate 2024-08-02 22:21:39 +00:00
Arya Irani
6cb39c8838
Update .github/workflows/nix-dev-cache.yaml
Co-authored-by: Greg Pfeil <greg@technomadic.org>
2024-08-02 16:00:20 -04:00
Chris Penner
c32bb936d5
Merge pull request #5265 from unisonweb/lsp/fix-unused-bindings-in-cases
Fix unused-binding-detection in case patterns
2024-08-02 12:59:37 -07:00
Arya Irani
d7ac7c6031
Update .github/workflows/nix-dev-cache.yaml 2024-08-02 15:48:33 -04:00
Arya Irani
02f9eb7eed
Update .github/workflows/nix-dev-cache.yaml
Co-authored-by: Greg Pfeil <greg@technomadic.org>
2024-08-02 15:43:05 -04:00
Arya Irani
d903fd2401
Update nix-dev-cache.yaml 2024-08-02 14:32:57 -04:00
Arya Irani
d12176f2bb
Update nix-dev-cache.yaml 2024-08-02 14:14:48 -04:00
Arya Irani
a26a31a7cd
Update nix-dev-cache.yaml 2024-08-02 14:13:47 -04:00
Chris Penner
3e87dc3854 Fix unused-binding-detection in case patterns 2024-08-02 10:57:16 -07:00
Arya Irani
ac75905f8b
debug nix-dev-cache 2024-08-02 13:44:31 -04:00
Arya Irani
d184ac1f74
Merge pull request #5262 from unisonweb/update-defn-order-tweak 2024-08-02 17:33:40 +00:00
Greg Pfeil
1ee188d0e3
Merge remote-tracking branch 'upstream/trunk' into doc-lexer 2024-08-01 23:01:02 -06:00
Greg Pfeil
96f865b37c
Add a transcript showing that #5076 was fixed
Some handling of blocks without final newlines was improved in the course of this PR.

Fixes #5076.
2024-08-01 22:58:13 -06:00
Greg Pfeil
c5a66d5608
Simplify Doc parser from State to Reader 2024-08-01 22:52:54 -06:00
mitchellwrosen
3f73d7fd89 automatically run ormolu 2024-08-01 22:16:38 +00:00
Mitchell Rosen
5bf55a4786 Merge branch '24-07-31-merge-refactor' into 24-08-01-merge-api 2024-08-01 18:15:57 -04:00
Mitchell Rosen
8041e25b83 tease apart identifyDependents 2024-08-01 18:15:02 -04:00
Arya Irani
8a3e2efafc
Merge pull request #5258 from unisonweb/cp/global-search 2024-08-01 21:56:22 +00:00
Arya Irani
9100b97e91 tweak output messages 2024-08-01 17:49:45 -04:00
Mitchell Rosen
e89b0ae06b ⅄ 24-07-31-merge-refactor → 24-08-01-merge-api 2024-08-01 16:24:18 -04:00
Mitchell Rosen
acc63bff2b generalize findConflictedAlias a bit 2024-08-01 16:23:31 -04:00
Greg Pfeil
4803d446f1
Add some description to the new transcripts 2024-08-01 12:27:49 -06:00
Mitchell Rosen
1c0d1a1ed1 delete MergeDatabase 2024-08-01 09:06:39 -04:00
Mitchell Rosen
2e328d2aaa remove "old style" merge functions that take merge database as argument 2024-08-01 08:28:02 -04:00
Mitchell Rosen
2860665925 extract findConflictedAlias to Unison.Merge 2024-08-01 08:03:48 -04:00
ChrisPenner
8c9c3baad8 automatically run ormolu 2024-08-01 00:17:33 +00:00
Chris Penner
f9db384df1 Fix transcripts 2024-07-31 17:16:18 -07:00
Chris Penner
e545e0b1a7 Rerun transcripts 2024-07-31 16:41:00 -07:00