diff options
Diffstat (limited to '')
| -rw-r--r-- | lib/kernel/Scope.ml | 14 |
1 files changed, 1 insertions, 13 deletions
diff --git a/lib/kernel/Scope.ml b/lib/kernel/Scope.ml index cfba6b3..95896b4 100644 --- a/lib/kernel/Scope.ml +++ b/lib/kernel/Scope.ml @@ -40,18 +40,6 @@ let attribute home relation text = Some a | _ -> None -(* the names a directory lists, and what each reaches *) -let children directory = - let open Utilities.Result in - let* listing = Protocols.Handle.require Protocols.Directory.from directory in - let* names = Protocols.Directory.list listing in - BatFingerTree.to_list names - |> List.map (fun name -> - let* found = Protocols.Directory.find listing name in - Ok (Option.map (fun child -> name, child) found) ) - |> Utilities.List.sequence - |> Result.map (List.filter_map Fun.id) - (* every relation of a branch state, as multigroup:schema:relation *) let catalog_of branch = let open Utilities.Result in @@ -65,7 +53,7 @@ let catalog_of branch = let* names = Protocols.Directory.list listing in Ok (List.map (name prefix) (BatFingerTree.to_list names)) | Some level, rest -> - let* named = children level in + let* named = Prototype.Directory.children level in List.map (fun (n, child) -> down (n :: prefix) child rest) named |> Utilities.List.sequence |> Result.map List.concat |