Transcript changes

Just from adding `Set` data type to auto-defined decls.

Author: dolio

unison-src/transcripts-using-base/all-base-hashes.output.md

@@ -12,7 +12,7 @@ project/main> alias.term lib.builtins.bug foo
 project/main> ls
 
   1. foo  (a -> b)
-  2. lib/ (645 terms, 93 types)
+  2. lib/ (646 terms, 94 types)
 ```
 
 It won't create a conflicted name, though.
@@ -29,7 +29,7 @@ project/main> alias.term lib.builtins.todo foo
 project/main> ls
 
   1. foo  (a -> b)
-  2. lib/ (645 terms, 93 types)
+  2. lib/ (646 terms, 94 types)
 ```
 
 You can use `debug.alias.term.force` for that.
@@ -43,5 +43,5 @@ project/main> ls
 
   1. foo  (a -> b)
   2. foo  (a -> b)
-  3. lib/ (645 terms, 93 types)
+  3. lib/ (646 terms, 94 types)
 ```

unison-src/transcripts/idempotent/alias-term.md

@@ -12,7 +12,7 @@ project/main> alias.type lib.builtins.Nat Foo
 project/main> ls
 
   1. Foo  (builtin type)
-  2. lib/ (645 terms, 93 types)
+  2. lib/ (646 terms, 94 types)
 ```
 
 It won't create a conflicted name, though.
@@ -29,7 +29,7 @@ project/main> alias.type lib.builtins.Int Foo
 project/main> ls
 
   1. Foo  (builtin type)
-  2. lib/ (645 terms, 93 types)
+  2. lib/ (646 terms, 94 types)
 ```
 
 You can use `debug.alias.type.force` for that.
@@ -43,5 +43,5 @@ project/main> ls
 
   1. Foo  (builtin type)
   2. Foo  (builtin type)
-  3. lib/ (645 terms, 93 types)
+  3. lib/ (646 terms, 94 types)
 ```

unison-src/transcripts/idempotent/alias-type.md

@@ -70,23 +70,25 @@ scratch/main> ls builtins
   61. Scope/              (6 terms)
   62. SeqView             (type)
   63. SeqView/            (2 terms)
-  64. Socket/             (1 term)
-  65. Test/               (2 terms, 1 type)
-  66. Text                (builtin type)
-  67. Text/               (34 terms)
-  68. ThreadId/           (1 term)
-  69. Tuple               (type)
-  70. Tuple/              (1 term)
-  71. UDPSocket           (builtin type)
-  72. Unit                (type)
-  73. Unit/               (1 term)
-  74. Universal/          (7 terms)
-  75. Value               (builtin type)
-  76. Value/              (5 terms)
-  77. bug                 (a -> b)
-  78. crypto/             (17 terms, 2 types)
-  79. io2/                (146 terms, 32 types)
-  80. metadata/           (2 terms)
-  81. todo                (a -> b)
-  82. unsafe/             (1 term)
+  64. Set                 (type)
+  65. Set/                (1 term)
+  66. Socket/             (1 term)
+  67. Test/               (2 terms, 1 type)
+  68. Text                (builtin type)
+  69. Text/               (34 terms)
+  70. ThreadId/           (1 term)
+  71. Tuple               (type)
+  72. Tuple/              (1 term)
+  73. UDPSocket           (builtin type)
+  74. Unit                (type)
+  75. Unit/               (1 term)
+  76. Universal/          (7 terms)
+  77. Value               (builtin type)
+  78. Value/              (5 terms)
+  79. bug                 (a -> b)
+  80. crypto/             (17 terms, 2 types)
+  81. io2/                (146 terms, 32 types)
+  82. metadata/           (2 terms)
+  83. todo                (a -> b)
+  84. unsafe/             (1 term)
 ```

unison-src/transcripts/idempotent/builtins-merge.md

@@ -21,7 +21,7 @@ scratch/main> builtins.merge lib.builtins
 
 scratch/main> ls lib
 
-  1. builtins/ (471 terms, 75 types)
+  1. builtins/ (472 terms, 76 types)
 ```
 
 And for a limited time, you can get even more builtin goodies:
@@ -33,8 +33,8 @@ scratch/main> builtins.mergeio lib.builtinsio
 
 scratch/main> ls lib
 
-  1. builtins/   (471 terms, 75 types)
-  2. builtinsio/ (645 terms, 93 types)
+  1. builtins/   (472 terms, 76 types)
+  2. builtinsio/ (646 terms, 94 types)
 ```
 
 More typically, you'd start out by pulling `base`.

unison-src/transcripts/idempotent/emptyCodebase.md

@@ -42,7 +42,7 @@ Let's see what we have created...
 scratch/main> ls
 
   1. bar/     (1 term)
-  2. builtin/ (471 terms, 75 types)
+  2. builtin/ (472 terms, 76 types)
   3. foo/     (2 terms)
 ```
 

unison-src/transcripts/idempotent/fix1532.md

@@ -33,15 +33,15 @@ scratch/main> add .
 
 scratch/main> ls
 
-  1. lib/ (471 terms, 75 types)
+  1. lib/ (472 terms, 76 types)
   2. x    (Nat)
 
 scratch/main> add 1
 
 
 scratch/main> ls
 
-  1. lib/ (471 terms, 75 types)
+  1. lib/ (472 terms, 76 types)
   2. x    (Nat)
 
 scratch/main> add 2

unison-src/transcripts/idempotent/input-parse-errors.md

@@ -82,7 +82,7 @@ scratch/main> ls
   1. Bar      (Nat)
   2. Bar      (type)
   3. Bar/     (4 terms, 1 type)
-  4. builtin/ (471 terms, 75 types)
+  4. builtin/ (472 terms, 76 types)
 
 scratch/main> ls Bar
 
@@ -144,7 +144,7 @@ z/main> move bonk zonk
 
 z/main> ls
 
-  1. builtin/ (471 terms, 75 types)
+  1. builtin/ (472 terms, 76 types)
   2. zonk     (Nat)
 ```
 
@@ -184,7 +184,7 @@ a/main> move bonk zonk
 
 a/main> ls
 
-  1. builtin/ (471 terms, 75 types)
+  1. builtin/ (472 terms, 76 types)
   2. zonk/    (1 term)
 
 a/main> view zonk.zonk

unison-src/transcripts/idempotent/move-all.md

@@ -84,9 +84,9 @@ scratch/main> reflog
        history.
 
        Branch         Hash          Description
-  1.   scratch/main   #je1v81is75   add
-  2.   scratch/main   #jqusdil3qo   add
-  3.   scratch/main   #vkrum98l0t   builtins.merge scratch/main:lib.builtins
+  1.   scratch/main   #k0r1bumino   add
+  2.   scratch/main   #ihqe7hvf43   add
+  3.   scratch/main   #6v68unn7ng   builtins.merge scratch/main:lib.builtins
   4.   scratch/main   #sg60bvjo91   Project Created
 ```
 
@@ -103,11 +103,11 @@ scratch/main> project.reflog
        history.
 
        Branch          Hash          Description
-  1.   scratch/other   #kep93f42lt   alias.term y scratch/other:z
-  2.   scratch/other   #je1v81is75   Branch created from scratch/main
-  3.   scratch/main    #je1v81is75   add
-  4.   scratch/main    #jqusdil3qo   add
-  5.   scratch/main    #vkrum98l0t   builtins.merge scratch/main:lib.builtins
+  1.   scratch/other   #8rnfb370a5   alias.term y scratch/other:z
+  2.   scratch/other   #k0r1bumino   Branch created from scratch/main
+  3.   scratch/main    #k0r1bumino   add
+  4.   scratch/main    #ihqe7hvf43   add
+  5.   scratch/main    #6v68unn7ng   builtins.merge scratch/main:lib.builtins
   6.   scratch/main    #sg60bvjo91   Project Created
 ```
 
@@ -124,13 +124,13 @@ scratch/main> reflog.global
        history.
 
        Branch            Hash          Description
-  1.   newproject/main   #fre30ftp49   alias.term lib.builtins.Nat newproject/main:MyNat
-  2.   newproject/main   #vkrum98l0t   builtins.merge newproject/main:lib.builtins
+  1.   newproject/main   #comilntegs   alias.term lib.builtins.Nat newproject/main:MyNat
+  2.   newproject/main   #6v68unn7ng   builtins.merge newproject/main:lib.builtins
   3.   newproject/main   #sg60bvjo91   Branch Created
-  4.   scratch/other     #kep93f42lt   alias.term y scratch/other:z
-  5.   scratch/other     #je1v81is75   Branch created from scratch/main
-  6.   scratch/main      #je1v81is75   add
-  7.   scratch/main      #jqusdil3qo   add
-  8.   scratch/main      #vkrum98l0t   builtins.merge scratch/main:lib.builtins
+  4.   scratch/other     #8rnfb370a5   alias.term y scratch/other:z
+  5.   scratch/other     #k0r1bumino   Branch created from scratch/main
+  6.   scratch/main      #k0r1bumino   add
+  7.   scratch/main      #ihqe7hvf43   add
+  8.   scratch/main      #6v68unn7ng   builtins.merge scratch/main:lib.builtins
   9.   scratch/main      #sg60bvjo91   Project Created
 ```

unison-src/transcripts/idempotent/reflog.md

@@ -41,19 +41,19 @@ scratch/main> history
   Note: The most recent namespace hash is immediately below this
         message.
 
-  ⊙ 1. #8ldg91ot3m
+  ⊙ 1. #jg5m3tqq0e
 
     + Adds / updates:
     
       def
 
-  ⊙ 2. #b3u97j4dvb
+  ⊙ 2. #b6jiups6vt
 
     + Adds / updates:
     
       def
 
-  □ 3. #6rn9nl4phq (start of history)
+  □ 3. #klo16ufgr2 (start of history)
 
 scratch/main> reset 2
 
@@ -69,13 +69,13 @@ scratch/main> history
   Note: The most recent namespace hash is immediately below this
         message.
 
-  ⊙ 1. #b3u97j4dvb
+  ⊙ 1. #b6jiups6vt
 
     + Adds / updates:
     
       def
 
-  □ 2. #6rn9nl4phq (start of history)
+  □ 2. #klo16ufgr2 (start of history)
 ```
 
 Can reset to a value from reflog by number.
@@ -91,10 +91,10 @@ scratch/main> reflog
        history.
 
        Branch         Hash          Description
-  1.   scratch/main   #b3u97j4dvb   reset b3u97j4dvbqmum80jrjip3mdvj2lfuq3dbj50rq0ftllthgl8apccj...
-  2.   scratch/main   #8ldg91ot3m   update
-  3.   scratch/main   #b3u97j4dvb   update
-  4.   scratch/main   #6rn9nl4phq   builtins.merge
+  1.   scratch/main   #b6jiups6vt   reset b6jiups6vti8ije4moe5kgjuv25guai9br87gf83llgfd2sa5i6ibo...
+  2.   scratch/main   #jg5m3tqq0e   update
+  3.   scratch/main   #b6jiups6vt   update
+  4.   scratch/main   #klo16ufgr2   builtins.merge
   5.   scratch/main   #sg60bvjo91   Project Created
 
 -- Reset the current branch to the first history element
@@ -113,19 +113,19 @@ scratch/main> history
   Note: The most recent namespace hash is immediately below this
         message.
 
-  ⊙ 1. #8ldg91ot3m
+  ⊙ 1. #jg5m3tqq0e
 
     + Adds / updates:
     
       def
 
-  ⊙ 2. #b3u97j4dvb
+  ⊙ 2. #b6jiups6vt
 
     + Adds / updates:
     
       def
 
-  □ 3. #6rn9nl4phq (start of history)
+  □ 3. #klo16ufgr2 (start of history)
 ```
 
 # reset branch