make [all] ordered

Author: riaqn

testsuite/tests/typing-layouts/allow_any.ml

@@ -385,10 +385,10 @@ Lines 1-2, characters 0-34:
 Error: This variant or record definition does not match that of type "'a t"
        They have different unsafe mode crossing behavior:
        Both specify [@@unsafe_allow_any_mode_crossing], but their bounds are not equal
-         the original has: mod many portable contended unyielding stateless
-         immutable with 'a
-         but this has: mod many portable contended unyielding stateless
-         immutable
+         the original has: mod unyielding many stateless portable immutable
+         contended with 'a
+         but this has: mod unyielding many stateless portable immutable
+         contended
 |}]
 
 type ('a, 'b) arity_2 : immutable_data with 'b = { x : 'a }
@@ -406,10 +406,10 @@ Error: This variant or record definition does not match that of type
          "('a, 'b) arity_2"
        They have different unsafe mode crossing behavior:
        Both specify [@@unsafe_allow_any_mode_crossing], but their bounds are not equal
-         the original has: mod many portable contended unyielding stateless
-         immutable with 'b
-         but this has: mod many portable contended unyielding stateless
-         immutable with 'a
+         the original has: mod unyielding many stateless portable immutable
+         contended with 'b
+         but this has: mod unyielding many stateless portable immutable
+         contended with 'a
 |}]
 
 (* mcomp *)

typing/mode.ml

@@ -2379,6 +2379,7 @@ module Value_with (Areality : Areality) = struct
         P (Comonadic Yielding);
         P (Comonadic Statefulness);
         P (Monadic Visibility) ]
+      |> List.sort (fun (P ax0) (P ax1) -> compare ax0 ax1)
   end
 
   let proj_obj : type a d0 d1. (a, d0, d1) Axis.t -> a C.obj = function

typing/mode_intf.mli

@@ -425,12 +425,14 @@ module type S = sig
         | Monadic : (Monadic.Const.t, 'a) Axis.t -> ('a, 'd, 'd neg) t
         | Comonadic : (Comonadic.Const.t, 'a) Axis.t -> ('a, 'd, 'd pos) t
 
+      (** Compare two axes in implication order. If A implies B, then A is before B. *)
       val compare : ('a, 'd0, 'd1) t -> ('b, 'e0, 'e1) t -> int
 
       type packed = P : (_, _, _) t -> packed
 
       val print : Format.formatter -> ('a, _, _) t -> unit
 
+      (** List of all axes, ordered by [compare]. *)
       val all : packed list
     end