Don't pull base in docs.to-html

unisonweb · Jun 27, 2024 · 937ac50 · 937ac50
1 parent 4b7cf99
commit 937ac50
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 34 deletions.
diff --git a/unison-src/transcripts-manual/docs.to-html.md b/unison-src/transcripts-manual/docs.to-html.md
@@ -1,6 +1,5 @@
 ```ucm
-.> project.create test-html-docs
-test-html-docs/main> builtins.merge
+test-html-docs/main> builtins.mergeio lib.builtins
 ```
 
 ```unison

diff --git a/unison-src/transcripts-manual/docs.to-html.output.md b/unison-src/transcripts-manual/docs.to-html.output.md
@@ -1,26 +1,5 @@
 ```ucm
-.> project.create test-html-docs
-
-  🎉 I've created the project test-html-docs.
-
-  I'll now fetch the latest version of the base Unison
-  library...
-
-  Downloaded 14067 entities.
-
-  🎨 Type `ui` to explore this project's code in your browser.
-  🔭 Discover libraries at https://share.unison-lang.org
-  📖 Use `help-topic projects` to learn more about projects.
-  
-  Write your first Unison code with UCM:
-  
-    1. Open scratch.u.
-    2. Write some Unison code and save the file.
-    3. In UCM, type `add` to save it to your new project.
-  
-  🎉 🥳 Happy coding!
-
-test-html-docs/main> builtins.merge
+test-html-docs/main> builtins.mergeio lib.builtins
 
   Done.
 
@@ -47,13 +26,11 @@ some.outside = 3
     ⍟ These new definitions are ok to `add`:
     
       some.ns.direct                   : Nat
-      some.ns.direct.doc               : Doc
+      some.ns.direct.doc               : Doc2
       some.ns.pretty.deeply.nested     : Nat
-        (also named lib.base.data.Map.internal.ratio)
-      some.ns.pretty.deeply.nested.doc : Doc
+      some.ns.pretty.deeply.nested.doc : Doc2
       some.outside                     : Nat
-        (also named lib.base.data.Map.internal.delta)
-      some.outside.doc                 : Doc
+      some.outside.doc                 : Doc2
 
 ```
 ```ucm
@@ -62,13 +39,11 @@ test-html-docs/main> add
   ⍟ I've added these definitions:
   
     some.ns.direct                   : Nat
-    some.ns.direct.doc               : Doc
+    some.ns.direct.doc               : Doc2
     some.ns.pretty.deeply.nested     : Nat
-      (also named lib.base.data.Map.internal.ratio)
-    some.ns.pretty.deeply.nested.doc : Doc
+    some.ns.pretty.deeply.nested.doc : Doc2
     some.outside                     : Nat
-      (also named lib.base.data.Map.internal.delta)
-    some.outside.doc                 : Doc
+    some.outside.doc                 : Doc2
 
 test-html-docs/main> docs.to-html some.ns unison-src/transcripts-manual/docs.to-html