unison/unison-src/transcripts/tab-completion.output.md

Tab Completion

Test that tab completion works as expected.

Tab Complete Command Names

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

subnamespace.someName = 1
subnamespace.someOtherName = 2
subnamespace2.thing = 3
othernamespace.someName = 4

unique type subnamespace.AType = A | B

  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

-- 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

absolute.term = "absolute"

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

-- 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

unique type Foo = A | B
add : a -> a
add b = b

  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

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

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

mybranchsubnamespace.term = 1

  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

myproject/main> add

  ⍟ I've added these definitions:
  
    mybranchsubnamespace.term : ##Nat

myproject/main> debug.tab-complete merge mybr

   /mybranch