Arya Irani
f4254609fd
switch hereFile to FileEmbed
2023-07-27 10:48:33 -04:00
Mitchell Rosen
4e8a700f4b
⅄ trunk → 23-06-26-reuse-unique-type-guids-v2
2023-07-20 12:23:20 -04:00
Chris Penner
b5b12972d8
Merge branch 'trunk' into lsp/type-sig-hints
2023-07-19 16:20:29 -06:00
Mitchell Rosen
5443781e7c
finish tying together unique type guid reuse
2023-07-18 12:59:37 -04:00
Arya Irani
5bce6d80ea
Merge pull request #4165 from unisonweb/cp/silent-transcript-runner
2023-07-07 12:21:19 -04:00
Arya Irani
7509f80341
move the file watcher to the unison-cli package
2023-07-05 12:55:29 -04:00
Chris Penner
e683c914b7
Silence stdout from actual transcript test runs
2023-07-05 10:08:27 -06:00
Dan Doel
49ac8f008a
Put current jit branch in a dedicated file for cache keying
2023-06-30 16:04:13 -04:00
Mitchell Rosen
3ec0bb1485
⅄ trunk → 23-06-23-rework-old-startup-flow
2023-06-23 14:43:46 -04:00
Mitchell Rosen
fba25430d0
delete all code related to downloading base on startup
2023-06-23 14:36:58 -04:00
Chris Penner
f46ee41d5d
Merge branch 'trunk' into cp/typechecked-auto-fmt
2023-06-22 16:14:35 -06:00
Mitchell Rosen
bb818d5fec
download latest version of base on project.create
2023-06-21 13:48:01 -04:00
Mitchell Rosen
2cd6a4dedb
make argument to project.create optional
2023-06-21 13:48:00 -04:00
Mitchell Rosen
00e2039a99
make argument to project.create optional
2023-06-16 10:41:04 -04:00
Mitchell Rosen
2f39f1afa8
⅄ trunk → 23-06-01-branch-rename
2023-06-02 10:07:50 -04:00
Arya Irani
9ec8b8a28f
Merge pull request #4063 from unisonweb/23-05-30-switch-autocomplete-project-branches
2023-06-01 21:55:02 -04:00
Mitchell Rosen
ee8b0a79ed
add branch.rename command
2023-06-01 17:52:01 -04:00
Mitchell Rosen
a9c4e9be6e
add project.rename command
2023-06-01 15:28:40 -04:00
Mitchell Rosen
5bfa3c1f0e
pull many small pretty-printing combinators out of
...
Unison.Cli.OutputMessages into Unison.Cli.Pretty to work around circular imports
2023-05-30 16:56:18 -04:00
Mitchell Rosen
b5702b9f88
ormolu the world
2023-05-25 15:02:20 -04:00
Arya Irani
b5beb0e94d
merge old lts bump into new trunk
2023-05-20 16:37:08 -04:00
Travis Staton
a75d555be0
Add delete.project command
2023-05-16 12:22:21 -04:00
Mitchell Rosen
80407eeefe
stub out release.draft command
2023-04-26 07:52:28 -04:00
Mitchell Rosen
5984ecad69
rename branch.fork to branch
2023-04-06 11:02:10 -04:00
Mitchell Rosen
5c3850c830
add working version of branch.fork command
2023-04-06 10:57:32 -04:00
Mitchell Rosen
c591aeca01
⅄ trunk → delete-project-branch
2023-04-06 09:54:57 -04:00
Mitchell Rosen
105b94d425
⅄ trunk → delete-unused-pr-commands
2023-04-05 10:58:36 -04:00
Mitchell Rosen
fe245ea0fd
delete pr.create and pr.load
2023-04-05 10:56:04 -04:00
Mitchell Rosen
37d0c63b54
begin renaming project.delete-branch to delete.branch by moving module
2023-04-05 10:22:12 -04:00
Mitchell Rosen
b671090805
⅄ trunk → delete-project-branch
2023-04-04 22:18:45 -04:00
Mitchell Rosen
d1dc44f8f3
begin scaffolding out a command to delete a project branch
2023-04-04 11:57:13 -04:00
Mitchell Rosen
b1345fc7ab
add branches command that lists local branches and their remote mappings
2023-04-03 17:20:52 -04:00
Mitchell Rosen
95a9a6cf78
add dummy projects handler
2023-04-03 10:45:47 -04:00
Mitchell Rosen
44551a1f40
implement 2-argument pull
2023-03-28 17:10:10 -04:00
Mitchell Rosen
e892591193
move pull-request.load handler into its own module
2023-03-09 12:43:52 -05:00
Mitchell Rosen
b7e395db00
stub out project.clone handler
2023-03-02 10:31:05 -05:00
Mitchell Rosen
6a9c0962b3
extract pull handler into its own file
2023-03-02 10:02:39 -05:00
Travis Staton
d38f31a93c
Merge remote-tracking branch 'origin/trunk' into topic/projects
2023-02-22 12:51:03 -05:00
Mitchell Rosen
74e589205c
push refactoring and delete project.create-branch command
2023-02-10 22:43:17 -05:00
Mitchell Rosen
1e19f5e996
⅄ trunk → topic/projects
2023-02-10 19:25:33 -05:00
Travis Staton
bf88e668a6
upgrade hpack to 0.35
2023-02-09 14:04:47 -05:00
Chris Penner
384906d035
Acquire and persist user information on login.
2023-02-09 11:30:35 -06:00
Mitchell Rosen
9eec421ae8
more project.push work
2023-02-08 17:18:45 -05:00
Chris Penner
8f9ee374d7
Rebase onto trunk and revive changes
2023-02-03 10:41:18 -06:00
Chris Penner
d9e0cfa9cf
Upgrade to stack 2.9.1 ( #3787 )
2023-02-02 09:49:21 -06:00
Mitchell Rosen
5174bbff76
stub out push project handler
2023-01-27 11:25:22 -05:00
Mitchell Rosen
dd234993fe
stub out client side of share api
2023-01-26 14:00:25 -05:00
Mitchell Rosen
1ad44a2ea4
stub out project.create-branch
2023-01-23 14:31:53 -05:00
Mitchell Rosen
06811c9829
fill out most of project.create implementation
2023-01-23 14:21:00 -05:00
Mitchell Rosen
f353e087f9
stub out project.switch
2023-01-23 13:40:45 -05:00
Mitchell Rosen
e661093bde
stub out project.create handler
2023-01-23 13:03:48 -05:00
Mitchell Rosen
8c681904fb
add project.create input pattern
2023-01-23 12:54:14 -05:00
Chris Penner
e5d9662c6c
Add Clear command ( #3705 )
2023-01-03 14:17:46 -06: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
Chris Penner
547f796693
Merge branch 'trunk' into lsp/auto-fmt
2022-12-14 16:30:31 -06:00
Mitchell Rosen
afe2c26192
move U.Codebase.HashTags from unison-codebase to unison-core
2022-12-12 15:16:14 -05:00
Mitchell Rosen
7eee9e01bb
remove vestigial unison-util package
2022-12-09 14:37:52 -05:00
Mitchell Rosen
cbcf7302e1
Merge pull request #3527 from unisonweb/22-10-19-syntax-name
...
Extract stringy Name parsing/printing printing functions to Unison.Syntax.Name module
2022-12-05 11:12:01 -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
Mitchell Rosen
8e6dbc1351
⅄ trunk → 22-10-19-syntax-name
2022-11-29 16:07:49 -05:00
Travis Staton
048d70a025
Create option for unison that will write RTS stats to a file
...
fixes #3597
2022-11-28 11:31:22 -05:00
Mitchell Rosen
a6108f9a3c
⅄ trunk → 22-10-19-syntax-name
2022-11-23 16:21:39 -05:00
Arya Irani
54636f5e63
Merge pull request #3620 from unisonweb/travis/3614
...
Make ucm use multiple capabilities by default
2022-11-21 18:19:28 -05:00
Mitchell Rosen
01eaa83909
⅄ trunk → 22-10-19-syntax-name
2022-11-20 13:29:52 -05:00
Travis Staton
8902fb6dd5
Make ucm use multiple capabilities by default
...
fixes #3614
2022-11-17 17:20:55 -05:00
Dan Doel
4e49cc9116
Merge branch 'trunk' into work/compiler
2022-11-16 14:09:49 -05:00
Chris Penner
e8743e529c
Disable 'watching files' message when necessary
2022-11-10 12:35:20 -06:00
Dan Doel
7591b90211
More work on scheme related commands
...
- Added dedicated commands for fetching the compiler and generating boot
libraries. The dedicated commands will force the operation, for
updates, while the main commands will only run them if the resources
do not already exist.
- Factored part of the command into one that handles building the .scm
file, which can then be consumed by running it or compiling it to a
dedicated binary.
- Added a run-via-scheme command, because that is actually easier to
accomplish via a shell call. The compile command is stubbed out until
I can figure out the right sequence of commands to successfully build
a standalone file.
2022-11-09 16:20:18 -05:00
Mitchell Rosen
56c80904ff
⅄ trunk → 22-10-18-unison-syntax
2022-10-28 11:24:17 +05:30
Dan Doel
03926bd34e
Add a new input handling module for resolving terms
2022-10-27 13:10:13 -04:00
Mitchell Rosen
534475a29d
⅄ trunk → 22-10-19-syntax-name
2022-10-20 11:12:58 -04:00
Mitchell Rosen
ed77121949
Move name parsing/printing functions from Unison.Name to Unison.Syntax.Name
2022-10-19 22:17:07 -04:00
Chris Penner
b7be8ded03
LSP Auto-completion ( #3488 )
...
Add auto-completion to LSP
2022-10-19 15:48:02 -06:00
Mitchell Rosen
1674b22e69
move Unison.Syntax.Lexer into new unison-syntax package
2022-10-18 16:02:46 -04:00
Mitchell Rosen
b6ad66f27c
add a test demonstrating that label works
2022-10-14 14:12:06 -04:00
Chris Penner
c20569012f
Re-build cabal files
2022-09-30 10:59:36 -06:00
Chris Penner
b8672666ed
Rebuild with stack 2.9.1
2022-09-27 13:52:43 -06:00
Chris Penner
53bef39b23
Fix settings configuration
2022-09-27 11:59:27 -06:00
Chris Penner
ea6494accc
Term auto-format sketch
2022-09-25 11:50:01 -06:00
Mitchell Rosen
fc93cf86e9
⅄ trunk → 22-09-08-update-cycle-element
2022-09-21 15:32:47 -04:00
Mitchell Rosen
80b09cec32
⅄ trunk → 22-09-13-break-up-handleinput
2022-09-19 18:19:01 -04:00
Mitchell Rosen
1f8ee36ddc
more cycle update work
2022-09-16 15:30:09 -04:00
Mitchell Rosen
2958d7ee39
Continue breaking up Unison.Codebase.Editor.HandleInput into smaller modules
2022-09-13 13:44:19 -04:00
Chris Penner
d1f232f765
Merge branch 'cp/lsp' into cp/lsp-II
2022-09-12 10:11:46 -06:00
Chris Penner
195ecf2cc9
Add note re: LSP on windows
2022-09-12 10:11:26 -06:00
Chris Penner
ddf263abcf
Merge branch 'cp/lsp' into cp/lsp-II
2022-09-12 10:04:19 -06:00
Chris Penner
3aa659ddfa
Merge branch 'trunk' into cp/lsp
2022-09-12 10:03:53 -06:00
Chris Penner
d224a9c757
Remove unused codelens module
2022-09-12 10:02:39 -06:00
Chris Penner
a68ef9ba08
Add handler middleware and cancellation handler
2022-09-02 15:10:31 -06:00
Chris Penner
7a7d721961
Merge branch 'cp/lsp' into cp/lsp-II
2022-08-29 16:34:14 -06:00
Chris Penner
f033635277
Merge branch 'trunk' into cp/lsp
2022-08-29 16:20:55 -06:00
Chris Penner
f239b581f0
Add human formatting
2022-08-25 12:54:50 -06:00
Chris Penner
920c6509f1
Change move.namespace to move entire history.
2022-08-22 14:41:18 -06: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
f8fe6edfec
finish clearing out Unison.Codebase.Editor.Command
2022-08-01 10:20:10 -04:00
Mitchell Rosen
afe63447c4
move some code around
2022-07-28 19:11:31 -04:00
Mitchell Rosen
80d5671fbe
work on Unison.Monad.Cli docs a bit
2022-07-28 14:28:12 -04:00
Mitchell Rosen
b913709780
delete Action monad
2022-07-27 16:56:52 -04:00
Mitchell Rosen
035fb4e66c
move ResetRootI to the Cli monad
2022-07-25 13:24:07 -04:00
Mitchell Rosen
a60c7babbb
convert auth.login to Cli monad
2022-07-23 23:50:14 -04:00
Mitchell Rosen
fc2fcf6037
move some code around
2022-07-22 11:41:59 -04:00
Chris Penner
484771e4b8
Merge branch 'cp/lsp' into cp/lsp-II
2022-07-21 15:24:45 -06:00
Chris Penner
262e2b8746
Merge branch 'trunk' into cp/lsp
2022-07-21 15:12:50 -06:00
Travis Staton
3d5855dd92
Misc cli cleanup
...
- remove LoopState
- incorporate maybe, reader, and state layers into a single
- monad, don't run them in stages
- implement abort
- remove ViewRemoteGitBranch
2022-07-19 17:23:43 -04:00
Mitchell Rosen
aca371e523
delete LoadWatches command
2022-07-19 12:20:36 -04:00
Chris Penner
aa562b703d
Add link to share
2022-07-13 09:04:40 -06:00
Arya Irani
0ac436f671
update the examples for push and pulls to show new share / git() syntax
2022-07-12 12:24:15 -04:00
Chris Penner
9c983cc9cc
FoldingRanges
2022-07-11 09:26:06 -06:00
Chris Penner
eb5f6e64cb
Wire up code actions
2022-07-09 14:17:05 -06:00
Chris Penner
c116b455e2
Refactor/reorganize
2022-07-08 10:15:33 -06:00
Chris Penner
74b058ce69
Working _simple_ type errors
2022-07-07 22:49:51 -06:00
Chris Penner
73a4046efb
Diagnostics
2022-07-07 17:42:03 -06:00
Chris Penner
f2f40b4ecb
Type-checking in a loop
2022-07-07 16:34:57 -06:00
Chris Penner
82787bf3e8
WIP
2022-07-07 15:56:50 -06:00
Chris Penner
e3f7f6eed9
Wire up more parsing
2022-07-07 13:50:10 -06:00
Chris Penner
276e2cb98e
Codelens skeleton
2022-07-02 17:37:29 -06:00
Chris Penner
89d1f55875
Working completion, hover, etc.
2022-07-02 16:33:09 -06:00
Chris Penner
79f99e1d0f
Naively receiving completion requests
2022-07-02 13:27:01 -06:00
Chris Penner
cda23d0025
Wire in VFS
2022-07-02 12:28:01 -06:00
Chris Penner
e17414aa9a
Bootstrap LSP
2022-07-02 11:02:51 -06:00
Mitchell Rosen
7baebea928
begin implementing concurrent pull
2022-06-23 10:25:01 -04:00
Arya Irani
3b31b95308
Merge pull request #3125 from unisonweb/travis/update-indices
...
Update type and term indices after push and pull
2022-06-17 13:44:18 -04:00
Arya Irani
1d0ab1d4f3
Merge remote-tracking branch 'origin/trunk' into arya/ooo-sync
...
# Conflicts:
# hie.yaml
# parser-typechecker/package.yaml
# unison-hashing-v2/package.yaml
# unison-hashing-v2/unison-hashing-v2.cabal
2022-06-16 15:06:42 -04:00
Travis Staton
535eaf98a9
Add unison-codebase-sqlite-hashing-v2 package
...
unison-codebase-sqlite is now parameterized by the hashing functions
2022-06-16 14:29:11 -04:00
Arya Irani
0437ca0c74
remove haskeline fork
...
resolves https://github.com/unisonweb/unison/pull/1836
closes https://github.com/judah/haskeline/pull/115
2022-06-15 11:54:25 -04:00
Chris Penner
1d970904a3
Use Output for credential failures ( #3106 )
2022-06-10 16:30:53 -06:00
Mitchell Rosen
45c135cc89
⅄ trunk → arya/ooo-sync
2022-06-10 18:30:29 -04:00
Travis Staton
86defb3774
Merge pull request #3093 from unisonweb/travis/bump-megaparsec
...
Bump megaparsec dependency
2022-06-07 13:18:14 -04:00
Travis Staton
8e5e2ca5de
megaparsec bounds
2022-06-07 09:43:25 -04:00
Mitchell Rosen
0ad12af401
begin implementing push/pull progress reporting
2022-06-03 21:06:51 -04:00
Chris Penner
18266a13a8
Update input patterns and unisonConfig for Share paths. ( #3080 )
...
* Clean up docs and parsers for read/write remote namespaces for share
* Revive deprecated git parser so old unisonConfig's still work
* Don't hide git errors
* Fix CodeserverURI -> URI conversion
* Reflect the provided port in CodeserverURI
* Focus messaging around primary action
2022-06-03 15:31:43 -06:00
Arya Irani
da18e47b2e
Add package.yaml workaround to stack rebuild issue
2022-06-03 13:07:33 -04:00
Arya Irani
df33c1e257
add when/Paths_ stuff to every package.yaml target
...
didn't put it into another PR, I'm sorry. But we can cherry-pick this out in a separate PR
2022-06-02 17:10:59 -04:00
Arya Irani
865f0ba6f0
Merge remote-tracking branch 'origin/trunk' into arya/ooo-sync
2022-05-31 12:20:46 -04:00
Chris Penner
f61a4dd208
Add more flexibility in our ability to specify codeservers ( #3081 )
...
* Add explicit types for share host and uri
* Ensure we identify servers correctly
* Remove ability to pass args to auth.login
and remove logic for CodeServers config
* PR feedback: special structure for coderserver URI
* Add port to CodeserverId
2022-05-31 09:56:29 -06:00
Chris Penner
36b8ac2155
Add "debug.doctor" command for assessing codebase integrity ( #3078 )
...
* Collect and pretty-print errors
* Add debug.doctor command
* Improved formatting
2022-05-27 10:51:01 -06:00
Arya Irani
c6b2895c17
Merge branch 'ooo-sync-read-repo-sum-type' into arya/ooo-sync
2022-05-15 17:10:54 -04:00
Arya Irani
f510365290
filled in a lot of things?
2022-05-12 18:03:00 -04:00
Mitchell Rosen
24e4f4bc6a
inline Unison.Sync.HTTP into Unison.Share.Sync
2022-05-10 21:38:35 -04:00
Mitchell Rosen
28425c6d2e
⅄ trunk → arya/ooo-sync
2022-05-05 15:06:36 -04:00
Chris Penner
c073117871
Allow testing Share API in transcripts ( #3062 )
...
* Support API calls in transcripts
2022-05-02 09:55:15 -06:00
Mitchell Rosen
3b8bd60531
⅄ trunk → arya/ooo-sync
2022-04-19 22:29:24 -04:00
Mitchell Rosen
dc26b0bb56
begin implementing entityToTempEntity
2022-04-12 16:22:04 -04:00
Mitchell Rosen
a06e6352d0
extract unison-util-base32hex package
2022-04-12 15:51:03 -04:00
Arya Irani
e698acf0e8
Sync.{makeTempEntity,tempEntityType}
2022-04-12 07:40:42 -05:00
Mitchell Rosen
53beb4ab3b
⅄ trunk → 21-12-04-use-unison-sqlite
2022-04-11 14:50:09 -04:00
Mitchell Rosen
3abdda60e3
⅄ trunk → arya/ooo-sync
2022-04-11 10:12:11 -04:00
