Arya Irani
8373e2b447
don't use deepTermMetadata for test
2023-11-25 13:32:30 -05:00
Arya Irani
9a6cbc13cc
buildBigUnisonFile wip
2023-11-06 13:29:00 -05:00
Arya Irani
475b098728
talking and pairing and pairing and talking
2023-11-03 15:49:06 -04:00
Chris Penner
1bc523bef5
Merge pull request #4329 from unisonweb/cp/validate-definition-hashes-2
...
Add Term Hash Validation
2023-10-02 10:55:39 -07:00
Mitchell Rosen
291b2c27a6
add saveBranchV3
2023-09-26 11:09:21 -04:00
Chris Penner
284ee7b9a7
Mostly done verifyTermFormatHash
2023-09-18 17:32:33 -07:00
Chris Penner
2bf2dc914d
WIP
2023-09-18 16:39:51 -07:00
Chris Penner
491a8b1120
Implement Term.unhashComponent
2023-09-18 16:26:29 -07:00
Mitchell Rosen
fc2b0169f5
⅄ trunk → 23-08-31-one-reference-type
2023-09-07 14:54:39 -04:00
Mitchell Rosen
83f5e424e6
Make Unison.Reference just re-export the type from U.Codebase.Reference
2023-08-31 12:45:31 -04:00
Mitchell Rosen
c3e9a42472
add back some of old ShortHash comment
2023-08-31 11:07:32 -04:00
Mitchell Rosen
66d650eb60
rename U.Codebase.ShortHash back to Unison.ShortHash
2023-08-30 15:28:56 -04:00
Mitchell Rosen
7454829dd5
copy Unison.ShortHash's API over to U.Codebase.ShortHash
2023-08-30 15:03:53 -04:00
Mitchell Rosen
045dd11041
move U.Codebase.ShortHash from unison-codebase to unison-core
2023-08-30 11:16:39 -04:00
Arya Irani
6c9b4eb008
Merge pull request #4250 from unisonweb/cp/project-branch-list
2023-08-15 12:15:49 -04:00
Arya Irani
f228f0d9b0
Merge pull request #4261 from unisonweb/cp/generalize-branch-format
2023-08-15 12:07:56 -04:00
Chris Penner
d6b5308a52
Add hashBranchFormatToH2Branch
2023-08-11 16:53:02 -07:00
Chris Penner
e27fcfb00f
Add project and branch listing endpoints
2023-08-08 14:58:45 -07:00
Chris Penner
ab703fff81
Split out UI command.
2023-08-04 18:48:19 -07:00
pchiusano
629b27f80f
automatically run ormolu
2023-07-11 18:35:05 +00:00
Paul Chiusano
672d85205d
alphabetically sort structured find output
2023-07-11 14:32:14 -04:00
Mitchell Rosen
b5702b9f88
ormolu the world
2023-05-25 15:02:20 -04:00
Mitchell Rosen
615cecb732
fix remote repo parser
2023-03-30 08:28:54 -04:00
Mitchell Rosen
5fc674d4d4
move some Project types from Unison.Project to Unison.Core.Project
2023-03-14 14:33:54 -04:00
Travis Staton
d38f31a93c
Merge remote-tracking branch 'origin/trunk' into topic/projects
2023-02-22 12:51:03 -05:00
Paul Chiusano
88ef0a8d37
Ormolu-ify the codebase and update development.markdown docs
2023-02-13 13:03:08 -06:00
Travis Staton
bf88e668a6
upgrade hpack to 0.35
2023-02-09 14:04:47 -05:00
Chris Penner
59e8a25693
Fix annotations for bindings and blocks ( #3689 )
...
* WIP: fix up anns for bindings, blocks, etc.
* Working annotations for lets
* Add nesting tests
* Fix nesting tests
* Fix annotations on let-rec blocks
* Fix bad test src
* Skip destructuring binds test for now.
* Remove debugging
* Better fallbacks for finding ref nodes
* Transcript updates
* Fix bad 'contains'
* Rewrite letrec and let combinators to avoid requiring semigroup
* Don't include block openers in the block itself.
We don't want things like '=' or '->' to be part of a block
* Re-run transcripts
* Remove redundant constraint
2023-01-10 11:12:51 -06:00
Mitchell Rosen
a87a688471
fold U.Util.Hash into Unison.Hash
2022-12-15 13:48:36 -05:00
Mitchell Rosen
6e99914c77
⅄ trunk → 22-12-14-tidy-up-hashing-package
2022-12-15 12:46:57 -05:00
Mitchell Rosen
ee9309ee15
⅄ trunk → 22-12-09-break-up-unison-util
2022-12-15 11:41:36 -05:00
Mitchell Rosen
4be5ff5346
⅄ trunk → 22-12-14-tidy-up-hashing-package
2022-12-14 21:15:35 -05:00
Mitchell Rosen
bbc17e01a6
move Unison.Hash and friends to new unison-hash package
2022-12-14 19:03:52 -05:00
Mitchell Rosen
3e48cabaad
Add Unison.ContentAddressable class
2022-12-14 18:37:51 -05:00
Mitchell Rosen
9914000071
⅄ trunk → 22-12-12-one-name-segment-type
2022-12-14 17:48:57 -05:00
Mitchell Rosen
8d483ab514
delete unused DefnHash
2022-12-12 16:22:55 -05:00
Mitchell Rosen
857928be7f
delete unused EditHash wrapper
2022-12-12 16:04:32 -05:00
Mitchell Rosen
fb35e9580c
delete second copy of CausalHash
2022-12-12 15:56:44 -05:00
Mitchell Rosen
afe2c26192
move U.Codebase.HashTags from unison-codebase to unison-core
2022-12-12 15:16:14 -05:00
Mitchell Rosen
d4b0b064c5
Move Unison.NameSegment and Unison.Util.Alphabetical from unison-core1 to unison-core
2022-12-12 12:50:27 -05:00
Mitchell Rosen
7eee9e01bb
remove vestigial unison-util package
2022-12-09 14:37:52 -05:00
Chris Penner
b45b07ae93
Include LHS of binary exprs in annotation ( #3640 )
...
* Include LHS of binary exprs in annotation
* Add combinators from Hover branch for testing
* Finish adding LSP annotation tests
* Fix custom op lhs annotations
2022-12-05 09:56:57 -06:00
Dan Doel
567799ff94
Export visit_
from ABT modules, and only require Applicative
2022-11-02 01:45:38 -04:00
Chris Penner
063536615a
Pin stack version in CI ( #3465 )
...
* Pin stack version in CI
* Revert back to old hpack version
* Pin ubuntu version
* Swap all powershell to bash
* Set shell on all 'defaults' blocks
2022-09-28 14:00:32 -06:00
Chris Penner
4988428fe4
Rebuild with stack 2.9.1
2022-09-27 13:53:12 -06:00
Travis Staton
bebfdbe5da
Merge remote-tracking branch 'origin/trunk' into travis/run-into
2022-08-24 15:16:26 -04:00
Travis Staton
8b0ec6f3e3
cata and para
2022-08-18 15:18:06 -04:00
Travis Staton
c5533cdbf2
add cata
2022-08-17 16:47:50 -04:00
Chris Penner
8696fef129
Tab completion speedup ( #3312 )
...
* Working and fast prefix-based tab complete
* Re-arrange completion modules
* Hash completion for conflicted terms
* Sort Completions
* Remove fuzzy matcher for now
* Remove 'Branch' from suggestion signature
* Add ability to test completions in transcripts
* Use explicit lax-path query parser
2022-08-16 15:01:46 -06:00
Mitchell Rosen
cc71ee0352
minor cleanup
2022-07-07 13:08:42 -04:00