Promote mdx tests

ocaml · Nov 12, 2024 · a1ccac5 · a1ccac5
1 parent 7f8c5d9
commit a1ccac5
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 11 deletions.
diff --git a/src/xref2/test.md b/src/xref2/test.md
@@ -3260,13 +3260,7 @@ let sg = Common.signature_of_mli_string test_data;;
        ihash = 1011043008;
        ikey = "v_{x}6/shadowed/(XXXX).m_Foo3.r_Root.p_None"};
      source_loc = None; value = Odoc_model.Lang.Value.Abstract; doc = [];
-     type_ =
-      Odoc_model.Lang.TypeExpr.Constr
-       (`Identifier
-          ({Odoc_model__Paths_types.iv = `CoreType int; ihash = 432452609;
-            ikey = "coret_int"},
-           false),
-       [])};
+     type_ = Odoc_model.Lang.TypeExpr.Constr (`CoreType int, [])};
    Odoc_model.Lang.Signature.Value
     {Odoc_model.Lang.Value.id =
       {Odoc_model__Paths_types.iv =

diff --git a/test/xref2/subst/test.md b/test/xref2/subst/test.md
@@ -141,11 +141,11 @@ module SomeMonad/20 :
 module ComplexTypeExpr/19 :
   sig
     type t/28
-    include r(Monad/21) with [resolved(root(Monad/21).t) = ([resolved(int) * a] resolved(t/28) * [a * resolved(int)] resolved(t/28))]
+    include r(Monad/21) with [resolved(root(Monad/21).t) = ([int * a] resolved(t/28) * [a * int] resolved(t/28))]
       (sig :
-        val map/29 : (([resolved(int) * a] resolved(t/28) * [a * resolved(int)] resolved(t/28))) -> ((a) -> b) -> ([resolved(int) * b] resolved(t/28) * [b * resolved(int)] resolved(t/28))
-        val join/30 : (([resolved(int) * ([resolved(int) * a] resolved(t/28) * [a * resolved(int)] resolved(t/28))] resolved(t/28) * [([resolved(int) * a] resolved(t/28) * [a * resolved(int)] resolved(t/28)) * resolved(int)] resolved(t/28))) -> ([resolved(int) * a] resolved(t/28) * [a * resolved(int)] resolved(t/28))
-        (removed=type (a) t = (([identifier(int,false) * a] local(t/28,false) * [a * identifier(int,false)] local(t/28,false))))
+        val map/29 : (([int * a] resolved(t/28) * [a * int] resolved(t/28))) -> ((a) -> b) -> ([int * b] resolved(t/28) * [b * int] resolved(t/28))
+        val join/30 : (([int * ([int * a] resolved(t/28) * [a * int] resolved(t/28))] resolved(t/28) * [([int * a] resolved(t/28) * [a * int] resolved(t/28)) * int] resolved(t/28))) -> ([int * a] resolved(t/28) * [a * int] resolved(t/28))
+        (removed=type (a) t = (([int * a] local(t/28,false) * [a * int] local(t/28,false))))
        end)
   end (canonical=None)
 module Erase/18 :