gistfile1.txt

✔ ~/unison/pt/1408-numbered [pt/1408-numbered|…770] 
12:57 $ cabal v2-run unison
Up to date

   _____     _             
  |  |  |___|_|___ ___ ___ 
  |  |  |   | |_ -| . |   |
  |_____|_|_|_|___|___|_|_|
  
  Welcome to Unison!
  
  I'm currently watching for changes to .u files under ~/unison/pt/1408-numbered
  
  Type help to get help. 😎

.> push repo inside
warning: --depth is ignored in local clones; use file:// instead.
warning: You appear to have cloned an empty repository.
warning: --depth is ignored in local clones; use file:// instead.
warning: You appear to have cloned an empty repository.
                                      
  Done.

.> ls

  1. base/    (567 definitions)
  2. inside/  (5 definitions)
  3. outside/ (6 definitions)
  4. temp/    (659 definitions)

.> 
✔ ~/unison/pt/1408-numbered [pt/1408-numbered|…840] 
12:58 $ ls
CONTRIBUTORS.markdown c                     config                development.markdown  docs                  repo                  unison-core
LICENSE               cabal.project         contrib               dist                  editor-support        scripts               unison-src
README.md             cabal.project.freeze  deps                  dist-newstyle         parser-typechecker    stack.yaml            yaks
✔ ~/unison/pt/1408-numbered [pt/1408-numbered|…840] 
12:58 $ cabal v2-run unison -- -codebase c
Up to date

   _____     _             
  |  |  |___|_|___ ___ ___ 
  |  |  |   | |_ -| . |   |
  |_____|_|_|_|___|___|_|_|
  
  Welcome to Unison!
  
  I'm currently watching for changes to .u files under ~/unison/pt/1408-numbered
  
  Type help to get help. 😎
  
  Enter pull https://github.com/unisonweb/base:.releases._M2-base-1193-g9fe1c408 .base to set up
  the default base library. 🏗

.> pull repo inside
                                                   
  Here's what's changed in inside after the merge:
  
  Added definitions:
  
    1. type M
    2. M.M : #0n4pbd0q9u -> #4idrjau939
    3. p   : ##Nat
    4. q   : ##Nat -> ##Nat
    5. r   : ##Boolean
  
  Tip: You can use `todo` to see if this generated any work to do in this namespace and `test` to
       run the tests. Or you can use `undo` or `reflog` to undo the results of this merge.

.> ls

  1. inside/ (5 definitions)

.> dependents  inside.p

  Dependents of #fiupm7pl7o:
  
       Reference   Name
    1. #l5pndeifuh inside.q
    2. #6cdi7g1oi2 (no name available)

.> dependents  inside.q

  #l5pndeifuh doesn't have any dependents.

.> dependents  inside.r

  #im2kiu2hmn doesn't have any dependents.

.> dependents  inside.M

  #4idrjau939 doesn't have any dependents.

.> dependencies  inside.M

  Dependencies of #4idrjau939:
  
       Reference   Name
    1. #0n4pbd0q9u (no name available)

.> dependencies  inside.q

  Dependencies of #l5pndeifuh:
  
       Reference   Name
    1. #fiupm7pl7o inside.p
    2. ##Nat.*     (no name available)
    3. ##Nat.+     (no name available)

.> dependencies  inside.r

  Dependencies of #im2kiu2hmn:
  
       Reference   Name
    1. #6cdi7g1oi2 (no name available)

.> dependencies  inside.q

  Dependencies of #l5pndeifuh:
  
       Reference   Name
    1. #fiupm7pl7o inside.p
    2. ##Nat.*     (no name available)
    3. ##Nat.+     (no name available)

.> debug.numberedArgs

  1. #fiupm7pl7o6ffitqatr174po7rdoh8ajqtcj7nirbeb9nqm4qd5qg9uvf1hic7lsm7b9qs38ka9lqv1iksmd6mothe816di0vcs0500
  2. ##Nat.*
  3. ##Nat.+

.>