unison/unison-src/transcripts/debug-name-diffs.output.md

a.b.one = 1
a.two = 2

a.x.three = 3
a.x.four = 4

structural type a.x.Foo = Foo | Bar
structural type a.b.Baz = Boo

  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`:
    
      structural type a.b.Baz
      structural type a.x.Foo
      a.b.one   : ##Nat
      a.two     : ##Nat
      a.x.four  : ##Nat
      a.x.three : ##Nat

scratch/main> add

  ⍟ I've added these definitions:
  
    structural type a.b.Baz
    structural type a.x.Foo
    a.b.one   : ##Nat
    a.two     : ##Nat
    a.x.four  : ##Nat
    a.x.three : ##Nat

scratch/main> delete.term.verbose a.b.one

  Removed definitions:
  
    1. a.b.one : ##Nat
  
  Tip: You can use `undo` or use a hash from `reflog` to undo
       this change.

scratch/main> alias.term a.two a.newtwo

  Done.

scratch/main> move.namespace a.x a.y

  Done.

scratch/main> history

  Note: The most recent namespace hash is immediately below this
        message.
  
  ⊙ 1. #tteooc9j2d
  
    > Moves:
    
      Original name New name
      a.x.Foo       a.y.Foo
      a.x.Foo.Bar   a.y.Foo.Bar
      a.x.Foo.Foo   a.y.Foo.Foo
      a.x.four      a.y.four
      a.x.three     a.y.three
  
  ⊙ 2. #bicrtgqj12
  
    + Adds / updates:
    
      a.newtwo
    
    = Copies:
    
      Original name New name(s)
      a.two         a.newtwo
  
  ⊙ 3. #bofp4huk1j
  
    - Deletes:
    
      a.b.one
  
  □ 4. #gss5s88mo3 (start of history)

scratch/main> debug.name-diff 4 1

  Kind   Name          Change    Ref
  Term   a.newtwo      Added     #dcgdua2lj6upd1ah5v0qp09gjsej0d77d87fu6qn8e2qrssnlnmuinoio46hiu53magr7qn8vnqke8ndt0v76700o5u8gcvo7st28jg
  Term   a.y.four      Added     #vcfbbslncd2qloc03kalgsmufl3j5es6cehcrbmlj6t78d4uk5j9gpa3hhf2opln1u2kiepg5n2cn49ianf2oig0mi4c2ldn1r9lf40
  Term   a.y.three     Added     #f3lgjvjqoocpt8v6kdgd2bgthh11a7md3qdp9rf5datccmo580btjd5bt5dro3irqs0is7vm7s1dphddjbtufch620te7ef7canmjj8
  Term   a.y.Foo.Bar   Added     #6kbe32g06nqg93cqub6ohqc4ql4o49ntgnunifds0t75qre6lacnbsr3evn8bkivj68ecbvmhkbak4dbg4fqertcpgb396rmo34tnh0#d1
  Term   a.y.Foo.Foo   Added     #6kbe32g06nqg93cqub6ohqc4ql4o49ntgnunifds0t75qre6lacnbsr3evn8bkivj68ecbvmhkbak4dbg4fqertcpgb396rmo34tnh0#d0
  Term   a.b.one       Removed   #gjmq673r1vrurfotlnirv7vutdhm6sa3s02em5g22kk606mv6duvv8be402dv79312i4a0onepq5bo7citsodvq2g720nttj0ee9p0g
  Term   a.x.four      Removed   #vcfbbslncd2qloc03kalgsmufl3j5es6cehcrbmlj6t78d4uk5j9gpa3hhf2opln1u2kiepg5n2cn49ianf2oig0mi4c2ldn1r9lf40
  Term   a.x.three     Removed   #f3lgjvjqoocpt8v6kdgd2bgthh11a7md3qdp9rf5datccmo580btjd5bt5dro3irqs0is7vm7s1dphddjbtufch620te7ef7canmjj8
  Term   a.x.Foo.Bar   Removed   #6kbe32g06nqg93cqub6ohqc4ql4o49ntgnunifds0t75qre6lacnbsr3evn8bkivj68ecbvmhkbak4dbg4fqertcpgb396rmo34tnh0#d1
  Term   a.x.Foo.Foo   Removed   #6kbe32g06nqg93cqub6ohqc4ql4o49ntgnunifds0t75qre6lacnbsr3evn8bkivj68ecbvmhkbak4dbg4fqertcpgb396rmo34tnh0#d0
  Type   a.y.Foo       Added     #6kbe32g06nqg93cqub6ohqc4ql4o49ntgnunifds0t75qre6lacnbsr3evn8bkivj68ecbvmhkbak4dbg4fqertcpgb396rmo34tnh0
  Type   a.x.Foo       Removed   #6kbe32g06nqg93cqub6ohqc4ql4o49ntgnunifds0t75qre6lacnbsr3evn8bkivj68ecbvmhkbak4dbg4fqertcpgb396rmo34tnh0