unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-09-11 02:25:39 +03:00
Code Issues Projects Releases Wiki Activity

Update namespace-dependencies

Browse Source
This commit is contained in:
Chris Penner 2024-07-02 09:38:57 -07:00
parent e66b315c94
commit 498e898e0f
2 changed files with 20 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
unison-src/transcripts/namespace-dependencies.md
View File

@ -1,5 +1,9 @@
# namespace.dependencies command # namespace.dependencies command
```ucm
scratch/main> builtins.merge lib.builtins
```
```unison:hide ```unison:hide
const a b = a const a b = a
external.mynat = 1 external.mynat = 1
@ -7,6 +11,6 @@ mynamespace.dependsOnText = const external.mynat 10
``` ```
```ucm ```ucm
.> add scratch/main> add
.mynamespace> namespace.dependencies scratch/main> namespace.dependencies mynamespace
``` ```

22
unison-src/transcripts/namespace-dependencies.output.md
View File

@ -1,5 +1,11 @@
# namespace.dependencies command # namespace.dependencies command
```ucm
scratch/main> builtins.merge lib.builtins
Done.
```
```unison ```unison
const a b = a const a b = a
external.mynat = 1 external.mynat = 1
@ -7,21 +13,21 @@ mynamespace.dependsOnText = const external.mynat 10
``` ```
```ucm ```ucm
.> add scratch/main> add
⍟ I've added these definitions: ⍟ I've added these definitions:
const : a -> b -> a const : a -> b -> a
external.mynat : ##Nat external.mynat : Nat
mynamespace.dependsOnText : ##Nat mynamespace.dependsOnText : Nat
.mynamespace> namespace.dependencies scratch/main> namespace.dependencies mynamespace
External dependency Dependents in .mynamespace External dependency Dependents in scratch/main:.mynamespace
##Nat 1. dependsOnText lib.builtins.Nat 1. dependsOnText
.const 1. dependsOnText const 1. dependsOnText
.external.mynat 1. dependsOnText external.mynat 1. dependsOnText
``` ```