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
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
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
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
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
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
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
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
Mitchell Rosen
80d5671fbe
work on Unison.Monad.Cli docs a bit
2022-07-28 14:28:12 -04:00
Mitchell Rosen
035fb4e66c
move ResetRootI to the Cli monad
2022-07-25 13:24:07 -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
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
Chris Penner
eb5f6e64cb
Wire up code actions
2022-07-09 14:17:05 -06:00
Chris Penner
82787bf3e8
WIP
2022-07-07 15:56:50 -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
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
Mitchell Rosen
45c135cc89
⅄ trunk → arya/ooo-sync
2022-06-10 18:30:29 -04:00
Mitchell Rosen
0ad12af401
begin implementing push/pull progress reporting
2022-06-03 21:06:51 -04: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
63fc75416c
Merge remote-tracking branch 'origin/trunk' into arya/ooo-sync
...
# Conflicts:
# codebase2/codebase-sqlite/U/Codebase/Sqlite/Queries.hs
# parser-typechecker/package.yaml
# parser-typechecker/src/Unison/Codebase.hs
# parser-typechecker/src/Unison/Codebase/SqliteCodebase.hs
# parser-typechecker/src/Unison/Codebase/SqliteCodebase/Migrations/MigrateSchema3To4.hs
# unison-cli/src/Unison/Codebase/Editor/Command.hs
# unison-cli/src/Unison/Codebase/Editor/HandleCommand.hs
# unison-cli/src/Unison/Codebase/Editor/Output.hs
# unison-cli/src/Unison/Codebase/Editor/VersionParser.hs
# unison-cli/src/Unison/CommandLine/OutputMessages.hs
2022-05-27 13:49:34 -04: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
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