Fixing cases to Ord interface implementation for RRBVector (Unsized).

Author: Matthew-Mosior

src/Data/RRBVector/Unsized/Internal.idr

@@ -221,15 +221,15 @@ Ord a => Ord (Tree a) where
   compare (Balanced arr1) (Unbalanced arr2 _)     =
     compare arr1 arr2
   compare (Balanced arr1) (Leaf arr2)             =
-    compare (toList arr1) (toList arr2)
+    compare (concat $ map toList arr1) (toList arr2)
   compare (Unbalanced arr1 _) (Balanced arr2)     =
     compare arr1 arr2
   compare (Unbalanced arr1 _) (Leaf arr2)         =
-    compare (toList arr1) (toList arr2)
+    compare (concat $ map toList arr1) (toList arr2)
   compare (Leaf arr1) (Balanced arr2)             =
-    compare (toList arr1) (toList arr2)
+    compare (toList arr1) (concat $ map toList arr2)
   compare (Leaf arr1) (Unbalanced arr2 _)         =
-    compare (toList arr1) (toList arr2)
+    compare (toList arr1) (concat $ map toList arr2)
 
 --------------------------------------------------------------------------------
 --          Show Utilities (Tree)