Mitchell Rosen
ee9309ee15
⅄ trunk → 22-12-09-break-up-unison-util
2022-12-15 11:41:36 -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
Mitchell Rosen
94ed4b09ee
move orphan instances, and de-dupe more Var helper functions
2022-07-05 13:26:14 -04:00
Mitchell Rosen
df4a7de48a
delete unused import
2022-07-05 12:49:59 -04:00
Mitchell Rosen
75bccb7700
go back to using show
2022-07-05 12:33:45 -04:00
Mitchell Rosen
8c3ced61bc
Delete Unison.ABT.ABT and Unison.ABT.Term
...
Replace with re-exports from U.Core.ABT
2022-06-13 21:35:03 -04:00
Arya Irani
da18e47b2e
Add package.yaml workaround to stack rebuild issue
2022-06-03 13:07:33 -04: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
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
Arya Irani
a98a706a32
start removing hashable from codebase2
2021-10-05 20:14:27 -04:00
Arya Irani
572b65dd90
delete some unused package dependencies
2021-07-13 09:39:20 -07:00
Arya Irani
c9e5650a55
upgrading stack from 2.5.1 to 2.7.1
...
caused some minor hpack output diffs
2021-05-10 09:09:33 -06:00
Arya Irani
6050e62289
pull some weeds
2021-05-06 23:19:11 -06:00
Arya Irani
0b57929fd1
delete and clean up stuff
2021-04-28 00:09:14 -06:00
Arya Irani
df2b048b34
cleanup
2021-04-27 19:21:31 -06:00
Arya Irani
c05acce10b
initial sync framework
2021-02-22 11:52:47 -05:00
Arya Irani
e0087f6d08
fix set namespace_root, and add a bunch of debug logging
2021-01-26 17:08:06 -05:00
Arya Irani
b1504fa970
wip
2020-10-22 14:05:07 -04:00
Arya Irani
22f07828d0
wip
2020-10-19 10:17:25 -04:00
Arya Irani
6497f8be11
create dependency index
2020-10-15 11:57:49 -04:00
Arya Irani
f59d9cd0fa
wip; next is add term to index
2020-10-13 16:54:08 -04:00
Arya Irani
2972bcc726
converting and rehashing v1 term components
2020-10-10 01:15:51 -04:00
Arya Irani
2a7eebf3af
work on rewriting terms
...
renamed ABT.annotatedVar to ABT.var
renamed ABT.extraMap/M to ABT.transform/M
2020-10-07 15:05:54 -04:00
Arya Irani
ae3ea8a689
wip
2020-10-05 22:45:42 -04:00
Arya Irani
49328bb25e
codebase2 wip; temporarily deleted old packages to improve hls startup
2020-09-15 12:28:28 -04:00
