fix(repl): Make nx.top load nx.c and add raven.top

Author: tmattio

dune-project

@@ -219,7 +219,6 @@
 (package
  (name raven)
  (dir packages/raven)
- (allow_empty)
  (synopsis "Modern scientific computing for OCaml")
  (description
   "Raven is an ecosystem of composable libraries for numerical computing in OCaml. Tensors, automatic differentiation, neural networks, dataframes, plotting, tokenization, computer vision, reinforcement learning, and interactive notebooks.")

packages/nx/top/dune

@@ -2,5 +2,5 @@
  (name nx_top)
  (public_name nx.top)
  (modules nx_top)
- (libraries nx compiler-libs.toplevel)
+ (libraries nx nx.c compiler-libs.toplevel)
  (modes byte))

packages/quill/bin/main.ml

@@ -3,25 +3,30 @@
   SPDX-License-Identifier: ISC
   ---------------------------------------------------------------------------*)
 
-(* Raven packages to load, in dependency order. nx.c (virtual library
-   implementation) must come before nx so that Nx_backend is defined. *)
 let raven_packages =
   [
-    "nx.c";
-    "nx";
+    "nx.top";
     "nx.io";
     "rune";
     "kaun";
     "kaun.datasets";
     "hugin";
+    "hugin.top";
     "sowilo";
     "talon";
     "talon.csv";
     "brot";
     "fehu";
   ]
 
-let raven_top_packages = [ "nx.top"; "hugin.top" ]
+let load_optional pkg =
+  match Quill_top.load_package pkg with
+  | () -> true
+  | exception Fl_package_base.No_such_package _ -> false
+  | exception exn ->
+      Printf.eprintf "[quill] failed to load %s: %s\n%!" pkg
+        (Printexc.to_string exn);
+      false
 
 let setup () =
   (* Mark packages already linked into the quill executable so that load_package
@@ -38,16 +43,10 @@ let setup () =
       "threads";
       "threads.posix";
     ];
-  (* Load each raven package if it is installed. *)
-  List.iter
-    (fun pkg ->
-      match Quill_top.load_package pkg with
-      | () -> ()
-      | exception Fl_package_base.No_such_package _ -> ()
-      | exception exn ->
-          Printf.eprintf "[quill] failed to load %s: %s\n%!" pkg
-            (Printexc.to_string exn))
-    (raven_packages @ raven_top_packages)
+  (* Prefer the umbrella top package when available; otherwise fall back to
+     loading individual packages so partial installs still work. *)
+  if not (load_optional "raven.top") then
+    List.iter (fun pkg -> ignore (load_optional pkg)) raven_packages
 
 let create_kernel ~on_event = Quill_top.create ~setup ~on_event ()
 

packages/raven/top/dune

@@ -0,0 +1,18 @@
+(library
+ (name raven_top)
+ (public_name raven.top)
+ (modules raven_top)
+ (libraries
+  nx.top
+  nx.io
+  rune
+  kaun
+  kaun.datasets
+  hugin
+  hugin.top
+  sowilo
+  talon
+  talon.csv
+  brot
+  fehu)
+ (modes byte))

packages/raven/top/raven_top.ml

@@ -0,0 +1,7 @@
+(*---------------------------------------------------------------------------
+  Copyright (c) 2026 The Raven authors. All rights reserved.
+  SPDX-License-Identifier: ISC
+  ---------------------------------------------------------------------------*)
+
+(* REPL convenience package for loading the Raven stack with the default Nx
+   backend and top-level printers. *)