Chris Penner
fce12cb8b7
Work on fixing some transcripts for projects
2024-07-01 14:30:21 -07:00
Chris Penner
0b8548f36c
Delete some out of date bits of transcripts
2024-07-01 14:29:32 -07:00
Chris Penner
dadc4e476b
Merge trunk and resolve basic conflicts
2024-07-01 14:29:32 -07:00
Chris Penner
d98b4aebc1
Port more transcripts to projects
2024-07-01 11:14:31 -07:00
Arya Irani
71eed210ce
Merge pull request #5146 from unisonweb/24-06-26-port-old-merge-transcripts
2024-06-28 03:45:57 -04:00
Arya Irani
05585090c3
Merge pull request #5147 from unisonweb/todo-empty
2024-06-28 00:48:44 -04:00
Dan Doel
907aba9550
Rerun jit tests with regenerated file
2024-06-27 17:21:42 -04:00
Dan Doel
8a04bf4f87
Merge remote-tracking branch 'origin/trunk' into topic/jit-cont
2024-06-27 16:21:25 -04:00
Mitchell Rosen
a76bca1326
re-run fix2254.md
2024-06-27 15:43:07 -04:00
Mitchell Rosen
7fd9b6507d
⅄ trunk → todo-empty
2024-06-27 15:42:56 -04:00
Chris Penner
563e14806f
Resolve conflicts with trunk
2024-06-27 12:35:14 -07:00
Mitchell Rosen
ce3c2dcb94
don't output nothing when there's nothing to do
2024-06-27 14:56:32 -04:00
Chris Penner
5dcc096160
update transcripts
2024-06-27 11:53:23 -07:00
Chris Penner
937ac50e0a
Don't pull base in docs.to-html
2024-06-27 11:29:00 -07:00
Dan Doel
658d490b25
Transcript update
2024-06-27 14:18:09 -04:00
Chris Penner
4b7cf99df6
Fix fix5080 pulling over the network
2024-06-27 11:08:05 -07:00
Chris Penner
b6b2adb075
Resolve merge conflicts with trunk
2024-06-27 10:55:45 -07:00
Chris Penner
384083e190
Revive strangely deleted bits of merge.md
2024-06-27 10:30:48 -07:00
Chris Penner
47a3a01fbe
Fix up api transcripts
2024-06-27 10:25:16 -07:00
Dan Doel
c1bd940ce1
Bump share dependency
2024-06-27 12:28:39 -04:00
Mitchell Rosen
d1f2d78638
in update-on-conflict.md, replace use of merge.old with debug.alias.term.force
2024-06-27 11:44:46 -04:00
Mitchell Rosen
d9618f7ab3
in name-selection.md, replace use of merge.old with debug.alias.term.force
2024-06-27 11:41:25 -04:00
Mitchell Rosen
831c2e0e06
in diff-namespace.md, replace uses of merge.old with debug.alias.term.force
2024-06-27 11:30:17 -04:00
Mitchell Rosen
df9e78138f
in delete.md, replace uses of merge.old with debug.alias.{term,type}.force
2024-06-27 11:12:21 -04:00
Arya Irani
f824743347
Merge pull request #5144 from sellout/group-test-results
2024-06-27 10:39:05 -04:00
Mitchell Dalvi Rosen
4d8fa732af
Merge pull request #5139 from unisonweb/24-06-26-delete-type-force
...
feat: add debug.alias.type.force
2024-06-27 09:50:12 -04:00
Greg Pfeil
1a753ffb5b
Group test results by definition
...
Follow-up to #5140 .
2024-06-26 23:40:16 -06:00
Chris Penner
1c75272e9b
Revert reflog transcript to trunk for now
2024-06-26 16:14:21 -07:00
Chris Penner
20b5e93381
Update rewrites.md output
2024-06-26 16:06:26 -07:00
Chris Penner
a23e7d233e
Revert round-trip main.md transcript
2024-06-26 15:52:13 -07:00
Chris Penner
568fe7bfb7
Fix reflog transcript
2024-06-26 15:47:56 -07:00
Greg Pfeil
f14fca03a0
Merge branch 'trunk' into better-CLI-error-messages
2024-06-26 16:24:57 -06:00
Greg Pfeil
94d5ab03d9
Restore trailing whitespace in transcript
2024-06-26 16:05:48 -06:00
Chris Penner
209ddc0a5a
Merge trunk
2024-06-26 14:56:31 -07:00
Greg Pfeil
2faa425d76
Merge remote-tracking branch 'upstream/trunk' into numbered-test-results
2024-06-26 14:58:25 -06:00
Greg Pfeil
fd197f1369
Update the transcript outputs
2024-06-26 14:45:49 -06:00
Greg Pfeil
f1fd05f03d
Add a failing transcript for #5080
2024-06-26 14:44:33 -06:00
Chris Penner
2cb85ae5df
Fix up transcripts which mention __projects
2024-06-26 12:54:15 -07:00
Chris Penner
7122d595cf
Merge trunk
2024-06-26 12:54:15 -07:00
Mitchell Rosen
cf1baee523
add debug.alias.type.force
2024-06-26 15:33:15 -04:00
Chris Penner
c9c3abcd52
Revert view.md, will port later
2024-06-26 12:06:13 -07:00
Chris Penner
103569a5cd
Port update-type-add-new-record to projects
2024-06-26 12:05:09 -07:00
Chris Penner
d4a08fdc0a
Port unitnamespace to projecs
2024-06-26 12:04:02 -07:00
Chris Penner
5a68b4df78
Port test-command.md to projects
2024-06-26 12:02:55 -07:00
Chris Penner
bb41e55e07
Port tab-completion mostly to projects
2024-06-26 12:00:40 -07:00
Chris Penner
c419cd088d
Port sum-type-update-conflicts to projects
2024-06-26 11:55:35 -07:00
Chris Penner
2e1a95443a
Partially convert propagate.md to projects
2024-06-26 11:53:59 -07:00
Chris Penner
1014ff7a1a
Port numbered-args to projects
2024-06-26 11:49:49 -07:00
Chris Penner
3ab92ec80d
Leave namespace-dependencies for later
2024-06-26 11:48:47 -07:00
Chris Penner
6e549469cd
Port namespace-deletion-regression.md to projects
2024-06-26 11:47:03 -07:00
Chris Penner
bed7af2ab2
Half-convert move-namespace.md to projects
2024-06-26 11:41:07 -07:00
Chris Penner
59aebe93a5
remove ls-pretty-print-scope-bug.md, we don't really support subnamespaces for this any more
2024-06-26 11:29:30 -07:00
Chris Penner
6625996039
Port fuzzy-option.md to projects
2024-06-26 11:22:32 -07:00
Chris Penner
bcb3e46218
Fix 2628.md for projects
2024-06-26 11:20:19 -07:00
Chris Penner
f3503cca97
Port fix2243.md to projects
2024-06-26 11:18:41 -07:00
Chris Penner
f71008b6a2
Port find-command to projects
2024-06-26 11:07:16 -07:00
Chris Penner
a92885a8bd
Port emptyCodebase transcript to projects
2024-06-26 11:03:22 -07:00
Chris Penner
6a1ccd5a64
Port empty-namespaces to projects
2024-06-26 11:01:11 -07:00
Chris Penner
2fd585e1d3
Port doc1 transcript to projects
2024-06-26 10:58:27 -07:00
Mitchell Rosen
60a58a2ff8
⅄ trunk → 24-06-26-port-old-merge-transcripts
2024-06-26 12:30:52 -04:00
Mitchell Rosen
94580cc218
delete squash.md
2024-06-26 12:27:49 -04:00
Mitchell Rosen
c5f4d6d5b7
delete project-merge.md
2024-06-26 12:26:14 -04:00
Mitchell Rosen
19da19b259
delete merges.md
2024-06-26 12:25:24 -04:00
Mitchell Rosen
25d505e784
port mergeloop.md over to use new merge
2024-06-26 12:24:00 -04:00
Arya Irani
e589d0ff75
Merge pull request #5118 from unisonweb/24-06-21-alias-term-force
2024-06-26 12:20:09 -04:00
Mitchell Rosen
596cb39b2e
port empty namespace merge test to new merge
2024-06-26 12:13:18 -04:00
Mitchell Rosen
93fc35e2c7
delete child-namespace-history-merge.md
2024-06-26 11:32:06 -04:00
Mitchell Rosen
13558c91e8
delete fix2004.md
2024-06-26 11:30:39 -04:00
Mitchell Rosen
267bfdf248
remove fix2000.md
2024-06-26 11:26:37 -04:00
Mitchell Rosen
e1b00d9c58
rename alias.term.force
to debug.alias.term.force
2024-06-26 11:23:21 -04:00
Arya Irani
95fc3aabfd
Merge pull request #5124 from unisonweb/24-06-24-todo-dependents
2024-06-26 10:36:51 -04:00
Chris Penner
3666e04257
Convert deep-names to use projects
2024-06-25 17:21:03 -07:00
Chris Penner
fcc251de2e
Convert create-author.md to projects
2024-06-25 17:15:00 -07:00
Chris Penner
6e48ce47be
builtins.md converted to projects
2024-06-25 17:14:48 -07:00
Chris Penner
e2f4c388b6
Remove loose code demo from branch
2024-06-25 17:10:02 -07:00
Chris Penner
bbd02a9129
Port getDefinition.md to use projects.
...
Fix recontextualization of project queries when using relativeTo
2024-06-25 17:05:38 -07:00
Dan Doel
34877da01c
Don't relax type when doing an instantiateL during subtyping
...
This is the case of `a < T` for some structured T. By relaxing, we are
actually allowing `a` to be a _supertype_ of T as far as abilities go,
which is not correct. Seems like it was just erroneously mirrored from
the opposite case.
2024-06-25 15:54:10 -04:00
Chris Penner
6152577dd4
Fix alias-many transcript
2024-06-25 11:32:19 -07:00
Chris Penner
7930cc2c33
Transcript output updates
2024-06-25 11:12:43 -07:00
Chris Penner
26a0bf7b40
Edit transcripts to be in projects
2024-06-25 11:12:43 -07:00
Chris Penner
5ca1eb3b8d
Replace '.' references with scratch/main
2024-06-25 11:11:07 -07:00
Chris Penner
ae7cf3d0a5
Update transcripts to use implicit project creation
2024-06-25 11:08:11 -07:00
Arya Irani
53c3a16366
Merge pull request #5114 from unisonweb/topic/force-syntax
2024-06-25 10:34:00 -04:00
Mitchell Rosen
ae54637bae
add transcript that demonstrates bug in merge
2024-06-25 09:40:06 -04:00
Paul Chiusano
97838c4883
Merge remote-tracking branch 'origin/trunk' into topic/force-syntax
...
# Conflicts:
# unison-src/transcripts-round-trip/main.output.md
# unison-src/transcripts-round-trip/reparses-with-same-hash.u
2024-06-24 18:53:04 -05:00
Chris Penner
1c186d4d73
Merge trunk into cp/project-root
2024-06-24 12:50:36 -07:00
Mitchell Rosen
3e229d521f
⅄ trunk → 24-06-24-todo-dependents
2024-06-24 13:42:13 -04:00
Arya Irani
7172bb8e4f
Merge pull request #5107 from unisonweb/24-06-13-revamp-todo
2024-06-24 12:08:27 -04:00
Mitchell Rosen
d8240cd106
add transcripts for showing dependents of todo
2024-06-24 09:45:11 -04:00
Arya Irani
67985204e5
Merge pull request #5108 from sellout/lexer-error-messages
2024-06-24 08:19:16 -04:00
Greg Pfeil
782ac4164d
Remove redundant ,
from lexer errors
...
Appositives only need to be offset by commas if there isn’t already some other punctuation.
2024-06-23 22:18:51 -05:00
Arya Irani
f74565dbfe
Merge pull request #5111 from sellout/docs.to-html-project-support
2024-06-23 22:18:20 -04:00
Greg Pfeil
3a9e8e51a0
Test that docs.to-html
actually writes files
2024-06-23 20:21:16 -05:00
Arya Irani
2d33fd10a0
merge trunk
2024-06-23 11:59:32 -04:00
Eduard Nicodei
9c610510c1
update main.output.md
2024-06-22 18:09:28 +01:00
Eduard Nicodei
85ab99f605
add test in reparses-with-same-hash
...
# Conflicts:
# unison-src/transcripts-round-trip/reparses-with-same-hash.u
2024-06-22 18:09:28 +01:00
Eduard Nicodei
7108787a5a
add more tests
2024-06-22 14:03:08 +01:00
Eduard Nicodei
25ce29301b
add tests
2024-06-22 13:51:18 +01:00
Mitchell Rosen
db3d0e73b3
delete reflog
calls to make transcript more idempotent
2024-06-21 16:09:50 -04:00
Mitchell Rosen
b96044c269
add alias.term.force
2024-06-21 15:37:56 -04:00
Paul Chiusano
58818242a3
reduce scope of PR to just !foo
vs foo()
, refresh transcripts
2024-06-21 09:41:32 -05:00
Paul Chiusano
ff05361e40
update transcripts
2024-06-21 08:48:08 -05:00
Greg Pfeil
6f26a16401
Add quoteCode
for printing errors
...
This both colorizes and wraps code in backticks, in order to separate it from surrounding context.
2024-06-20 21:40:07 -04:00
Paul Chiusano
72a05780a0
add round trip test case
2024-06-20 17:18:04 -05:00
Paul Chiusano
d4a2ed9066
Switch to foo()
with no space as preferred syntax instead of !foo
2024-06-20 16:52:57 -05:00
Greg Pfeil
f4f55b9b45
Support branch-relative paths for docs.to-html
...
Fixes #4402 .
2024-06-20 17:30:06 -04:00
Mitchell Rosen
9e7a937669
add todo.md transcript
2024-06-20 16:19:55 -04:00
Mitchell Rosen
5353a4e64c
properly handle deleted constructors in merge
2024-06-20 14:31:40 -04:00
Greg Pfeil
bb4f39fb2f
Update error message in transcripts
2024-06-20 13:56:19 -04:00
Mitchell Rosen
1081a9835a
⅄ trunk → 24-06-13-revamp-todo
2024-06-18 13:20:20 -04:00
Chris Penner
6d8605e70b
Merge trunk
...
Propagate fixes from earlier merge
2024-06-14 15:41:50 -07:00
Arya Irani
2e38bf860d
Merge pull request #4986 from unisonweb/24-05-20-merge-commit
2024-06-13 14:53:57 -04:00
Mitchell Rosen
6e04dbd083
gut existing todo implementation
2024-06-13 10:29:42 -04:00
Mitchell Rosen
84273a556f
revert tweak to merge failure output
2024-06-13 08:36:03 -04:00
Mitchell Rosen
e903a1c155
add merge.commit failure test
2024-06-13 08:29:02 -04:00
Chris Penner
2863b668fa
Convert transcript parser to be project based
2024-06-12 10:08:49 -07:00
Chris Penner
815c1b1f1c
Auto-create project-branches referenced in transcript prompts ( #5077 )
2024-06-12 09:28:12 -04:00
Greg Pfeil
532236bbc0
Merge remote-tracking branch 'upstream/trunk' into better-CLI-error-messages
2024-06-11 16:14:24 -04:00
Greg Pfeil
9691a80ed7
Improve CLI shared error message
...
This rephrases part of it and includes instructions to run the `help`
command (rather than including the `help` output directly). In future,
we may directly include shorter `help` outputs or a separate set of
examples. But for now the `help` output may overshadow the error message
we intend to show the user.
2024-06-11 16:09:05 -04:00
Mitchell Rosen
2e97d46db3
⅄ trunk → 24-05-20-merge-commit
2024-06-11 14:15:30 -04:00
Chris Penner
91527b6008
Merge trunk
2024-06-11 11:10:47 -07:00
Arya Irani
335512e331
fix conflicted alias message 2 ( #5071 )
...
Co-authored-by: aryairani <aryairani@users.noreply.github.com>
2024-06-11 09:40:43 -04:00
Arya Irani
a45fc88fb1
Update merge precondition message: Conflicted aliases ( #5070 )
2024-06-10 20:42:01 -04:00
Arya Irani
433be000b2
Merge pull request #5068 from unisonweb/24-05-30-edit-namespace-no-record-accessors
2024-06-10 16:22:35 -04:00
Mitchell Rosen
72bdd9185f
amend edit.namespace transcript
2024-06-10 15:49:02 -04:00
Mitchell Rosen
e3440a91c6
don't consider update+delete a conflicted alias
2024-06-10 13:57:22 -04:00
Mitchell Rosen
528c2a1cd6
commit failing transcript
2024-06-10 13:56:12 -04:00
Chris Penner
bcc39d879d
Remerge trunk
2024-06-10 10:24:37 -07:00
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 Name
s 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