Skip to content

Commit d8240cd

Browse files
add transcripts for showing dependents of todo
1 parent 4b359ce commit d8240cd

File tree

2 files changed

+66
-0
lines changed

2 files changed

+66
-0
lines changed

unison-src/transcripts/todo.md

Lines changed: 25 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,31 @@
22

33
The todo command shows conflicted names (not demonstrated here yet because it is not easy to create them for tests, yet).
44

5+
# Dependents of `todo`
6+
7+
The `todo` command shows local (outside `lib`) terms that directly call `todo`.
8+
9+
```ucm:hide
10+
project/main> builtins.mergeio lib.builtins
11+
```
12+
13+
```unison
14+
foo : Nat
15+
foo = todo "implement foo"
16+
17+
bar : Nat
18+
bar = foo + foo
19+
```
20+
21+
```ucm
22+
project/main> add
23+
project/main> todo
24+
```
25+
26+
```ucm:hide
27+
project/main> delete.project project
28+
```
29+
530
# Direct dependencies without names
631

732
The `todo` command shows hashes of direct dependencies of local (outside `lib`) definitions that don't have names in

unison-src/transcripts/todo.output.md

Lines changed: 41 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,47 @@
22

33
The todo command shows conflicted names (not demonstrated here yet because it is not easy to create them for tests, yet).
44

5+
# Dependents of `todo`
6+
7+
The `todo` command shows local (outside `lib`) terms that directly call `todo`.
8+
9+
```unison
10+
foo : Nat
11+
foo = todo "implement foo"
12+
13+
bar : Nat
14+
bar = foo + foo
15+
```
16+
17+
```ucm
18+
19+
Loading changes detected in scratch.u.
20+
21+
I found and typechecked these definitions in scratch.u. If you
22+
do an `add` or `update`, here's how your codebase would
23+
change:
24+
25+
⍟ These new definitions are ok to `add`:
26+
27+
bar : Nat
28+
foo : Nat
29+
30+
```
31+
```ucm
32+
project/main> add
33+
34+
⍟ I've added these definitions:
35+
36+
bar : Nat
37+
foo : Nat
38+
39+
project/main> todo
40+
41+
These terms call `todo`:
42+
43+
1. foo
44+
45+
```
546
# Direct dependencies without names
647

748
The `todo` command shows hashes of direct dependencies of local (outside `lib`) definitions that don't have names in

0 commit comments

Comments
 (0)