mirror of
https://github.com/unisonweb/unison.git
synced 2024-09-11 02:25:39 +03:00
0cd3cd1cff
# Conflicts: # unison-cli-integration/integration-tests/IntegrationTests/transcript.output.md # unison-src/transcripts-round-trip/main.output.md # unison-src/transcripts/add-run.output.md # unison-src/transcripts/bug-strange-closure.output.md # unison-src/transcripts/cycle-update-5.output.md # unison-src/transcripts/delete.output.md # unison-src/transcripts/diff-namespace.output.md # unison-src/transcripts/move-namespace.output.md # unison-src/transcripts/name-selection.output.md # unison-src/transcripts/names.output.md # unison-src/transcripts/namespace-dependencies.output.md # unison-src/transcripts/propagate.output.md # unison-src/transcripts/reflog.output.md # unison-src/transcripts/reset.output.md # unison-src/transcripts/tab-completion.output.md # unison-src/transcripts/transcript-parser-commands.output.md
234 lines
4.4 KiB
Markdown
234 lines
4.4 KiB
Markdown
# Tab Completion
|
|
|
|
Test that tab completion works as expected.
|
|
|
|
## Tab Complete Command Names
|
|
|
|
``` ucm
|
|
scratch/main> debug.tab-complete vi
|
|
|
|
view
|
|
view.global
|
|
|
|
scratch/main> debug.tab-complete delete.
|
|
|
|
delete.branch
|
|
delete.namespace
|
|
delete.namespace.force
|
|
delete.project
|
|
delete.term
|
|
delete.term.verbose
|
|
delete.type
|
|
delete.type.verbose
|
|
delete.verbose
|
|
|
|
```
|
|
## Tab complete terms & types
|
|
|
|
``` unison
|
|
subnamespace.someName = 1
|
|
subnamespace.someOtherName = 2
|
|
subnamespace2.thing = 3
|
|
othernamespace.someName = 4
|
|
|
|
unique type subnamespace.AType = A | B
|
|
```
|
|
|
|
``` ucm
|
|
|
|
Loading changes detected in scratch.u.
|
|
|
|
I found and typechecked these definitions in scratch.u. If you
|
|
do an `add` or `update`, here's how your codebase would
|
|
change:
|
|
|
|
⍟ These new definitions are ok to `add`:
|
|
|
|
type subnamespace.AType
|
|
othernamespace.someName : ##Nat
|
|
subnamespace.someName : ##Nat
|
|
subnamespace.someOtherName : ##Nat
|
|
subnamespace2.thing : ##Nat
|
|
|
|
```
|
|
``` ucm
|
|
-- Should tab complete namespaces since they may contain terms/types
|
|
scratch/main> debug.tab-complete view sub
|
|
|
|
subnamespace.
|
|
subnamespace2.
|
|
|
|
-- Should not complete things from child namespaces of the current query if there are other completions at this level
|
|
scratch/main> debug.tab-complete view subnamespace
|
|
|
|
subnamespace.
|
|
subnamespace2.
|
|
|
|
-- Should complete things from child namespaces of the current query if it's dot-suffixed
|
|
scratch/main> debug.tab-complete view subnamespace.
|
|
|
|
* subnamespace.AType
|
|
subnamespace.AType.
|
|
* subnamespace.someName
|
|
* subnamespace.someOtherName
|
|
|
|
-- Should complete things from child namespaces of the current query if there are no more completions at this level.
|
|
scratch/main> debug.tab-complete view subnamespace2
|
|
|
|
subnamespace2.
|
|
* subnamespace2.thing
|
|
|
|
-- Should prefix-filter by query suffix
|
|
scratch/main> debug.tab-complete view subnamespace.some
|
|
|
|
* subnamespace.someName
|
|
* subnamespace.someOtherName
|
|
|
|
scratch/main> debug.tab-complete view subnamespace.someOther
|
|
|
|
* subnamespace.someOtherName
|
|
|
|
```
|
|
``` unison
|
|
absolute.term = "absolute"
|
|
```
|
|
|
|
``` ucm
|
|
scratch/main> add
|
|
|
|
⍟ I've added these definitions:
|
|
|
|
absolute.term : ##Text
|
|
|
|
-- Should tab complete absolute names
|
|
scratch/main> debug.tab-complete view .absolute.te
|
|
|
|
* .absolute.term
|
|
|
|
```
|
|
## Tab complete namespaces
|
|
|
|
``` ucm
|
|
-- Should tab complete namespaces
|
|
scratch/main> debug.tab-complete find-in sub
|
|
|
|
subnamespace
|
|
subnamespace2
|
|
|
|
scratch/main> debug.tab-complete find-in subnamespace
|
|
|
|
subnamespace
|
|
subnamespace2
|
|
|
|
scratch/main> debug.tab-complete find-in subnamespace.
|
|
|
|
subnamespace.AType
|
|
|
|
scratch/main> debug.tab-complete io.test sub
|
|
|
|
subnamespace.
|
|
subnamespace2.
|
|
|
|
scratch/main> debug.tab-complete io.test subnamespace
|
|
|
|
subnamespace.
|
|
subnamespace2.
|
|
|
|
scratch/main> debug.tab-complete io.test subnamespace.
|
|
|
|
subnamespace.AType.
|
|
* subnamespace.someName
|
|
* subnamespace.someOtherName
|
|
|
|
```
|
|
Tab Complete Delete Subcommands
|
|
|
|
``` unison
|
|
unique type Foo = A | B
|
|
add : a -> a
|
|
add b = b
|
|
```
|
|
|
|
``` ucm
|
|
|
|
Loading changes detected in scratch.u.
|
|
|
|
I found and typechecked these definitions in scratch.u. If you
|
|
do an `add` or `update`, here's how your codebase would
|
|
change:
|
|
|
|
⍟ These new definitions are ok to `add`:
|
|
|
|
type Foo
|
|
add : a -> a
|
|
|
|
```
|
|
``` ucm
|
|
scratch/main> update.old
|
|
|
|
⍟ I've added these definitions:
|
|
|
|
type Foo
|
|
add : a -> a
|
|
|
|
scratch/main> debug.tab-complete delete.type Foo
|
|
|
|
* Foo
|
|
Foo.
|
|
|
|
scratch/main> debug.tab-complete delete.term add
|
|
|
|
* add
|
|
|
|
```
|
|
## Tab complete projects and branches
|
|
|
|
``` ucm
|
|
myproject/main> branch mybranch
|
|
|
|
Done. I've created the mybranch branch based off of main.
|
|
|
|
Tip: To merge your work back into the main branch, first
|
|
`switch /main` then `merge /mybranch`.
|
|
|
|
myproject/main> debug.tab-complete branch.delete /mybr
|
|
|
|
/mybranch
|
|
|
|
myproject/main> debug.tab-complete project.rename my
|
|
|
|
myproject
|
|
|
|
```
|
|
Commands which complete namespaces OR branches should list both
|
|
|
|
``` unison
|
|
mybranchsubnamespace.term = 1
|
|
```
|
|
|
|
``` ucm
|
|
|
|
Loading changes detected in scratch.u.
|
|
|
|
I found and typechecked these definitions in scratch.u. If you
|
|
do an `add` or `update`, here's how your codebase would
|
|
change:
|
|
|
|
⍟ These new definitions are ok to `add`:
|
|
|
|
mybranchsubnamespace.term : ##Nat
|
|
|
|
```
|
|
``` ucm
|
|
myproject/main> add
|
|
|
|
⍟ I've added these definitions:
|
|
|
|
mybranchsubnamespace.term : ##Nat
|
|
|
|
myproject/main> debug.tab-complete merge mybr
|
|
|
|
/mybranch
|
|
|
|
```
|