Commit Graph

282 Commits

Author SHA1 Message Date
Chris Penner
500260a01a Merge branch 'trunk' into cp/v3-schema 2022-03-03 14:38:19 -06:00
Chris Penner
1e1b1e9ba7 Bump schema version to 3 in create.sql 2022-03-03 12:27:09 -06:00
Chris Penner
e621a07388 Add schema 2to3 migration 2022-03-03 10:39:46 -06:00
Arya Irani
d86b9dc5d8 ORMOLU_DISABLE parts of Queries.hs 2022-03-02 16:10:02 -05:00
Chris Penner
8e65b79f5e format with new ormolu 2022-02-28 15:52:25 -06:00
Chris Penner
fa7a20b92c Remove ORMOLU_DISABLE 2022-02-28 15:41:59 -06:00
Chris Penner
74fd82fe0e
Don't sync ALL test watches. (#2904)
* Only sync hashes and watch expressions which actually match the requested watch type

* Don't sync all test watch expressions indiscriminately.
2022-02-15 11:45:21 -06:00
Chris Penner
eef7cbcd5a
Recover from missing branch objects by replacing with empty branches. (#2844)
* Replace missing objects with the empty object when migrating.

* Add warning message when causals are missing branch objects.
2022-02-02 14:10:56 -06:00
Chris Penner
c1e659d0d9 Update hash version in sqlite query. 2022-01-21 12:12:26 -06:00
Chris Penner
acd6e049c4 Add progress bar to migration and add prompt to begin migration. 2022-01-21 12:01:29 -06:00
Chris Penner
6e121d0199 Merge branch 'trunk' into topic/rehash-codebase 2022-01-05 17:16:51 -06:00
Chris Penner
0bb7e4553d Get copy codebase logic compiling 2021-12-20 13:49:19 -06:00
Chris Penner
9c225cb08d Merge branch 'trunk' into topic/rehash-codebase-merge-trunk 2021-12-14 12:40:18 -06:00
Arya Irani
a3aa392ea1
Merge pull request #2732 from unisonweb/fix/2720 2021-12-10 06:39:41 -10:00
Chris Penner
059b7c287a WIP 2021-12-08 11:47:53 -06:00
Chris Penner
e5f97732d9 WIP 2021-12-07 17:44:10 -06:00
Arya Irani
cd686b6452 initialize new codebase with schema version 2
fixes #2720
2021-12-06 12:16:54 -10:00
Arya Irani
52b2c81783 never assume builtins are known to the db
fixes 107 failing transcripts
2021-12-06 11:55:21 -10:00
Mitchell Rosen
1f73bd1d23
Merge pull request #2667 from unisonweb/21-11-23-generalize-get-dependents
Include self-references in dependents index
2021-11-30 12:38:06 -05:00
Mitchell Rosen
a262351634 document that we index self-references 2021-11-30 11:12:31 -05:00
Chris Penner
7ce4d3b479 Merge branch 'trunk' into topic/rehash-codebase 2021-11-29 16:48:09 -06:00
Mitchell Rosen
7cd517eafa Merge two set utils modules 2021-11-24 12:26:06 -05:00
Mitchell Rosen
0e28a72d22 Merge two map utils modules 2021-11-24 12:20:27 -05:00
Mitchell Rosen
b43bd05800 Don't return self-references in dependencies queries 2021-11-23 13:55:21 -05:00
Mitchell Rosen
bdc711ade8 index self-referencing terms 2021-11-23 13:31:16 -05:00
Mitchell Rosen
bb57941d5a index self-referencing type decls 2021-11-23 13:20:38 -05:00
Chris Penner
f8b39a7744 Re-enable ORMOLU on properly formatted files 2021-11-23 12:10:59 -06:00
Chris Penner
54d6fbf1bd Add ORMOLU_DISABLE to every file.
This allows all developers to add ormolu autoformat on save in their
editors without worrying about creating huge diffs on files that haven't
been formatted yet.

If you format a file, remove the DISABLE comment to ensure it stays
formatted in the future.
2021-11-23 12:10:58 -06:00
Mitchell Rosen
e3999c8730 ⅄ 21-11-10-reftypes → 21-11-19-reftypes-rehash-branch 2021-11-20 23:15:21 -05:00
Chris Penner
56666e0520 Move vacuum out of transactions 2021-11-12 13:26:13 -06:00
Chris Penner
dd6d82da21 Garbage collect watches without objects 2021-11-12 11:05:15 -06:00
Chris Penner
a39d898589 Make migration transaction safe and upgrade to schema version 2 after completion. 2021-11-12 10:39:29 -06:00
Chris Penner
18da0e9cc9 Use savepoints in migration 2021-11-12 09:58:46 -06:00
Arya Irani
8da0e284ac Merge remote-tracking branch 'origin/trunk' into topic/rehash-codebase
# Conflicts:
#	parser-typechecker/tests/Unison/Test/DataDeclaration.hs
#	parser-typechecker/tests/Unison/Test/Term.hs
2021-11-11 23:22:09 -05:00
Mitchell Rosen
dd1c97c215 fix delete logic 2021-11-11 13:10:32 -05:00
Arya Irani
49bea34ed5 don't export unsafe record accessor 2021-11-11 00:18:07 -05:00
Arya Irani
5a34dc8bf3 re-export U.Util.Hash(Hash) as Unison.Hash(Hash)
and clean up some aspects of and usages of the apis
2021-11-10 23:36:54 -05:00
Mitchell Rosen
8a449ef453 some post-migration migration/cleanup 2021-11-09 16:04:01 -05:00
Chris Penner
7cb1ab306e Reformat 2021-11-05 12:59:22 -06:00
Chris Penner
4114ae5bf4 Implement branchHashes_ 2021-11-05 12:54:46 -06:00
Chris Penner
931e4f606f Finish up most of migratePatch, just have a few lifts to write 2021-11-05 10:46:20 -06:00
Chris Penner
a30b932cc6 Add a bunch of helper traversals 2021-11-05 10:30:43 -06:00
Arya Irani
98e0e6be1b Merge branch 'topic/rehash-codebase' of ghs:unisonweb/unison into topic/rehash-codebase
# Please enter a commit message to explain why this merge is necessary,
# especially if it merges an updated upstream into a topic branch.
#
# Lines starting with '#' will be ignored, and an empty message aborts
# the commit.
2021-11-03 21:07:12 -04:00
Arya Irani
0a5a01b31e refactor Operations.hs to utilize LocalizeObject 2021-11-03 20:20:54 -04:00
Chris Penner
9d56b5ee17 Updates on migratePatch. Still work to do here. 2021-11-03 17:09:56 -06:00
Chris Penner
35c813864e Whoops, add missing traversal 2021-11-03 15:00:32 -06:00
Chris Penner
1020290a8e Cleanup 2021-11-03 14:55:55 -06:00
Arya Irani
4a7b0f5604 Merge remote-tracking branch 'origin/trunk' into topic/rehash-codebase
# Conflicts:
#	unison-core/src/Unison/Reference.hs
#	unison-core/src/Unison/Referent'.hs
2021-11-03 10:48:13 -04:00
Chris Penner
d9f5c7b021 Implement some more traversals 2021-11-02 17:16:47 -06:00
Mitchell Rosen
07fb8343ac more migratePatch work 2021-11-02 16:44:18 -04:00