diff --git a/unison-src/transcripts/namespace-dependencies.md b/unison-src/transcripts/namespace-dependencies.md index 0e8223a6c..d60f78936 100644 --- a/unison-src/transcripts/namespace-dependencies.md +++ b/unison-src/transcripts/namespace-dependencies.md @@ -1,5 +1,9 @@ # namespace.dependencies command +```ucm +scratch/main> builtins.merge lib.builtins +``` + ```unison:hide const a b = a external.mynat = 1 @@ -7,6 +11,6 @@ mynamespace.dependsOnText = const external.mynat 10 ``` ```ucm -.> add -.mynamespace> namespace.dependencies +scratch/main> add +scratch/main> namespace.dependencies mynamespace ``` diff --git a/unison-src/transcripts/namespace-dependencies.output.md b/unison-src/transcripts/namespace-dependencies.output.md index 0e7d29826..c8eca0ff3 100644 --- a/unison-src/transcripts/namespace-dependencies.output.md +++ b/unison-src/transcripts/namespace-dependencies.output.md @@ -1,5 +1,11 @@ # namespace.dependencies command +```ucm +scratch/main> builtins.merge lib.builtins + + Done. + +``` ```unison const a b = a external.mynat = 1 @@ -7,21 +13,21 @@ mynamespace.dependsOnText = const external.mynat 10 ``` ```ucm -.> add +scratch/main> add ⍟ I've added these definitions: const : a -> b -> a - external.mynat : ##Nat - mynamespace.dependsOnText : ##Nat + external.mynat : Nat + mynamespace.dependsOnText : Nat -.mynamespace> namespace.dependencies +scratch/main> namespace.dependencies mynamespace - External dependency Dependents in .mynamespace - ##Nat 1. dependsOnText + External dependency Dependents in scratch/main:.mynamespace + lib.builtins.Nat 1. dependsOnText - .const 1. dependsOnText + const 1. dependsOnText - .external.mynat 1. dependsOnText + external.mynat 1. dependsOnText ```