⅄ 24-06-13-revamp-todo → 24-06-24-todo-dependents

sellout · Jun 24, 2024 · 4b359ce · 4b359ce
2 parents 40ef6af + 2ddea63
commit 4b359ce
Show file tree

Hide file tree

Showing 3 changed files with 85 additions and 0 deletions.
diff --git a/codebase2/codebase-sqlite/U/Codebase/Sqlite/Queries.hs b/codebase2/codebase-sqlite/U/Codebase/Sqlite/Queries.hs
@@ -1898,6 +1898,9 @@ getDirectDependenciesOfScope scope = do
         )
       |]
 
+  -- Drop the temporary table
+  execute [sql| DROP TABLE $tempTableName |]
+
   -- Post-process the query result
   let dependencies1 =
         List.foldl'

diff --git a/unison-src/transcripts/todo.md b/unison-src/transcripts/todo.md
@@ -0,0 +1,27 @@
+# Conflicted names
+
+The todo command shows conflicted names (not demonstrated here yet because it is not easy to create them for tests, yet).
+
+# Direct dependencies without names
+
+The `todo` command shows hashes of direct dependencies of local (outside `lib`) definitions that don't have names in
+the current namespace.
+
+```ucm:hide
+project/main> builtins.mergeio lib.builtins
+```
+
+```unison
+foo.bar = 15
+baz = foo.bar + foo.bar
+```
+
+```ucm
+project/main> add
+project/main> delete.namespace.force foo
+project/main> todo
+```
+
+```ucm:hide
+project/main> delete.project project
+```
diff --git a/unison-src/transcripts/todo.output.md b/unison-src/transcripts/todo.output.md
@@ -0,0 +1,55 @@
+# Conflicted names
+
+The todo command shows conflicted names (not demonstrated here yet because it is not easy to create them for tests, yet).
+
+# Direct dependencies without names
+
+The `todo` command shows hashes of direct dependencies of local (outside `lib`) definitions that don't have names in
+the current namespace.
+
+```unison
+foo.bar = 15
+baz = foo.bar + foo.bar
+```
+
+```ucm
+
+  Loading changes detected in scratch.u.
+
+  I found and typechecked these definitions in scratch.u. If you
+  do an `add` or `update`, here's how your codebase would
+  change:
+  
+    ⍟ These new definitions are ok to `add`:
+    
+      baz     : Nat
+      foo.bar : Nat
+
+```
+```ucm
+project/main> add
+
+  ⍟ I've added these definitions:
+  
+    baz     : Nat
+    foo.bar : Nat
+
+project/main> delete.namespace.force foo
+
+  Done.
+
+  ⚠️
+  
+  Of the things I deleted, the following are still used in the
+  following definitions. They now contain un-named references.
+  
+  Dependency   Referenced In
+  bar          1. baz
+
+project/main> todo
+
+  These terms do not have any names in the current namespace:
+  
+    1. #1jujb8oelv
+
+```