unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-09-17 13:27:30 +03:00
Code Issues Projects Releases Wiki Activity
17,099 Commits 416 Branches 90 Tags 330 MiB
trunk
Commit Graph

1666 Commits

Author SHA1 Message Date
Greg Pfeil
e32138c215
Treat Name as Path' in InputPattern handlers 
This fixes an issue where `ls` results couldn’t be used as numbered args by commands which expected a `Path`.
 2024-06-07 00:40:16 -05:00
Greg Pfeil
24ff8b5cb0
Show that you can’t ls the results of ls 2024-06-07 00:17:44 -05:00
Greg Pfeil
ce33057385
Refine Path-prefixing operations 
This replaces `prefix :: Absolute -> Path' -> Path` with a couple
alternatives:
- `prefixAbs :: Absolute -> Relative -> Absolute`,
- `maybePrefix :: Path' -> Path' -> Maybe Path'`, and
- `prefix :: Path' -> Relative -> Path'`.

The previous `prefix` could fail to prefix (covered by either the new
`prefix` or `maybePrefix`, depending on whether you want to guarantee
success or capture failure), always threw away the knowledge that the
result was necessarily `Absolute` (covered by `prefixAbs`), and then
always returned an ambiguous result type (covered by all three
replacements).

Then it also provides `prefixRel` as the complement of `prefixAbs` (both
of which are used in the implementation of `prefix`).

Similar changes are made in the replacements for `prefixName :: Absolute
-> Name -> Name`. First, we don’t currently have absolute/relative
variants of `Name`, so we can generalize the first argument to `Path'`.
Then `maybePrefixName :: Path' -> Name -> Maybe Name` exposes the case
where prefixing can’t succeed, and `prefixNameIfRel :: Path' -> Name ->
Name` handles the common case of using the original `Name` if it can’t
be prefixed. Both of these new functions also preserve the `Position` of
the new `Name`, whereas the old implementation always returned a
`Relative` `Name`, despite knowing when it was `Absolute`. And
`prefixName2 :: Path -> Name -> Name` has been removed as there is no
ambiguous variant of `Name` (as `Split` is to `Split'`), so prefixing
with a `Path` isn’t particularly meaningful.

Finally, `nameFromSplit'` is added as a dual to `splitFromName'` to make
it possible to operate on the `Path'` portion of a `Name` without introducing partiality.

These new operations are then propagated through the code, and enable a
couple other type changes: `StructuredArgument.ShallowListEntry` and
`StructuredArgument.SearchResult` now take a `Path'` prefix rather than
the `Path.Absolute` and `Path` prefixes they took previously. This fixes
the absolute `Name` issue in `ls` results.
 2024-06-06 23:53:00 -05:00
Greg Pfeil
3c197c51c8
Use a project in fix5055 transcript 
This makes the absolute path problem more obvious.
 2024-06-06 23:26:13 -05:00
Chris Penner
87bd96963e Inline nosync versions into their regular forms so people aren't tempted to use them. 2024-06-05 15:31:15 -07:00
Greg Pfeil
cf6ab11088
Ensure Names are absolute after prefixing 
In a separate part of the change this PR was extracted from,
`Path.prefixName` ensures the result is absolute, but that is more
involved than other changes here, so this uses the previous technique of
calling `Name.makeAbsolute` afterward.

I don’t think this changes anything important, but the `Name` _is_
always absolute after `Path.prefixName`, so this just ensures that it’s
tracked.
 2024-06-05 11:18:29 -06:00
Greg Pfeil
4c12fe8a47
Make the transcript for #5055 more stable 2024-06-05 11:07:55 -06:00
Greg Pfeil
8ef107817d
Support ShallowListEntry in InputPattern handlers 
These are produced by `ls`, but weren’t included in the handlers, so the
results of `ls` weren’t usable as numbered args.

Fixes #5055.
 2024-06-05 10:58:54 -06:00
Greg Pfeil
529ae7f174
Add a failing transcript for #5055 2024-06-05 10:51:35 -06:00
Greg Pfeil
565da6d4a0
Include help output on all CLI command failures 
```ucm
@unison/base/main> lib.install blah.blah.blah

  Sorry, I couldn’t understand your request. I expected a project or
  branch, but saw ”blah.blah.blah”.

  Usage:
  The `lib.install` command installs a dependency into the `lib` namespace.

  `lib.install @unison/base/releases/latest`  installs the latest release of `@unison/base`
  `lib.install @unison/base/releases/3.0.0`   installs version 3.0.0 of `@unison/base`
  `lib.install @unison/base/topic`            installs the `topic` branch of `@unison/base`
```
 2024-06-04 20:02:56 -06:00
Arya Irani
2540774b2f
Merge pull request #5042 from sellout/numbered-args-delete.namespace 2024-06-04 11:11:41 -04:00
Arya Irani
7efaaef80e was aiming for the implied project/branch name, but dunno how 2024-06-04 10:33:58 -04:00
Arya Irani
78dae4ff07
Merge pull request #5039 from unisonweb/24-05-20-upgrade-commit 2024-06-03 19:35:15 -04:00
Mitchell Rosen
6f1c56c131 tweak messages 2024-06-03 13:57:45 -04:00
Greg Pfeil
811c9e70bb
Clean up the transcript and see that it passes 
The issue had already been fixed at some point.

Closes #1532.
 2024-06-03 11:56:33 -06:00
Greg Pfeil
2bf53bc3ae
Add transcript from issue #1532 
Unfortunately, the linked transcript doesn’t contain text, AFAICT. So
this copies over the issue text, but that is also missing some
information.
 2024-06-03 11:43:21 -06:00
Mitchell Rosen
8b98add0aa fix typo 2024-06-03 10:09:26 -04:00
Mitchell Rosen
0635baa784 improve upgrade failure message 2024-06-03 09:45:21 -04:00
Mitchell Rosen
a1ecf83078 ⅄ trunk → 24-05-20-merge-commit 2024-06-03 08:51:53 -04:00
Mitchell Rosen
99b2eaba69 ⅄ trunk → 24-05-31-merge-precondition-messages 2024-05-31 14:38:35 -04:00
Mitchell Rosen
899be60f5a improve merge precondition violation output messages 2024-05-31 14:34:47 -04:00
Mitchell Rosen
83d6946c60 ⅄ trunk → 24-05-20-upgrade-commit 2024-05-30 14:47:10 -04:00
Greg Pfeil
78816fdc3a
Remove Reference from StructuredArgument 
Almost everywhere we produce a `Reference` for numbered args, we also have a
`HashQualified Name` handy, which is much more consumable by commands.

The only case we don’t have an `HQ` is in the `todo` command output, so that now explicitly builds
a `HQ.HashOnly`.

This also fixes an issue with `StructuredArgument` handling where `alias.term`
and `alias.type` wouldn’t make an alias to a `HQ.HashOnly` `StructuredArgument`.

Fixes #4898.
 2024-05-29 17:11:05 -06:00
Greg Pfeil
8b46f81084
Replicate failure from #4898 2024-05-29 17:11:05 -06:00
Mitchell Rosen
32cde2cd35 relax merge preconditions on lca 2024-05-29 12:41:59 -04:00
Mitchell Rosen
1442dc02ac fix up a couple transcripts 2024-05-24 11:08:44 -04:00
Mitchell Rosen
6adb88f5b3 delete a bunch of patch manipulation commands 2024-05-24 11:01:45 -04:00
Mitchell Rosen
510e9dc6bb don't update in upgrade 2024-05-23 08:26:52 -04:00
Chris Penner
c9e6702c8e Fix transcripts which use absolute paths with delete.namespace 2024-05-22 11:56:50 -07:00
Chris Penner
f25a221c25 Don't allow absolute paths in delete.namespace 2024-05-22 11:51:10 -07:00
Chris Penner
b210679917 Add failing transcript 2024-05-22 11:35:51 -07:00
Mitchell Rosen
ce9110be46 Add merge.commit command 2024-05-20 14:21:06 -04:00
Mitchell Rosen
7273bd9a3a in merge, don't returnEarly on success 2024-05-20 14:13:04 -04:00
Mitchell Rosen
4479966f8d make upgrade.commit perform the initial update 2024-05-20 13:04:31 -04:00
Mitchell Rosen
75795e61e4 implement upgrade.commit command 2024-05-20 12:09:00 -04:00
Arya Irani
2ec8e01dd7
Merge pull request #4966 from unisonweb/topic/merge5 2024-05-20 10:48:43 -04:00
Mitchell Rosen
dbe4892437 ⅄ topic/merge5 → 24-05-20-upgrade-commit 2024-05-20 10:45:41 -04:00
Arya Irani
1be90b1414 transcript output merge conflict 2024-05-18 23:42:51 -04:00
Arya Irani
8b762c7908
Merge branch 'trunk' into cp/definition-diffs 2024-05-18 10:31:26 -04:00
Chris Penner
4000a892e2 Transcripts 2024-05-17 19:08:11 -07:00
Mitchell Rosen
bc54e4d0b4 make pull call new merge instead of old merge 2024-05-17 13:49:13 -04:00
Chris Penner
240cddcc3f Add definition diff apis and tests 2024-05-17 09:43:19 -07:00
Mitchell Rosen
b9a45d5f86 ⅄ trunk → topic/merge5 2024-05-16 11:55:27 -04:00
Mitchell Rosen
693af9c809 ⅄ trunk → topic/merge4 2024-05-15 12:03:16 -04:00
Mitchell Rosen
3e224bd668 add test <arg> example to transcript 2024-05-14 16:54:53 -04:00
Mitchell Rosen
06b743a149 slightly better error messages 2024-05-14 11:30:40 -04:00
Mitchell Rosen
f80b07db81 regenerate merge.md output 2024-05-14 09:30:23 -04:00
Mitchell Rosen
09ee97b149 update tab completion transcript 2024-05-13 11:34:01 -04:00
Mitchell Rosen
e18bbd40f9 ⅄ trunk → topic/merge4 2024-05-13 10:36:03 -04:00
etorreborre
f8063ec42b
test: add an example of checking a RSA signature with an incorrect key 2024-05-12 17:56:04 +02:00
etorreborre
01bb42bbd3
feature: add RSA builtin functions for signing 2024-05-11 00:05:38 +02:00
Arya Irani
69371698d0 update transcripts 2024-05-10 12:18:17 -04:00
Arya Irani
4c9deb169c update transcript outputs 2024-05-10 11:22:57 -04:00
Arya Irani
b015f72133 Some edits to precondition violations section 2024-05-07 17:00:30 -04:00
Arya Irani
b70cad9869 fixup "not-conflict conflict" 2024-05-07 16:36:57 -04:00
Arya Irani
0144c69e49 simplify merge transcript 2024-05-07 13:51:11 -04:00
Mitchell Rosen
25e7288de2 properly set successful merge history, call out when a merge is fast-forward 2024-05-07 11:51:57 -04:00
Mitchell Rosen
90cc2b5bd9 update transcripts 2024-05-07 09:59:51 -04:00
Mitchell Rosen
d7b48dcb5c minor cleanup 2024-05-06 13:03:41 -04:00
Mitchell Rosen
0d155e99eb better error messages for merge precondition violations 2024-05-02 16:28:30 -04:00
Mitchell Rosen
831005eaf3 ⅄ trunk → topic/merge4 2024-05-01 13:26:43 -04:00
Mitchell Rosen
0babe4df90 update transcripts 2024-05-01 13:18:46 -04:00
Mitchell Rosen
0d0e6c2600 add merge libdeps transcript 2024-05-01 12:06:59 -04:00
Mitchell Rosen
a66e893352 add add/add unique type merge transcript 2024-05-01 12:00:46 -04:00
Mitchell Rosen
023cfd4690 add a couple merge transcripts 2024-05-01 11:56:27 -04:00
Mitchell Rosen
b319c592dd render things with the right PPEs 2024-04-30 14:47:39 -04:00
Kyle Goetz
0bc69c31a8 Merge remote-tracking branch 'origin/trunk' into kylegoetz-udp 2024-04-30 12:55:18 -05:00
Mitchell Rosen
b739c27f73 work on properly rendering merged Unison file 2024-04-29 18:52:34 -04:00
Arya Irani
ad09964825
Merge pull request #4886 from unisonweb/builtins.merge-in 
add an optional destination path to `builtins.merge{,io}`
 2024-04-29 01:20:09 -04:00
Arya Irani
16596c4566 add an optional destination path to builtins.merge{,io} 2024-04-28 23:01:02 -04:00
Arya Irani
d0bdd55ace Merge branch 'trunk' into transcripts-cleanup 2024-04-28 22:34:49 -04:00
Arya Irani
2cf96a36ae
deprecate cd, up; add find-in (#4883) 
* deprecate `cd`, `up`, hide `reset-root`, add `find-in`, hides unimplemented `update.builtins`
Co-authored-by: Chris Penner <christopher.penner@gmail.com>
 2024-04-28 21:30:02 -04:00
Mitchell Rosen
97faed97c1 add merged libdeps to ppe for rendering unison file 2024-04-24 15:31:40 -04:00
Mitchell Rosen
2e9e5cf17c rename merge2 to merge 2024-04-24 12:31:54 -04:00
Mitchell Rosen
d37bce3e7e rename and hide old merge commands 2024-04-24 12:29:15 -04:00
Mitchell Rosen
240f00dd64 delete old merge transcript 2024-04-24 11:49:03 -04:00
Mitchell Rosen
5e563ebf93 add more merge transcripts 2024-04-24 11:33:39 -04:00
Mitchell Rosen
9253dc9fa1 ⅄ trunk → topic/merge4 2024-04-23 13:10:35 -04:00
Mitchell Rosen
57011a9b62 tweak ppe to fix bug 2024-04-23 12:47:28 -04:00
Dan Doel
5564317903 Transcript updates 
Modify watch-expressions transcript to use new array predefs
 2024-04-19 10:32:30 -04:00
Mitchell Rosen
4e42d38385 split apart combine and partition diffs steps 2024-04-17 20:46:39 -04:00
Mitchell Rosen
6a847aedae ⅄ trunk → topic/merge4 2024-04-17 19:25:03 -04:00
Mitchell Rosen
0299f38946 don't expect constructors of builtin types 2024-04-17 18:24:28 -04:00
Arya Irani
ac4d817f5e
Merge pull request #4887 from unisonweb/topic/jit-eval-side-channel 
Use a socket to communicate with the jit runtime process
 2024-04-17 16:06:06 -04:00
Dan Doel
da74c38f0e Test for partially applied builtins 2024-04-16 15:23:21 -04:00
Dan Doel
12ec621d23 Add back padding when errors/traces actually occur 2024-04-16 14:26:28 -04:00
Dan Doel
9f2089798f Transcript output updates for error formatting 2024-04-16 13:52:17 -04:00
Arya Irani
b052524f52 didn't use base 2024-04-14 20:20:04 -04:00
Arya Irani
5a7e3b4932 cleanup 2024-04-14 20:01:39 -04:00
Arya Irani
a987756b41 unnecessary builtins.mergeio 2024-04-14 19:57:08 -04:00
Arya Irani
ec8ae539c3 deprecate cd, up, reset-root, add find-in 
also hides unimplemented `update.builtins`

removing some unnecessary `cd`s from these files produced different slurp output,
because we are no longer moving away to typecheck, meaning different names are in scope at slurp time
- propagate.md
- sum-type-update-conflicts.md

similarly, in `todo.md` it shifted the hashes for the same reason
 2024-04-14 16:35:11 -04:00
Mitchell Rosen
2ff7d77820 ⅄ trunk → topic/merge4 2024-04-04 14:40:54 -04:00
Arya Irani
1be5cf2d1d Merge branch 'trunk' into kylegoetz-udp 
# Conflicts:
#	unison-src/transcripts-using-base/all-base-hashes.output.md
#	unison-src/transcripts/builtins-merge.output.md
#	unison-src/transcripts/emptyCodebase.output.md
#	unison-src/transcripts/merges.output.md
#	unison-src/transcripts/move-all.output.md
#	unison-src/transcripts/move-namespace.output.md
#	unison-src/transcripts/reflog.output.md
#	unison-src/transcripts/reset.output.md
#	unison-src/transcripts/squash.output.md
#	unison-src/transcripts/upgrade-happy-path.output.md
 2024-04-02 00:19:42 -06:00
Arya Irani
96a5be9b07 update transcript output 2024-04-02 00:12:34 -06:00
Dan Doel
eaee313440 Split corrected many pattern into two patterns 2024-03-29 12:39:30 -04:00
Mitchell Rosen
5bd507f2b9 ⅄ trunk → topic/merge4 2024-03-22 09:40:07 -04:00
Arya Irani
1e6f0daae9
Merge pull request #4808 from unisonweb/24-03-18-tweak-tdnr-visibility 
bugfix: tweak name priority for tdnr
 2024-03-20 17:43:19 -06:00
Mitchell Rosen
3799ed5d26 commit transcript output changes 2024-03-19 14:48:27 -04:00
Mitchell Rosen
96e008f153 fix suffix.md transcript 2024-03-19 12:56:03 -04:00
Travis Staton
9f7c2e2653
add "stray constructor" precondition violation example 2024-03-19 11:27:47 -04:00
Travis Staton
06cc4e84e4
Add "nested decl alias" precondition violation example 2024-03-19 11:25:05 -04:00
Travis Staton
9501bf7bec
Add "missing constructor" precondition violation example 2024-03-19 11:15:48 -04:00
Travis Staton
7455187b43
add "constructor alias" precondition violation example 2024-03-19 11:02:30 -04:00
Travis Staton
a08f509aa5
add terms in lib precondition violation example 2024-03-19 10:58:51 -04:00
Travis Staton
15e33f439a
update/update agree example 2024-03-19 10:55:55 -04:00
Travis Staton
16cd17b656
add/add agree example 2024-03-19 10:53:58 -04:00
Travis Staton
bbbac576f8
three delete examples 2024-03-19 10:51:45 -04:00
Travis Staton
2e2fc04bdd
add conflict examples to merge2 transcript 2024-03-19 10:47:07 -04:00
Travis Staton
5cf61d6c51
tweak output message for merge2 2024-03-19 10:35:05 -04:00
Arya Irani
48f5a30854
Merge pull request #4790 from unisonweb/fix/pattern-many 
Fix many pattern not backtracking
 2024-03-18 21:12:15 -06:00
Travis Staton
9694d8114d
Add basic success and failure messages 2024-03-18 13:54:21 -04:00
Travis Staton
38706cd5e3
add basic transcripts 2024-03-18 13:54:21 -04:00
Dan Doel
64ae273a33 Add test case 2024-03-18 12:01:43 -04:00
Paul Chiusano
8b0b485536 Don't always allow use clauses in do. Only do so if it's top level or contains a block. 2024-03-16 22:18:43 -05:00
Paul Chiusano
109a4de506 Prefer do in pretty-printer 2024-03-16 09:10:48 -05:00
Chris Penner
4ac7bb20cd Improve source excerpt highlighting 2024-03-13 12:14:31 -07:00
Chris Penner
3d95906195 Update transcripts 2024-03-13 11:52:29 -07:00
Travis Staton
01d3e6e297
allow duplicates in unison file 2024-03-11 15:06:13 -04:00
Arya Irani
4a9707beca
Merge pull request #4768 from unisonweb/fix/4722 
Push type checking through match statements
 2024-03-09 11:31:44 -05:00
Dan Doel
e0b178b005 Push type checking through match statements 2024-03-08 15:18:35 -05:00
Rúnar
826ba2c5ad Add transcript 2024-03-05 14:50:16 -05:00
Mitchell Rosen
a90c394000 ⅄ trunk → 24-02-26-upgrade-tweak 2024-02-27 12:37:47 -05:00
Mitchell Rosen
8dbec31f40 add new guard in upgrade to not give names to old things in new dep 2024-02-27 12:32:18 -05:00
Mitchell Rosen
4aca271228 add transcript that demonstrates old undesirable behavior 2024-02-27 11:22:38 -05:00
Arya Irani
f66bf086b8 Merge remote-tracking branch 'origin/trunk' into topic/ed25519 
# Conflicts:
#	unison-src/transcripts-using-base/all-base-hashes.output.md
 2024-02-26 20:18:46 -05:00
Mitchell Rosen
581e2e105a add transcript 2024-02-26 16:35:24 -05:00
Mitchell Rosen
179e131e94 add transcript 2024-02-26 10:01:48 -05:00
Dan Doel
a320820bc3 Transcript updates 2024-02-23 18:03:04 -05:00
Dan Doel
b3c4f9d87f Implement ed25519 builtins for Haskell 2024-02-23 18:02:24 -05:00
Mitchell Rosen
c61484112c make deleteReplacements transcript work 2024-02-22 14:53:17 -05:00
Mitchell Rosen
d34522e6a4 allow () escaped in backticks 2024-02-22 14:12:03 -05:00
Mitchell Rosen
e31aba4620 fix tab completion 2024-02-22 13:18:26 -05:00
Mitchell Rosen
12a75f18b3 partially fix tab-completion 2024-02-22 10:55:13 -05:00
Mitchell Rosen
ed881583e7 fix a few things, but oops completion is broken somehow 2024-02-21 15:16:00 -05:00
Chris Penner
72727afc46 Update end-of block symboly test 2024-02-12 10:50:41 -08:00
Chris Penner
b00acbe182 Add parens to annotation of lexed symboly segments 2024-02-12 10:46:38 -08:00
Chris Penner
a0f5ce9e52 Add tab-completion and fzf for upgrade command 2024-02-07 13:37:32 -08:00
Arya Irani
cf202fef9a
Merge pull request #4674 from unisonweb/cp/lsp-folding 2024-02-06 12:59:21 -05:00
Arya Irani
4f345fedda
Merge pull request #4671 from unisonweb/cp/format-handlers 
Fix formatting on handle-with blocks
 2024-02-05 22:13:57 -05:00
Chris Penner
4da9d12ef1 Fix span annotations on handle-with blocks 2024-02-05 10:45:03 -08:00
Chris Penner
be330a8d99 Allow multi-line bold, italics, and strikethru 2024-02-05 10:17:32 -08:00
Travis Staton
4af93e9ec0
Fix update bug #4618 
It is not safe to assume everything in the TUF is in namespace -
libdeps, it also contains new terms/decls. So, looking up the
constructors of a type may now return Nothing, in which case we know
that the decl is new and no deleteConstructorActions need to be generated.
 2024-02-01 15:40:32 -05:00
Travis Staton
df2a53a97f
Add transcript demonstrating #4618 
This transcript throws an exception, so no output can be committed.
 2024-02-01 15:40:31 -05:00
Arya Irani
9a058a381e
Merge pull request #4659 from unisonweb/cp/inline-literal-escaping 
Default to single-quotes
 2024-02-01 07:49:15 -05:00
Chris Penner
c083434457 Add folding range tests 2024-01-31 18:05:13 -08:00
Chris Penner
9b261b831f Transcript output 2024-01-31 16:30:41 -08:00
mergify[bot]
70bedd668a
Merge pull request #4653 from unisonweb/cp/debug-term 
Add `debug.term` `debug.type` for debugging
 2024-02-01 00:26:43 +00:00
Chris Penner
61a0542183 Default to single-quotes 2024-01-31 16:19:14 -08:00
Chris Penner
db15634fde Rename to debug.term|type.abt 2024-01-31 16:04:20 -08:00
Arya Irani
9e4bc32b94
Merge pull request #4655 from unisonweb/cp/text-codeblock-fix 
Fix raw text-block indentation
 2024-01-31 18:02:55 -05:00
Chris Penner
1f67d095f2 Add regression test for empty-lines in raw literals 2024-01-31 13:03:25 -08:00
Chris Penner
cb974e7ae1 Newlines within {{ }} for multi-line docs 2024-01-31 11:27:49 -08:00
Chris Penner
bea34375ab Update transcripts 2024-01-31 10:12:03 -08:00
Chris Penner
6f21f73b22 Update transcripts 2024-01-31 10:08:02 -08:00
Chris Penner
52c8d40b03 Update transcripts 2024-01-30 16:50:48 -08:00
Chris Penner
e66806fe13 Update whitespace trimming 2024-01-30 16:30:05 -08:00
Chris Penner
d07077e223 Fix parsing/printing of raw syntax blocks in transcripts 2024-01-30 16:06:28 -08:00
Chris Penner
b93d2894e5 Clean up whitespace trimming 2024-01-30 16:02:49 -08:00
Chris Penner
61059683a8 Update transcripts 2024-01-30 14:49:36 -08:00
Chris Penner
203cd8c253 Fix whitespace trimming on doc literals 2024-01-30 14:36:37 -08:00
Chris Penner
70c343d87f Add round-trip test for doc2 2024-01-30 13:15:29 -08:00
Chris Penner
6706b2e818 Remove verbose transcripts since anythingToString seems to be system 
dependent.
 2024-01-30 12:53:27 -08:00
Travis Staton
1568dfc926
fix #4280 2024-01-30 15:23:28 -05:00
Travis Staton
a87f379500
Add transcript demonstrating #4280 2024-01-30 15:22:41 -05:00
Chris Penner
68c78f8d8f Update transcripts 2024-01-30 11:58:55 -08:00
Chris Penner
8a099ce233 Add debug-definition transcripts 2024-01-30 11:55:36 -08:00
dolio
d2bb44f6a6
Merge pull request #4642 from unisonweb/fix/local-defs 
Local definition generalization and possible TDNR improvement
 2024-01-29 14:13:42 -05:00
Arya Irani
04376665e8
Merge pull request #4641 from unisonweb/runarorama/improve-tdnr-message 
Make errors nicer when TDNR fails
 2024-01-26 14:06:19 -05:00
Arya Irani
aec8aecf26
Merge pull request #4643 from unisonweb/travis/4592/roundtrip-bug-in-docs 
Don't implicitly close transclude blocks
 2024-01-26 14:04:15 -05:00
Rúnar
3b7e2586a2 Fix type rendering for existentials, other tweaks 2024-01-26 12:53:29 -05:00
Travis Staton
a939251ebd
don't implicitly close transclude blocks 
fixes #4592
 2024-01-26 12:53:26 -05:00
Travis Staton
9404e207aa
add transcript demonstrating 4592 2024-01-26 12:45:15 -05:00
Rúnar
887d9acca5 I GUESS RUNNING IT AGAIN DID THE TRICK 2024-01-25 22:41:55 -05:00
Rúnar
5d85b81ca6 Incorporating latest formatter changes 2024-01-25 22:06:18 -05:00
Rúnar
16ac4071db Merge branch 'trunk' of https://github.com/unisonweb/unison into runarorama/improve-tdnr-message 2024-01-25 21:56:09 -05:00
Rúnar
13cc8cfcf4 Minor tweaks to output 2024-01-25 20:46:31 -05:00
Chris Penner
a0a2491a6c Transcript update 2024-01-25 10:29:41 -08:00
Chris Penner
e8b8fedbce Formatter rewrite 2024-01-25 10:23:46 -08:00
Dan Doel
583df95f93 Add a transcript for #3752 2024-01-25 11:59:25 -05:00
Dan Doel
108915253b Transcript changes 2024-01-25 11:50:27 -05:00
Rúnar
3457a4b9c8 Transcript output 2024-01-25 10:12:10 -05:00
Chris Penner
4ac9cd42b0 Fix bad annotations on trailing constructor args 2024-01-24 19:12:16 -08:00
Chris Penner
0b08963203 Much closer to working 2024-01-24 18:47:39 -08:00
Chris Penner
8b7a03df0e Commit broken transcript 2024-01-24 15:35:15 -08:00
Chris Penner
b790b9ac97 Maybe working 2024-01-24 15:05:00 -08:00
Chris Penner
a118324f7f Slight improvement 2024-01-24 14:44:00 -08:00
Chris Penner
a97da0377f Update transcripts 2024-01-24 14:18:06 -08:00
Chris Penner
28a79d911b Merge remote-tracking branch 'origin/trunk' into cp/doc-formatter-fix 2024-01-24 11:45:30 -08:00
Chris Penner
d6a2a8ae5e It's working don't touch it. 2024-01-24 11:44:00 -08:00
Chris Penner
047ef594a6 Fix special case for type doc in lexer 2024-01-24 10:18:00 -08:00
Chris Penner
287dae5ce9 Merge remote-tracking branch 'origin/trunk' into cp/edit-namespace 2024-01-23 11:35:23 -08:00
Chris Penner
5679768c8c Add format command alongside a transcript 2024-01-16 15:33:16 -08:00
Chris Penner
b208778385 Update transcripts 2024-01-16 12:02:00 -08:00
Chris Penner
ff47ec7813 Merge remote-tracking branch 'origin/trunk' into cp/remove-global-names-again 2024-01-16 11:49:07 -08:00
Arya Irani
f746fb7927
Merge pull request #4615 from unisonweb/travis/4423/branch-relative-path 
Allow forking between projects/branches
 2024-01-16 11:02:28 -05:00
Travis Staton
3d3dd58f59
fork accepts branch relative paths 2024-01-12 14:33:09 -05:00
Chris Penner
5520a5b881 Update transcripts 2024-01-12 10:19:02 -08:00
Mitchell Rosen
3d0f9bd34e make upgrade use update's complicated ppe creation logic, which finishes 
off suffixifying definitions by hash when we can in upgrade
 2024-01-12 12:25:58 -05:00
Chris Penner
6896232b05 Transcript update 2024-01-11 15:42:48 -08:00
Chris Penner
a6cc182272 Merge remote-tracking branch 'origin/trunk' into cp/remove-global-names-again 2024-01-11 15:35:36 -08:00
Mitchell Rosen
a7fca26bba ⅄ 24-01-10-fix-upgrade-suffixifier → 24-01-09-better-suffixification 2024-01-10 14:55:02 -05:00
Mitchell Rosen
661ce6a78e make upgrade suffixify by name 2024-01-10 14:51:29 -05:00
Mitchell Rosen
f5bfa60b59 add transcript that demonstrates bug in upgrade suffixification 2024-01-10 14:44:12 -05:00
Mitchell Rosen
ca0b09adf4 remove irrelevant transcript that no longer demonstrates a bug in update.old 2024-01-10 14:33:07 -05:00
Mitchell Rosen
4ffb2f8dd7 update update-suffixifies-properly transcript output 2024-01-10 14:08:22 -05:00
Mitchell Rosen
509aa0c805 add transcript demonstrating current update suffixification behavior 2024-01-10 14:06:46 -05:00
Arya Irani
00cd55edeb
Merge pull request #4577 from unisonweb/cp/update2-writeSource 
Don't do file IO in `OutputMessages` for upgrade/update
 2024-01-09 15:41:23 -10:00
Arya Irani
5741d0448c
Merge pull request #4576 from unisonweb/cp/scratch-file-transcript-block 
Don't display definitions in console output for `edit` (and new transcript outputs to replace it)
 2024-01-09 15:39:35 -10:00
Chris Penner
662bb9f35d Update transcripts 2024-01-09 14:38:04 -08:00
Chris Penner
09123fe8f4 Merge branch 'cp/scratch-file-transcript-block' into cp/update2-writeSource 2024-01-09 14:32:11 -08:00
Chris Penner
7b7c07d9a1 Merge remote-tracking branch 'origin/trunk' into cp/scratch-file-transcript-block 2024-01-09 13:55:12 -08:00
Arya Irani
fb1db18613
Merge pull request #4589 from unisonweb/24-01-05-better-suffixify 
bugtweak: make suffixification a little worse when rendering unison files via update/upgrade
 2024-01-09 11:54:14 -10:00
Chris Penner
6669243e13 Resolve transcripts 2024-01-08 14:51:01 -08:00
Chris Penner
b1e10df0fb Fix release draft transcripts 2024-01-08 14:46:09 -08:00
Chris Penner
8e4845298c Slight improvement to propagate transcript 2024-01-08 14:42:09 -08:00
Chris Penner
0cce11c0d7 Update transcripts 2024-01-08 14:33:37 -08:00
Chris Penner
90d89accc8 Remove globbing 2024-01-08 14:25:57 -08:00
Chris Penner
cb0aebae9c Update merges transcripts 2024-01-08 14:24:04 -08:00
Chris Penner
86f04f5585 update merge transcripts 2024-01-08 14:12:01 -08:00
Chris Penner
d7553c38e1 Update transcripts 2024-01-08 14:01:49 -08:00
Chris Penner
6f3bdb3ba7 Update transcripts 2024-01-08 13:58:50 -08:00
Chris Penner
f2244f612e Fix create author transcript 2024-01-08 13:51:13 -08:00
Chris Penner
e50f57f542 Merge remote-tracking branch 'origin/trunk' into cp/remove-global-names-again 2024-01-08 13:42:00 -08:00
Chris Penner
ddd580d840 Update find transcripts 2024-01-08 12:17:35 -08:00
Chris Penner
fb6940c1c4 remove mergeio 2024-01-08 12:07:00 -08:00
Chris Penner
52c96556eb Update transcript outputs 2024-01-08 12:03:00 -08:00
Chris Penner
22ac9fc82a Update delete transcripts 2024-01-08 12:02:10 -08:00
Chris Penner
9416755973 Fix more transcripts 2024-01-08 11:56:31 -08:00
Chris Penner
b126844b8e Fix which ppe we use in find 2024-01-08 11:53:31 -08:00
Chris Penner
3f8c3251cd Update some transcripts to new global fallback 2024-01-08 11:35:37 -08:00
Arya Irani
3b9b813f8d
Merge pull request #4571 from unisonweb/mention-upgrade-scratch-file-name 
feat: mention the name of the file we put failed upgrades in
 2024-01-08 06:41:33 -10:00
Mitchell Rosen
b2737a6415 update wording and transcripts 2024-01-08 10:45:18 -05:00
Arya Irani
40ec9404b5 fix fix1696 and fix2297 transcripts 
these had broken in the past when we made the modifier mandatory
and nobody noticed until now
 2024-01-05 14:58:47 -10:00
Arya Irani
8bf585a857 update type-modifier-are-optional transcript 2024-01-05 14:56:38 -10:00
Arya Irani
3b5ce64bcf Merge branch 'trunk' into unorsk/unique-as-default-type-modifier 
# Conflicts:
#	unison-src/transcripts/diff-namespace.output.md
#	unison-src/transcripts/docs.output.md
 2024-01-05 14:15:22 -10:00
Mitchell Rosen
eb9bac5e78 run transcripts 2024-01-05 16:57:03 -05:00
Mitchell Rosen
f08c6a4758 ⅄ trunk → 24-01-05-better-suffixify 2024-01-05 16:37:09 -05:00
Chris Penner
5b03808aa5 Merge branch 'cp/scratch-file-transcript-block' into cp/update2-writeSource 2024-01-05 11:14:20 -08:00
Chris Penner
785d6d0ea8 Fix ordering of captured file update commands 2024-01-05 11:11:51 -08:00
Mitchell Rosen
5fa44447d6 ⅄ trunk → 24-01-05-better-suffixify 2024-01-05 12:29:54 -05:00
Mitchell Rosen
f1b0d05954 Merge commit '014b3fceb44f2a5330045f8d0da63c0385d2afdc' into 24-01-04-delete-default-metadata 
# Conflicts:
#	unison-cli/src/Unison/CommandLine/InputPatterns.hs
 2024-01-05 12:08:06 -05:00
Travis Staton
639a6cece5
update transcripts 2024-01-05 11:46:39 -05:00
Travis Staton
b333a93e94
change suffixify termination condition 2024-01-05 11:33:28 -05:00
Travis Staton
3c7101c105
Add transcript demonstrating #4556 2024-01-05 11:30:14 -05:00
Chris Penner
4eafb6741a Merge remote-tracking branch 'origin/trunk' into cp/edit-namespace 2024-01-04 15:35:58 -08:00
Chris Penner
72ebafa057 Update transcripts 2024-01-04 15:04:28 -08:00
Chris Penner
19f58795f5 Transcripts now output changes to the scratchfile 2024-01-04 14:12:15 -08:00
Chris Penner
603859f51d Use correct articles in Selection message 2024-01-04 13:36:25 -08:00
Chris Penner
ce052742de One last transcript re-run 2024-01-04 13:23:05 -08:00
Chris Penner
acf4598cf7 Update transcripts 2024-01-04 11:41:01 -08:00
Chris Penner
5ab4b69508 Use arg names in fuzzy selections 2024-01-04 10:58:56 -08:00
Chris Penner
fd58bf59f6 Merge branch 'cp/arg-names' into cp/fzf-better-errs-2 2024-01-04 10:35:10 -08:00
andrii
59505cc491 Merge remote-tracking branch 'origin/trunk' into unorsk/unique-as-default-type-modifier 2024-01-04 10:17:41 +01:00
andrii
4456c95c7a Fixing test for type modifiers, updating trnscripts 2024-01-04 09:42:12 +01:00
Mitchell Rosen
b7d43cf40f remove a bunch of metadata-related code 2024-01-03 20:44:55 -05:00
Arya Irani
5b8ce7a25e
Merge pull request #4519 from unisonweb/cp/fzf-args 
FZF on argument types
 2024-01-03 15:14:41 -10:00
Chris Penner
b7df4c4534 Update transcript 2024-01-03 16:42:19 -08:00
Chris Penner
d4c8715b9b Update transcripts from trunk 2024-01-03 16:29:06 -08:00
Chris Penner
a093d5be41 Improve error messages on un-resolvable fuzzy command invocations 2024-01-03 16:28:10 -08:00
Mitchell Rosen
d95184dd4d update fix4482 transcript 2024-01-03 19:20:19 -05:00
Arya Irani
3f98844277 merged trunk 2024-01-03 14:18:24 -10:00
Mitchell Rosen
d3f69389d5 mention the name of the file we put failed upgrades in 2024-01-03 18:52:12 -05:00
Chris Penner
83a1698164 Merge remote-tracking branch 'origin/trunk' into cp/fzf-args 2024-01-03 15:08:17 -08:00
Mitchell Rosen
d9246002cc dont use NamesWithHistory 2024-01-03 17:27:14 -05:00
Mitchell Rosen
5493cb05c4 fix transcript 2024-01-03 15:36:39 -05:00
Mitchell Rosen
7e49e8296f Fix bug in addDefinitionsToUnisonFile that erroneously stripped decl names from constructors 2024-01-03 14:00:48 -05:00
Chris Penner
32c57c6b2e Re-update transcripts from trunk 2024-01-02 12:19:09 -08:00
Chris Penner
253d690da1 Merge remote-tracking branch 'origin/trunk' into cp/writeSource 2024-01-02 12:04:53 -08:00
Chris Penner
dfbd39bf76 Don't pull base in transcripts 2024-01-02 11:35:02 -08:00
Chris Penner
d8b7277dc4 Add transcripts for edit command 2023-12-22 13:19:44 -06:00
andrii
8b857b152c Adding a message for when ucm started reloading changes 2023-12-22 12:55:24 +01:00
Arya Irani
5e98e805af
Merge pull request #4505 from unisonweb/tweak-branch-exists-error-message 
fix "branch already exists" error message to show project, too
 2023-12-20 14:03:20 -10:00
Mitchell Rosen
3e86091901 bugfix: make run able to run things that don't return builtins 2023-12-20 12:37:17 -05:00
Chris Penner
0686eb864a Add debug.fuzzy-options for debugging fuzzy completions 2023-12-19 12:57:27 -06:00
Mitchell Rosen
b7da721144 update transcript 2023-12-15 13:02:49 -05:00
Chris Penner
961de6ed8b Add project tab-completion transcripts 2023-12-14 15:06:35 -08:00
Chris Penner
9a7dafc7a6 Remove '{Exception} from io tests. 2023-12-14 10:20:34 -08:00
Chris Penner
44ee3d604f Merge remote-tracking branch 'origin/trunk' into cp/io-test 2023-12-13 13:09:40 -08:00
Chris Penner
74fe3aa441 Add cache test to test transcript 2023-12-13 12:36:34 -08:00
Chris Penner
a8e6ac3e63 Update test-command transcripts 2023-12-13 12:35:04 -08:00
Chris Penner
fc89e1498a Add io-test transcript 2023-12-13 12:30:29 -08:00
Chris Penner
fde4cb91f6 Update transcripts 2023-12-13 12:22:11 -08:00
Arya Irani
309517c5f0
Merge pull request #4503 from unisonweb/fix/4491 2023-12-13 05:11:47 -10:00
Arya Irani
a62aece026 update message again 2023-12-12 22:47:17 -10:00
Arya Irani
84ace9d57e update message again 2023-12-12 20:39:46 -10:00
Arya Irani
5b5d2c666f update UpdateIncompleteConstructorSet message 
closes #4491
 2023-12-12 20:04:54 -10:00
Arya Irani
37ca00c65e
Merge pull request #4502 from unisonweb/travis/tdnr-bug 2023-12-12 19:41:19 -10:00
Travis Staton
6f21d2a9be
prefer shallow lib dep in tdnr 2023-12-12 20:42:53 -05:00
Travis Staton
512b935913
demonstrate bug 2023-12-12 20:36:02 -05:00
Arya Irani
063bade6c1
Merge pull request #4485 from unisonweb/cp/exact-term-search 
Unison Local - Search for docs by exact name, not suffix
 2023-12-12 05:30:20 -10:00
Travis Staton
a9e3fc84f6
expect error 2023-12-08 15:19:57 -05:00
Travis Staton
7dbb7c9b6c
include dependents of refs in old dep's closure that aren't in the codebase without old dep 2023-12-08 14:56:03 -05:00
Chris Penner
e9e75328b3 Update transcripts 2023-12-07 15:18:55 -08:00
Arya Irani
2554712a78
Merge pull request #4477 from unisonweb/travis/move-all 2023-12-06 11:03:39 -10:00
Mitchell Rosen
aa0ef5eee2 tweak transcript 2023-12-06 12:20:01 -05:00
Travis Staton
9bcca3506a
transcript update 2023-12-06 10:33:39 -05:00
Travis Staton
cbc9d9a6e2
functional moveAll 2023-12-06 09:09:18 -05:00
Mitchell Rosen
2d082f87ed add a transcript and some comments 2023-12-05 17:11:26 -05:00
Arya Irani
d611f8f525
Merge pull request #4452 from unisonweb/captureAs 2023-12-01 08:58:43 -05:00
Arya Irani
3345055d0b
Merge pull request #4454 from unisonweb/23-11-30-fix-watch-update-bug 2023-11-30 17:27:19 -05:00