Greg Pfeil
9e2fa2bbe7
Replace transcript parser with cmark
...
We don’t need a very rich parser for transcripts, but we _do_ need to
reliably identify fenced code blocks, and that implies a number of
subtle cases. Using a polished CommonMark parser/printer handles those
subtleties for us.
I chose `cmark` for a few reasons:
- it’s a wrapper around `libcmark`, which is the reference
implementation of CommonMark, so it should be correct;
- it provides both a parser and a printer (unlike MMark); and
- it is extremely fast (about 20x faster than MMark), so the fact that
our home-rolled parser got to skip over everything that’s not a block
isn’t an issue.).
This only _partially_ uses the `cmark` printer. I think it should use it
entirely, but for the cases where we do streaming output (processing UCM
commands, etc.) it’s a more involved change. So I think it should be
handled separately.
2024-07-10 13:26:19 -06:00
Arya Irani
b14931f7b4
avoid numeric vs textual clash in args length error
...
`numerals` doesn't seem to be maintained anymore, however
2024-07-06 14:37:55 -04:00
Mitchell Rosen
eb1ee64cf2
merge unison-util-nametree into unison-core1
2024-07-02 12:23:34 -04:00
Mitchell Rosen
e18bbd40f9
⅄ trunk → topic/merge4
2024-05-13 10:36:03 -04:00
Mitchell Rosen
4319a03e7b
OverloadedRecordDot
2024-04-24 10:32:07 -04:00
Mitchell Rosen
f1a45ca883
improve merge debug output
2024-04-17 22:29:07 -04:00
Mitchell Rosen
589970313d
⅄ trunk → topic/merge4
2024-04-08 10:03:38 -04:00
Arya Irani
19be0a5efd
Merge remote-tracking branch 'origin/trunk' into kylegoetz-udp
...
# Conflicts:
# unison-cli/unison-cli.cabal
# unison-src/builtin-tests/interpreter-tests.md
# unison-src/builtin-tests/testlib.u
# unison-src/builtin-tests/tests.u
2024-04-05 14:39:07 -06:00
Mitchell Rosen
c649172fe2
merge unison-cli:lib and unison-cli:lib:unison-cli-lib because stack can't really handle internal libraries
2024-04-04 16:54:54 -04:00
Mitchell Rosen
2ff7d77820
⅄ trunk → topic/merge4
2024-04-04 14:40:54 -04:00
Arya Irani
35c4bdd372
Merge branch 'kylegoetz-udp' of github.com:unisonweb/unison into kylegoetz-udp
...
# Conflicts:
# parser-typechecker/src/Unison/Builtin.hs
# parser-typechecker/src/Unison/Runtime/Builtin.hs
2024-03-31 01:17:21 -06:00
Mitchell Rosen
eb53c62ef1
work towards identifying conflicts more accurately
2024-03-29 14:44:16 -04:00
Arya Irani
fbc19edb3e
accidentally removed the magic blurb that makes stack not break
...
hopefully this is correct now
2024-03-24 15:05:50 -06:00
Arya Irani
7ae31b8523
split TH parts of unison-cli into unison-cli-main
...
to minimize the amount that needs to be rebuilt when we just want to make sure the `Version` is current
2024-03-24 11:10:47 -06:00
Travis Staton
b046acb857
load alice and bob branches
2024-03-04 16:32:25 -05:00
Kyle Goetz
af441db746
add Network.UDP package
2024-03-03 11:41:34 -06:00
Arya Irani
e49580c776
Merge pull request #4372 from unisonweb/lsp/bump-lsp-version
...
Bump lsp lib and handle trace notifications
2024-01-03 11:42:00 -10:00
Mitchell Rosen
17ada33de9
get dependents to upgrade
2023-11-09 12:59:09 -05:00
Chris Penner
945c564f4f
Bump lsp lib version
2023-11-07 17:36:09 -08:00
Arya Irani
475b098728
talking and pairing and pairing and talking
2023-11-03 15:49:06 -04:00
Mitchell Rosen
8e97fc693d
allow pulling <project>/releases/latest
2023-08-29 00:34:42 -04:00
Chris Penner
26944f55fc
Bump LSP lib versions ( #4262 )
...
* Upgrading to lsp-2.* support
* Upgrade imports to lsp 2
* Starting port to 2.0
* More porting to v2
* Lock down version hashes
2023-08-14 17:28:11 -07:00
Arya Irani
f4254609fd
switch hereFile to FileEmbed
2023-07-27 10:48:33 -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
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
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
Mitchell Rosen
9eec421ae8
more project.push work
2023-02-08 17:18:45 -05:00
Mitchell Rosen
dd234993fe
stub out client side of share api
2023-01-26 14:00:25 -05:00
Mitchell Rosen
06811c9829
fill out most of project.create
implementation
2023-01-23 14:21:00 -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
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