wip

joelberkeley · Jul 13, 2024 · 5e3a851 · 5e3a851
1 parent 2b11ded
commit 5e3a851
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/spidr/src/Tensor.idr b/spidr/src/Tensor.idr
@@ -355,11 +355,11 @@ assert False e _ = Left e
 namespace Subset
   public export
   data InvalidSubsetError =
-    ||| The number of dimensions requested and found
-    OutOfBounds Nat Nat
+      ||| The number of dimensions requested and found (in that order)
+      OutOfBounds Nat Nat
 
-    ||| The number of unaccounted-for axes
-    TooManyAxes Nat
+      ||| The number of unaccounted-for axes
+    | TooManyAxes Nat
 
   ||| The shape of a tensor produced by slicing with the specified multi-dimensional slice. See
   ||| `Tensor.slice` for details.