From 345ef536c0f32f9562e4b75b942fc7ae0af495d5 Mon Sep 17 00:00:00 2001 From: Paul-Elliot Date: Thu, 12 Dec 2024 16:13:56 +0100 Subject: [PATCH] Promote mdx tests --- src/xref2/paths.md | 61 ++-- src/xref2/test.md | 276 ++++++++++++----- test/xref2/resolve/test.md | 585 +++++++++++++++++++++---------------- 3 files changed, 575 insertions(+), 347 deletions(-) diff --git a/src/xref2/paths.md b/src/xref2/paths.md index 8d50064b39..9ce9231dc8 100644 --- a/src/xref2/paths.md +++ b/src/xref2/paths.md @@ -434,7 +434,9 @@ val sg : Odoc_model.Lang.Signature.t = ihash = 818126955; ikey = "r_Root.p_None"}, ARG); ihash = 379411454; ikey = "mt_ARG.r_Root.p_None"}; - source_loc = None; doc = []; canonical = None; + source_loc = None; + doc = {Odoc_model__.Comment.elements = []; suppress_warnings = false}; + canonical = None; expr = Some (Odoc_model.Lang.ModuleType.Signature @@ -457,8 +459,14 @@ val sg : Odoc_model.Lang.Signature.t = ihash = 379411454; ikey = "mt_ARG.r_Root.p_None"}, S); ihash = 208722936; ikey = "mt_S.mt_ARG.r_Root.p_None"}; - source_loc = None; doc = []; canonical = None; expr = None}]; - compiled = true; removed = []; doc = []})}; + source_loc = None; + doc = + {Odoc_model__.Comment.elements = []; + suppress_warnings = false}; + canonical = None; expr = None}]; + compiled = true; removed = []; + doc = + {Odoc_model__.Comment.elements = []; suppress_warnings = false}})}; Odoc_model.Lang.Signature.Module (Odoc_model.Lang.Signature.Ordinary, {Odoc_model.Lang.Module.id = {Odoc_model__Paths_types.iv = @@ -472,7 +480,8 @@ val sg : Odoc_model.Lang.Signature.t = ihash = 818126955; ikey = "r_Root.p_None"}, F); ihash = 748202139; ikey = "m_F.r_Root.p_None"}; - source_loc = None; doc = []; + source_loc = None; + doc = {Odoc_model__.Comment.elements = []; suppress_warnings = false}; type_ = Odoc_model.Lang.Module.ModuleType (Odoc_model.Lang.ModuleType.Functor @@ -527,9 +536,15 @@ val sg : Odoc_model.Lang.Signature.t = S); ihash = 313393860; ikey = "mt_S.p_X.m_F.r_Root.p_None"}; - source_loc = None; doc = []; canonical = None; - expr = None}]; - compiled = true; removed = []; doc = []}); + source_loc = None; + doc = + {Odoc_model__.Comment.elements = []; + suppress_warnings = false}; + canonical = None; expr = None}]; + compiled = true; removed = []; + doc = + {Odoc_model__.Comment.elements = []; + suppress_warnings = false}}); p_path = `Resolved (`Identifier @@ -565,25 +580,19 @@ val sg : Odoc_model.Lang.Signature.t = Root); ihash = 818126955; ikey = - "r_Root.p_Non"... (* string length 13; truncated *)}, - F); - ihash = 748202139; - ikey = - "m_F.r_Roo"... (* string length 17; truncated *)}; - ihash = 709672416; - ikey = - "___resul"... (* string length 29; truncated *)}, - N); - ihash = 837385364; - ikey = "m_N.___r"... (* string length 33; truncated *)}; - source_loc = None; doc = []; - type_ = Odoc_model.Lang.Module.ModuleType ...; - canonical = ...; hidden = ...}); - ...]; - compiled = ...; removed = ...; doc = ...})); - canonical = ...; hidden = ...}); - ...]; - compiled = ...; removed = ...; doc = ...} + "r_Root.p"... (* string length 13; truncated *)}, + ...); + ihash = ...; ikey = ...}; + ihash = ...; ikey = ...}, + ...); + ihash = ...; ikey = ...}; + source_loc = ...; doc = ...; type_ = ...; canonical = ...; + hidden = ...}); + ...]; + compiled = ...; removed = ...; doc = ...})); + canonical = ...; hidden = ...}); + ...]; + compiled = ...; removed = ...; doc = ...} ``` The problem here is that odoc will not generate a page for the module `F(M)`. diff --git a/src/xref2/test.md b/src/xref2/test.md index d48abbd261..46b1bf17c6 100644 --- a/src/xref2/test.md +++ b/src/xref2/test.md @@ -206,7 +206,9 @@ and so we simply look up the type in the environment, giving a `Component.Type.t ihash = 818126955; ikey = "r_Root.p_None"}, x); ihash = 622581103; ikey = "t_x.r_Root.p_None"}; - source_loc = None; doc = []; canonical = None; + source_loc = None; + doc = {Odoc_model__.Comment.elements = []; suppress_warnings = false}; + canonical = None; equation = {Odoc_model.Lang.TypeDecl.Equation.params = []; private_ = false; manifest = None; constraints = []}; @@ -224,7 +226,9 @@ and so we simply look up the type in the environment, giving a `Component.Type.t ihash = 818126955; ikey = "r_Root.p_None"}, u); ihash = 15973539; ikey = "t_u.r_Root.p_None"}; - source_loc = None; doc = []; canonical = None; + source_loc = None; + doc = {Odoc_model__.Comment.elements = []; suppress_warnings = false}; + canonical = None; equation = {Odoc_model.Lang.TypeDecl.Equation.params = []; private_ = false; manifest = @@ -246,7 +250,8 @@ and so we simply look up the type in the environment, giving a `Component.Type.t [])); constraints = []}; representation = None})]; - compiled = true; removed = []; doc = []} + compiled = true; removed = []; + doc = {Odoc_model__.Comment.elements = []; suppress_warnings = false}} ``` ### One module @@ -332,7 +337,10 @@ val path : Cpath.Resolved.module_ = val module_ : Component.Module.t Component.Delayed.t = {Odoc_xref2.Component.Delayed.v = Some - {Odoc_xref2.Component.Module.source_loc = None; doc = []; + {Odoc_xref2.Component.Module.source_loc = None; + doc = + {Odoc_xref2.Component.CComment.elements = []; + suppress_warnings = false}; type_ = Odoc_xref2.Component.Module.ModuleType (Odoc_xref2.Component.ModuleType.Signature @@ -341,14 +349,20 @@ val module_ : Component.Module.t Component.Delayed.t = Odoc_model.Lang.Signature.Ordinary, {Odoc_xref2.Component.Delayed.v = Some - {Odoc_xref2.Component.TypeDecl.source_loc = None; doc = []; + {Odoc_xref2.Component.TypeDecl.source_loc = None; + doc = + {Odoc_xref2.Component.CComment.elements = []; + suppress_warnings = false}; canonical = None; equation = {Odoc_xref2.Component.TypeDecl.Equation.params = []; private_ = false; manifest = None; constraints = []}; representation = None}; get = None})]; - compiled = false; removed = []; doc = []}); + compiled = false; removed = []; + doc = + {Odoc_xref2.Component.CComment.elements = []; + suppress_warnings = false}}); canonical = None; hidden = false}; get = None} ``` @@ -364,14 +378,19 @@ Odoc_xref2.Tools.Signature Odoc_model.Lang.Signature.Ordinary, {Odoc_xref2.Component.Delayed.v = Some - {Odoc_xref2.Component.TypeDecl.source_loc = None; doc = []; + {Odoc_xref2.Component.TypeDecl.source_loc = None; + doc = + {Odoc_xref2.Component.CComment.elements = []; + suppress_warnings = false}; canonical = None; equation = {Odoc_xref2.Component.TypeDecl.Equation.params = []; private_ = false; manifest = None; constraints = []}; representation = None}; get = None})]; - compiled = false; removed = []; doc = []} + compiled = false; removed = []; + doc = + {Odoc_xref2.Component.CComment.elements = []; suppress_warnings = false}} ``` We're now in a position to verify the existence of the type `t` we're @@ -419,7 +438,10 @@ val path : Cpath.Resolved.module_ = val module_ : Component.Module.t Component.Delayed.t = {Odoc_xref2.Component.Delayed.v = Some - {Odoc_xref2.Component.Module.source_loc = None; doc = []; + {Odoc_xref2.Component.Module.source_loc = None; + doc = + {Odoc_xref2.Component.CComment.elements = []; + suppress_warnings = false}; type_ = Odoc_xref2.Component.Module.ModuleType (Odoc_xref2.Component.ModuleType.Path @@ -485,7 +507,10 @@ val m : Component.Element.module_type option = ihash = 818126955; ikey = "r_Root.p_None"}, M); ihash = 459143770; ikey = "mt_M.r_Root.p_None"}, - {Odoc_xref2.Component.ModuleType.source_loc = None; doc = []; + {Odoc_xref2.Component.ModuleType.source_loc = None; + doc = + {Odoc_xref2.Component.CComment.elements = []; + suppress_warnings = false}; canonical = None; expr = Some @@ -496,7 +521,10 @@ val m : Component.Element.module_type option = {Odoc_xref2.Component.Delayed.v = Some {Odoc_xref2.Component.ModuleType.source_loc = None; - doc = []; canonical = None; + doc = + {Odoc_xref2.Component.CComment.elements = []; + suppress_warnings = false}; + canonical = None; expr = Some (Odoc_xref2.Component.ModuleType.Signature @@ -508,7 +536,10 @@ val m : Component.Element.module_type option = Some {Odoc_xref2.Component.TypeDecl.source_loc = None; - doc = []; canonical = None; + doc = + {Odoc_xref2.Component.CComment.elements = []; + suppress_warnings = false}; + canonical = None; equation = {Odoc_xref2.Component.TypeDecl.Equation.params = []; @@ -516,13 +547,19 @@ val m : Component.Element.module_type option = constraints = []}; representation = None}; get = None})]; - compiled = false; removed = []; doc = []})}; + compiled = false; removed = []; + doc = + {Odoc_xref2.Component.CComment.elements = []; + suppress_warnings = false}})}; get = None}); Odoc_xref2.Component.Signature.Module (`LModule (B, 0), Odoc_model.Lang.Signature.Ordinary, {Odoc_xref2.Component.Delayed.v = Some - {Odoc_xref2.Component.Module.source_loc = None; doc = []; + {Odoc_xref2.Component.Module.source_loc = None; + doc = + {Odoc_xref2.Component.CComment.elements = []; + suppress_warnings = false}; type_ = Odoc_xref2.Component.Module.ModuleType (Odoc_xref2.Component.ModuleType.Path @@ -530,7 +567,10 @@ val m : Component.Element.module_type option = p_path = `Local (`LModuleType (N, 1), false)}); canonical = None; hidden = false}; get = None})]; - compiled = false; removed = []; doc = []})})) + compiled = false; removed = []; + doc = + {Odoc_xref2.Component.CComment.elements = []; + suppress_warnings = false}})})) ``` We can see here that module `B` has type `` Path (`Resolved (`Local (`LModuleType (N, 1)))) `` which refers to the module type defined just above it. @@ -840,7 +880,8 @@ val module_C_lens : ihash = 818126955; ikey = "r_Root.p_None"}, C); ihash = 43786577; ikey = "m_C.r_Root.p_None"}; - source_loc = None; doc = []; + source_loc = None; + doc = {Odoc_model__.Comment.elements = []; suppress_warnings = false}; type_ = Odoc_model.Lang.Module.ModuleType (Odoc_model.Lang.ModuleType.With @@ -888,7 +929,10 @@ of module `C` we see the following: val m : Component.Module.t Component.Delayed.t = {Odoc_xref2.Component.Delayed.v = Some - {Odoc_xref2.Component.Module.source_loc = None; doc = []; + {Odoc_xref2.Component.Module.source_loc = None; + doc = + {Odoc_xref2.Component.CComment.elements = []; + suppress_warnings = false}; type_ = Odoc_xref2.Component.Module.ModuleType (Odoc_xref2.Component.ModuleType.With @@ -941,7 +985,10 @@ val sg : Tools.expansion = Odoc_model.Lang.Signature.Ordinary, {Odoc_xref2.Component.Delayed.v = Some - {Odoc_xref2.Component.Module.source_loc = None; doc = []; + {Odoc_xref2.Component.Module.source_loc = None; + doc = + {Odoc_xref2.Component.CComment.elements = []; + suppress_warnings = false}; type_ = Odoc_xref2.Component.Module.Alias (`Identifier @@ -964,7 +1011,10 @@ val sg : Tools.expansion = Odoc_model.Lang.Signature.Ordinary, {Odoc_xref2.Component.Delayed.v = Some - {Odoc_xref2.Component.Module.source_loc = None; doc = []; + {Odoc_xref2.Component.Module.source_loc = None; + doc = + {Odoc_xref2.Component.CComment.elements = []; + suppress_warnings = false}; type_ = Odoc_xref2.Component.Module.ModuleType (Odoc_xref2.Component.ModuleType.Path @@ -973,7 +1023,9 @@ val sg : Tools.expansion = `DotMT (`Substituted (`Local (`LModule (M, 32), false)), S)}); canonical = None; hidden = false}; get = None})]; - compiled = false; removed = []; doc = []} + compiled = false; removed = []; + doc = + {Odoc_xref2.Component.CComment.elements = []; suppress_warnings = false}} ``` and we can see the module `M` is now an alias of the root module `B`. We can now @@ -985,7 +1037,10 @@ look up module `N` from within this and find its signature: val m : Component.Module.t Component.Delayed.t = {Odoc_xref2.Component.Delayed.v = Some - {Odoc_xref2.Component.Module.source_loc = None; doc = []; + {Odoc_xref2.Component.Module.source_loc = None; + doc = + {Odoc_xref2.Component.CComment.elements = []; + suppress_warnings = false}; type_ = Odoc_xref2.Component.Module.ModuleType (Odoc_xref2.Component.ModuleType.Path @@ -1021,14 +1076,19 @@ Odoc_xref2.Tools.Signature Odoc_model.Lang.Signature.Ordinary, {Odoc_xref2.Component.Delayed.v = Some - {Odoc_xref2.Component.TypeDecl.source_loc = None; doc = []; + {Odoc_xref2.Component.TypeDecl.source_loc = None; + doc = + {Odoc_xref2.Component.CComment.elements = []; + suppress_warnings = false}; canonical = None; equation = {Odoc_xref2.Component.TypeDecl.Equation.params = []; private_ = false; manifest = None; constraints = []}; representation = None}; get = None})]; - compiled = false; removed = []; doc = []} + compiled = false; removed = []; + doc = + {Odoc_xref2.Component.CComment.elements = []; suppress_warnings = false}} ``` where we've correctly identified that a type `t` exists in the signature. The path in @@ -1589,7 +1649,10 @@ val p : Cpath.Resolved.module_ = val m : Component.Module.t Component.Delayed.t = {Odoc_xref2.Component.Delayed.v = Some - {Odoc_xref2.Component.Module.source_loc = None; doc = []; + {Odoc_xref2.Component.Module.source_loc = None; + doc = + {Odoc_xref2.Component.CComment.elements = []; + suppress_warnings = false}; type_ = Odoc_xref2.Component.Module.ModuleType (Odoc_xref2.Component.ModuleType.Path @@ -1641,7 +1704,10 @@ val sg' : Tools.expansion = Odoc_model.Lang.Signature.Ordinary, {Odoc_xref2.Component.Delayed.v = Some - {Odoc_xref2.Component.Module.source_loc = None; doc = []; + {Odoc_xref2.Component.Module.source_loc = None; + doc = + {Odoc_xref2.Component.CComment.elements = []; + suppress_warnings = false}; type_ = Odoc_xref2.Component.Module.ModuleType (Odoc_xref2.Component.ModuleType.Path @@ -1671,7 +1737,9 @@ val sg' : Tools.expansion = T)}); canonical = None; hidden = false}; get = None})]; - compiled = false; removed = []; doc = []} + compiled = false; removed = []; + doc = + {Odoc_xref2.Component.CComment.elements = []; suppress_warnings = false}} # let sg' = get_ok @@ Tools.expansion_of_module env (Component.Delayed.get m);; val sg' : Tools.expansion = Odoc_xref2.Tools.Signature @@ -1680,7 +1748,10 @@ val sg' : Tools.expansion = Odoc_model.Lang.Signature.Ordinary, {Odoc_xref2.Component.Delayed.v = Some - {Odoc_xref2.Component.Module.source_loc = None; doc = []; + {Odoc_xref2.Component.Module.source_loc = None; + doc = + {Odoc_xref2.Component.CComment.elements = []; + suppress_warnings = false}; type_ = Odoc_xref2.Component.Module.ModuleType (Odoc_xref2.Component.ModuleType.Path @@ -1710,7 +1781,9 @@ val sg' : Tools.expansion = T)}); canonical = None; hidden = false}; get = None})]; - compiled = false; removed = []; doc = []} + compiled = false; removed = []; + doc = + {Odoc_xref2.Component.CComment.elements = []; suppress_warnings = false}} # let sg' = get_ok @@ Tools.expansion_of_module env (Component.Delayed.get m);; val sg' : Tools.expansion = Odoc_xref2.Tools.Signature @@ -1719,7 +1792,10 @@ val sg' : Tools.expansion = Odoc_model.Lang.Signature.Ordinary, {Odoc_xref2.Component.Delayed.v = Some - {Odoc_xref2.Component.Module.source_loc = None; doc = []; + {Odoc_xref2.Component.Module.source_loc = None; + doc = + {Odoc_xref2.Component.CComment.elements = []; + suppress_warnings = false}; type_ = Odoc_xref2.Component.Module.ModuleType (Odoc_xref2.Component.ModuleType.Path @@ -1749,7 +1825,9 @@ val sg' : Tools.expansion = T)}); canonical = None; hidden = false}; get = None})]; - compiled = false; removed = []; doc = []} + compiled = false; removed = []; + doc = + {Odoc_xref2.Component.CComment.elements = []; suppress_warnings = false}} # let sg' = get_ok @@ Tools.expansion_of_module env (Component.Delayed.get m);; val sg' : Tools.expansion = Odoc_xref2.Tools.Signature @@ -1758,7 +1836,10 @@ val sg' : Tools.expansion = Odoc_model.Lang.Signature.Ordinary, {Odoc_xref2.Component.Delayed.v = Some - {Odoc_xref2.Component.Module.source_loc = None; doc = []; + {Odoc_xref2.Component.Module.source_loc = None; + doc = + {Odoc_xref2.Component.CComment.elements = []; + suppress_warnings = false}; type_ = Odoc_xref2.Component.Module.ModuleType (Odoc_xref2.Component.ModuleType.Path @@ -1788,7 +1869,9 @@ val sg' : Tools.expansion = T)}); canonical = None; hidden = false}; get = None})]; - compiled = false; removed = []; doc = []} + compiled = false; removed = []; + doc = + {Odoc_xref2.Component.CComment.elements = []; suppress_warnings = false}} ``` ```ocaml env=e1 @@ -2537,27 +2620,29 @@ let resolved = Common.compile_signature sg;; ihash = 1016576344; ikey = "t_t.r_Root.p_None"}; source_loc = None; doc = - [{Odoc_model__.Location_.location = - {Odoc_model__.Location_.file = ""; - start = {Odoc_model__.Location_.line = 3; column = 6}; - end_ = {Odoc_model__.Location_.line = 3; column = 14}}; - value = - `Paragraph - [{Odoc_model__.Location_.location = - {Odoc_model__.Location_.file = ""; - start = {Odoc_model__.Location_.line = 3; column = 6}; - end_ = {Odoc_model__.Location_.line = 3; column = 9}}; - value = `Code_span "t"}; - {Odoc_model__.Location_.location = - {Odoc_model__.Location_.file = ""; - start = {Odoc_model__.Location_.line = 3; column = 9}; - end_ = {Odoc_model__.Location_.line = 3; column = 10}}; - value = `Space}; - {Odoc_model__.Location_.location = - {Odoc_model__.Location_.file = ""; - start = {Odoc_model__.Location_.line = 3; column = 10}; - end_ = {Odoc_model__.Location_.line = 3; column = 14}}; - value = `Reference (`Root ("t", `TUnknown), [])}]}]; + {Odoc_model__.Comment.elements = + [{Odoc_model__.Location_.location = + {Odoc_model__.Location_.file = ""; + start = {Odoc_model__.Location_.line = 3; column = 6}; + end_ = {Odoc_model__.Location_.line = 3; column = 14}}; + value = + `Paragraph + [{Odoc_model__.Location_.location = + {Odoc_model__.Location_.file = ""; + start = {Odoc_model__.Location_.line = 3; column = 6}; + end_ = {Odoc_model__.Location_.line = 3; column = 9}}; + value = `Code_span "t"}; + {Odoc_model__.Location_.location = + {Odoc_model__.Location_.file = ""; + start = {Odoc_model__.Location_.line = 3; column = 9}; + end_ = {Odoc_model__.Location_.line = 3; column = 10}}; + value = `Space}; + {Odoc_model__.Location_.location = + {Odoc_model__.Location_.file = ""; + start = {Odoc_model__.Location_.line = 3; column = 10}; + end_ = {Odoc_model__.Location_.line = 3; column = 14}}; + value = `Reference (`Root ("t", `TUnknown), [])}]}]; + suppress_warnings = false}; canonical = None; equation = {Odoc_model.Lang.TypeDecl.Equation.params = []; private_ = false; @@ -2599,7 +2684,9 @@ let sg = Common.signature_of_mli_string test_data;; ihash = 818126955; ikey = "r_Root.p_None"}, M); ihash = 459143770; ikey = "mt_M.r_Root.p_None"}; - source_loc = None; doc = []; canonical = None; + source_loc = None; + doc = {Odoc_model__.Comment.elements = []; suppress_warnings = false}; + canonical = None; expr = Some (Odoc_model.Lang.ModuleType.Signature @@ -2623,12 +2710,18 @@ let sg = Common.signature_of_mli_string test_data;; ihash = 459143770; ikey = "mt_M.r_Root.p_None"}, t); ihash = 825731485; ikey = "t_t.mt_M.r_Root.p_None"}; - source_loc = None; doc = []; canonical = None; + source_loc = None; + doc = + {Odoc_model__.Comment.elements = []; + suppress_warnings = false}; + canonical = None; equation = {Odoc_model.Lang.TypeDecl.Equation.params = []; private_ = false; manifest = None; constraints = []}; representation = None})]; - compiled = false; removed = []; doc = []})}; + compiled = false; removed = []; + doc = + {Odoc_model__.Comment.elements = []; suppress_warnings = false}})}; Odoc_model.Lang.Signature.Type (Odoc_model.Lang.Signature.Ordinary, {Odoc_model.Lang.TypeDecl.id = {Odoc_model__Paths_types.iv = @@ -2642,7 +2735,9 @@ let sg = Common.signature_of_mli_string test_data;; ihash = 818126955; ikey = "r_Root.p_None"}, u); ihash = 15973539; ikey = "t_u.r_Root.p_None"}; - source_loc = None; doc = []; canonical = None; + source_loc = None; + doc = {Odoc_model__.Comment.elements = []; suppress_warnings = false}; + canonical = None; equation = {Odoc_model.Lang.TypeDecl.Equation.params = []; private_ = false; manifest = None; constraints = []}; @@ -2660,7 +2755,9 @@ let sg = Common.signature_of_mli_string test_data;; ihash = 818126955; ikey = "r_Root.p_None"}, M1); ihash = 756272831; ikey = "mt_M1.r_Root.p_None"}; - source_loc = None; doc = []; canonical = None; + source_loc = None; + doc = {Odoc_model__.Comment.elements = []; suppress_warnings = false}; + canonical = None; expr = Some (Odoc_model.Lang.ModuleType.With @@ -2703,7 +2800,8 @@ let sg = Common.signature_of_mli_string test_data;; ihash = 818126955; ikey = "r_Root.p_None"}, M); ihash = 459143770; ikey = "mt_M.r_Root.p_None"}))})}]; - compiled = false; removed = []; doc = []} + compiled = false; removed = []; + doc = {Odoc_model__.Comment.elements = []; suppress_warnings = false}} ``` # Expansion continued @@ -2750,7 +2848,10 @@ Odoc_model.Lang.ModuleType.Path ihash = 716453475; ikey = "m_M.r_Root.p_None"}, s); ihash = 395135148; ikey = "t_s.m_M.r_Root.p_None"}; - source_loc = None; doc = []; canonical = None; + source_loc = None; + doc = + {Odoc_model__.Comment.elements = []; suppress_warnings = false}; + canonical = None; equation = {Odoc_model.Lang.TypeDecl.Equation.params = []; private_ = false; manifest = None; constraints = []}; @@ -2778,7 +2879,9 @@ Odoc_model.Lang.ModuleType.Path ihash = 395135148; ikey = "t_s.m_M.r_Root.p_None"}, ); ihash = 2570800; ikey = "ctor_C.t_s.m_M.r_Root.p_None"}; - doc = []; + doc = + {Odoc_model__.Comment.elements = []; + suppress_warnings = false}; args = Odoc_model.Lang.TypeDecl.Constructor.Tuple [Odoc_model.Lang.TypeExpr.Constr @@ -2820,7 +2923,8 @@ Odoc_model.Lang.ModuleType.Path t)), [])]; res = None}])})]; - compiled = true; removed = []; doc = []}); + compiled = true; removed = []; + doc = {Odoc_model__.Comment.elements = []; suppress_warnings = false}}); p_path = `Resolved (`ModuleType @@ -2905,7 +3009,8 @@ let m_e_i_s_value mod_name n val_name = ihash = 670280318; ikey = "m_Foo3.r_Root.p_None"}, id); ihash = 424389437; ikey = "v_id.m_Foo3.r_Root.p_None"}; - source_loc = None; value = Odoc_model.Lang.Value.Abstract; doc = []; + source_loc = None; value = Odoc_model.Lang.Value.Abstract; + doc = {Odoc_model__.Comment.elements = []; suppress_warnings = false}; type_ = Odoc_model.Lang.TypeExpr.Constr (`DotT @@ -2942,7 +3047,8 @@ let m_e_i_s_value mod_name n val_name = ihash = 670280318; ikey = "m_Foo3.r_Root.p_None"}, id2); ihash = 412619918; ikey = "v_id2.m_Foo3.r_Root.p_None"}; - source_loc = None; value = Odoc_model.Lang.Value.Abstract; doc = []; + source_loc = None; value = Odoc_model.Lang.Value.Abstract; + doc = {Odoc_model__.Comment.elements = []; suppress_warnings = false}; type_ = Odoc_model.Lang.TypeExpr.Constr (`Identifier @@ -3015,7 +3121,9 @@ let sg = Common.signature_of_mli_string test_data;; {t}3/shadowed/(XXXX)); ihash = 584226322; ikey = "t_{t}3/shadowed/(XXXX).m_Foo3.r_Root.p_None"}; - source_loc = None; doc = []; canonical = None; + source_loc = None; + doc = {Odoc_model__.Comment.elements = []; suppress_warnings = false}; + canonical = None; equation = {Odoc_model.Lang.TypeDecl.Equation.params = []; private_ = false; manifest = @@ -3056,7 +3164,8 @@ let sg = Common.signature_of_mli_string test_data;; ihash = 670280318; ikey = "m_Foo3.r_Root.p_None"}, id); ihash = 424389437; ikey = "v_id.m_Foo3.r_Root.p_None"}; - source_loc = None; value = Odoc_model.Lang.Value.Abstract; doc = []; + source_loc = None; value = Odoc_model.Lang.Value.Abstract; + doc = {Odoc_model__.Comment.elements = []; suppress_warnings = false}; type_ = Odoc_model.Lang.TypeExpr.Constr (`Identifier @@ -3078,7 +3187,8 @@ let sg = Common.signature_of_mli_string test_data;; ikey = "t_{t}3/shadowed/(XXXX).m_Foo3.r_Root.p_None"}, false), [])}]; - compiled = false; removed = []; doc = []} + compiled = false; removed = []; + doc = {Odoc_model__.Comment.elements = []; suppress_warnings = false}} # Common.LangUtils.Lens.get (module_expansion_include_sig "Foo3" 1) sg;; - : Odoc_model.Lang.Signature.t = {Odoc_model.Lang.Signature.items = @@ -3100,7 +3210,9 @@ let sg = Common.signature_of_mli_string test_data;; {t}4/shadowed/(XXXX)); ihash = 466750041; ikey = "t_{t}4/shadowed/(XXXX).m_Foo3.r_Root.p_None"}; - source_loc = None; doc = []; canonical = None; + source_loc = None; + doc = {Odoc_model__.Comment.elements = []; suppress_warnings = false}; + canonical = None; equation = {Odoc_model.Lang.TypeDecl.Equation.params = []; private_ = false; manifest = @@ -3141,7 +3253,8 @@ let sg = Common.signature_of_mli_string test_data;; ihash = 670280318; ikey = "m_Foo3.r_Root.p_None"}, id2); ihash = 412619918; ikey = "v_id2.m_Foo3.r_Root.p_None"}; - source_loc = None; value = Odoc_model.Lang.Value.Abstract; doc = []; + source_loc = None; value = Odoc_model.Lang.Value.Abstract; + doc = {Odoc_model__.Comment.elements = []; suppress_warnings = false}; type_ = Odoc_model.Lang.TypeExpr.Constr (`Identifier @@ -3163,7 +3276,8 @@ let sg = Common.signature_of_mli_string test_data;; ikey = "t_{t}4/shadowed/(XXXX).m_Foo3.r_Root.p_None"}, false), [])}]; - compiled = false; removed = []; doc = []} + compiled = false; removed = []; + doc = {Odoc_model__.Comment.elements = []; suppress_warnings = false}} ``` @@ -3217,7 +3331,9 @@ let sg = Common.signature_of_mli_string test_data;; {t}5/shadowed/(XXXX)); ihash = 995358055; ikey = "t_{t}5/shadowed/(XXXX).m_Foo3.r_Root.p_None"}; - source_loc = None; doc = []; canonical = None; + source_loc = None; + doc = {Odoc_model__.Comment.elements = []; suppress_warnings = false}; + canonical = None; equation = {Odoc_model.Lang.TypeDecl.Equation.params = []; private_ = false; manifest = @@ -3259,7 +3375,8 @@ let sg = Common.signature_of_mli_string test_data;; {x}6/shadowed/(XXXX)); ihash = 1011043008; ikey = "v_{x}6/shadowed/(XXXX).m_Foo3.r_Root.p_None"}; - source_loc = None; value = Odoc_model.Lang.Value.Abstract; doc = []; + source_loc = None; value = Odoc_model.Lang.Value.Abstract; + doc = {Odoc_model__.Comment.elements = []; suppress_warnings = false}; type_ = Odoc_model.Lang.TypeExpr.Constr (`Resolved (`CoreType int), [])}; Odoc_model.Lang.Signature.Value {Odoc_model.Lang.Value.id = @@ -3278,7 +3395,8 @@ let sg = Common.signature_of_mli_string test_data;; ihash = 670280318; ikey = "m_Foo3.r_Root.p_None"}, id); ihash = 424389437; ikey = "v_id.m_Foo3.r_Root.p_None"}; - source_loc = None; value = Odoc_model.Lang.Value.Abstract; doc = []; + source_loc = None; value = Odoc_model.Lang.Value.Abstract; + doc = {Odoc_model__.Comment.elements = []; suppress_warnings = false}; type_ = Odoc_model.Lang.TypeExpr.Constr (`Identifier @@ -3300,7 +3418,8 @@ let sg = Common.signature_of_mli_string test_data;; ikey = "t_{t}5/shadowed/(XXXX).m_Foo3.r_Root.p_None"}, false), [])}]; - compiled = false; removed = []; doc = []} + compiled = false; removed = []; + doc = {Odoc_model__.Comment.elements = []; suppress_warnings = false}} ``` @@ -3353,7 +3472,8 @@ let sg = Common.signature_of_mli_string test_data;; {Bar}8/shadowed/(XXXX)); ihash = 38422300; ikey = "m_{Bar}8/shadowed/(XXXX).m_Foo3.r_Root.p_None"}; - source_loc = None; doc = []; + source_loc = None; + doc = {Odoc_model__.Comment.elements = []; suppress_warnings = false}; type_ = Odoc_model.Lang.Module.Alias (`Dot @@ -3390,7 +3510,8 @@ let sg = Common.signature_of_mli_string test_data;; ihash = 670280318; ikey = "m_Foo3.r_Root.p_None"}, id); ihash = 424389437; ikey = "v_id.m_Foo3.r_Root.p_None"}; - source_loc = None; value = Odoc_model.Lang.Value.Abstract; doc = []; + source_loc = None; value = Odoc_model.Lang.Value.Abstract; + doc = {Odoc_model__.Comment.elements = []; suppress_warnings = false}; type_ = Odoc_model.Lang.TypeExpr.Constr (`DotT @@ -3415,5 +3536,6 @@ let sg = Common.signature_of_mli_string test_data;; true), t), [])}]; - compiled = false; removed = []; doc = []} + compiled = false; removed = []; + doc = {Odoc_model__.Comment.elements = []; suppress_warnings = false}} ``` diff --git a/test/xref2/resolve/test.md b/test/xref2/resolve/test.md index ed11411418..7b8d862f24 100644 --- a/test/xref2/resolve/test.md +++ b/test/xref2/resolve/test.md @@ -101,7 +101,9 @@ Simplest possible resolution: ihash = 818126955; ikey = "r_Root.p_None"}, t); ihash = 1016576344; ikey = "t_t.r_Root.p_None"}; - source_loc = None; doc = []; canonical = None; + source_loc = None; + doc = {Odoc_model__.Comment.elements = []; suppress_warnings = false}; + canonical = None; equation = {Odoc_model.Lang.TypeDecl.Equation.params = []; private_ = false; manifest = None; constraints = []}; @@ -119,7 +121,9 @@ Simplest possible resolution: ihash = 818126955; ikey = "r_Root.p_None"}, u); ihash = 15973539; ikey = "t_u.r_Root.p_None"}; - source_loc = None; doc = []; canonical = None; + source_loc = None; + doc = {Odoc_model__.Comment.elements = []; suppress_warnings = false}; + canonical = None; equation = {Odoc_model.Lang.TypeDecl.Equation.params = []; private_ = false; manifest = @@ -142,7 +146,8 @@ Simplest possible resolution: [])); constraints = []}; representation = None})]; - compiled = true; removed = []; doc = []}; + compiled = true; removed = []; + doc = {Odoc_model__.Comment.elements = []; suppress_warnings = false}}; expansion = None; linked = false; source_loc = None; canonical = None} ``` @@ -246,7 +251,8 @@ Basic resolution 2, environment lookup: ihash = 818126955; ikey = "r_Root.p_None"}, M); ihash = 716453475; ikey = "m_M.r_Root.p_None"}; - source_loc = None; doc = []; + source_loc = None; + doc = {Odoc_model__.Comment.elements = []; suppress_warnings = false}; type_ = Odoc_model.Lang.Module.ModuleType (Odoc_model.Lang.ModuleType.Signature @@ -270,12 +276,18 @@ Basic resolution 2, environment lookup: ihash = 716453475; ikey = "m_M.r_Root.p_None"}, t); ihash = 746522241; ikey = "t_t.m_M.r_Root.p_None"}; - source_loc = None; doc = []; canonical = None; + source_loc = None; + doc = + {Odoc_model__.Comment.elements = []; + suppress_warnings = false}; + canonical = None; equation = {Odoc_model.Lang.TypeDecl.Equation.params = []; private_ = false; manifest = None; constraints = []}; representation = None})]; - compiled = true; removed = []; doc = []}); + compiled = true; removed = []; + doc = + {Odoc_model__.Comment.elements = []; suppress_warnings = false}}); canonical = None; hidden = false}); Odoc_model.Lang.Signature.Type (Odoc_model.Lang.Signature.Ordinary, {Odoc_model.Lang.TypeDecl.id = @@ -290,7 +302,9 @@ Basic resolution 2, environment lookup: ihash = 818126955; ikey = "r_Root.p_None"}, u); ihash = 15973539; ikey = "t_u.r_Root.p_None"}; - source_loc = None; doc = []; canonical = None; + source_loc = None; + doc = {Odoc_model__.Comment.elements = []; suppress_warnings = false}; + canonical = None; equation = {Odoc_model.Lang.TypeDecl.Equation.params = []; private_ = false; manifest = @@ -315,7 +329,8 @@ Basic resolution 2, environment lookup: [])); constraints = []}; representation = None})]; - compiled = true; removed = []; doc = []}; + compiled = true; removed = []; + doc = {Odoc_model__.Comment.elements = []; suppress_warnings = false}}; expansion = None; linked = false; source_loc = None; canonical = None} ``` @@ -392,7 +407,9 @@ Basic resolution 3, module type: ihash = 818126955; ikey = "r_Root.p_None"}, M); ihash = 459143770; ikey = "mt_M.r_Root.p_None"}; - source_loc = None; doc = []; canonical = None; + source_loc = None; + doc = {Odoc_model__.Comment.elements = []; suppress_warnings = false}; + canonical = None; expr = Some (Odoc_model.Lang.ModuleType.Signature @@ -416,12 +433,18 @@ Basic resolution 3, module type: ihash = 459143770; ikey = "mt_M.r_Root.p_None"}, t); ihash = 825731485; ikey = "t_t.mt_M.r_Root.p_None"}; - source_loc = None; doc = []; canonical = None; + source_loc = None; + doc = + {Odoc_model__.Comment.elements = []; + suppress_warnings = false}; + canonical = None; equation = {Odoc_model.Lang.TypeDecl.Equation.params = []; private_ = false; manifest = None; constraints = []}; representation = None})]; - compiled = true; removed = []; doc = []})}; + compiled = true; removed = []; + doc = + {Odoc_model__.Comment.elements = []; suppress_warnings = false}})}; Odoc_model.Lang.Signature.Module (Odoc_model.Lang.Signature.Ordinary, {Odoc_model.Lang.Module.id = {Odoc_model__Paths_types.iv = @@ -435,7 +458,8 @@ Basic resolution 3, module type: ihash = 818126955; ikey = "r_Root.p_None"}, N); ihash = 502470005; ikey = "m_N.r_Root.p_None"}; - source_loc = None; doc = []; + source_loc = None; + doc = {Odoc_model__.Comment.elements = []; suppress_warnings = false}; type_ = Odoc_model.Lang.Module.ModuleType (Odoc_model.Lang.ModuleType.Path @@ -462,12 +486,19 @@ Basic resolution 3, module type: ihash = 502470005; ikey = "m_N.r_Root.p_None"}, t); ihash = 598040815; ikey = "t_t.m_N.r_Root.p_None"}; - source_loc = None; doc = []; canonical = None; + source_loc = None; + doc = + {Odoc_model__.Comment.elements = []; + suppress_warnings = false}; + canonical = None; equation = {Odoc_model.Lang.TypeDecl.Equation.params = []; private_ = false; manifest = None; constraints = []}; representation = None})]; - compiled = true; removed = []; doc = []}); + compiled = true; removed = []; + doc = + {Odoc_model__.Comment.elements = []; + suppress_warnings = false}}); p_path = `Resolved (`Identifier @@ -496,24 +527,14 @@ Basic resolution 3, module type: Root); ihash = 818126955; ikey = "r_Root.p_None"}, u); - ihash = 15973539; ikey = "t_u.r_Root.p_None"}; - source_loc = None; doc = []; canonical = None; + ihash = 15973539; + ikey = "t_u.r_Root.p_"... (* string length 17; truncated *)}; + source_loc = None; + doc = {Odoc_model__.Comment.elements = []; suppress_warnings = false}; + canonical = None; equation = {Odoc_model.Lang.TypeDecl.Equation.params = []; private_ = false; - manifest = - Some - (Odoc_model.Lang.TypeExpr.Constr - (`Resolved - (`Type - (`Identifier - {Odoc_model__Paths_types.iv = - `Module - ({Odoc_model__Paths_types.iv = ...; ihash = ...; - ikey = ...}, - ...); - ihash = ...; ikey = ...}, - ...)), - ...)); + manifest = Some (Odoc_model.Lang.TypeExpr.Constr (...)); constraints = ...}; representation = ...}); ...]; @@ -572,7 +593,9 @@ Basic resolution 4, module type: ihash = 818126955; ikey = "r_Root.p_None"}, M); ihash = 459143770; ikey = "mt_M.r_Root.p_None"}; - source_loc = None; doc = []; canonical = None; + source_loc = None; + doc = {Odoc_model__.Comment.elements = []; suppress_warnings = false}; + canonical = None; expr = Some (Odoc_model.Lang.ModuleType.Signature @@ -596,7 +619,10 @@ Basic resolution 4, module type: ihash = 459143770; ikey = "mt_M.r_Root.p_None"}, N); ihash = 998243332; ikey = "m_N.mt_M.r_Root.p_None"}; - source_loc = None; doc = []; + source_loc = None; + doc = + {Odoc_model__.Comment.elements = []; + suppress_warnings = false}; type_ = Odoc_model.Lang.Module.ModuleType (Odoc_model.Lang.ModuleType.Signature @@ -629,15 +655,24 @@ Basic resolution 4, module type: t); ihash = 687003328; ikey = "t_t.m_N.mt_M.r_Root.p_None"}; - source_loc = None; doc = []; canonical = None; + source_loc = None; + doc = + {Odoc_model__.Comment.elements = []; + suppress_warnings = false}; + canonical = None; equation = {Odoc_model.Lang.TypeDecl.Equation.params = []; private_ = false; manifest = None; constraints = []}; representation = None})]; - compiled = true; removed = []; doc = []}); + compiled = true; removed = []; + doc = + {Odoc_model__.Comment.elements = []; + suppress_warnings = false}}); canonical = None; hidden = false})]; - compiled = true; removed = []; doc = []})}; + compiled = true; removed = []; + doc = + {Odoc_model__.Comment.elements = []; suppress_warnings = false}})}; Odoc_model.Lang.Signature.Module (Odoc_model.Lang.Signature.Ordinary, {Odoc_model.Lang.Module.id = {Odoc_model__Paths_types.iv = @@ -651,7 +686,8 @@ Basic resolution 4, module type: ihash = 818126955; ikey = "r_Root.p_None"}, A); ihash = 353272258; ikey = "m_A.r_Root.p_None"}; - source_loc = None; doc = []; + source_loc = None; + doc = {Odoc_model__.Comment.elements = []; suppress_warnings = false}; type_ = Odoc_model.Lang.Module.ModuleType (Odoc_model.Lang.ModuleType.Path @@ -678,7 +714,10 @@ Basic resolution 4, module type: ihash = 353272258; ikey = "m_A.r_Root.p_None"}, N); ihash = 456955352; ikey = "m_N.m_A.r_Root.p_None"}; - source_loc = None; doc = []; + source_loc = None; + doc = + {Odoc_model__.Comment.elements = []; + suppress_warnings = false}; type_ = Odoc_model.Lang.Module.ModuleType (Odoc_model.Lang.ModuleType.Signature @@ -693,34 +732,26 @@ Basic resolution 4, module type: ({Odoc_model__Paths_types.iv = `Module ({Odoc_model__Paths_types.iv = - `Root - (Some - {Odoc_model__Paths_types.iv - = `Page (None, None); - ihash = 236059787; - ikey = "p_None"}, - Root); - ihash = 818126955; - ikey = - "r_Root.p"... (* string length 13; truncated *)}, - ...); - ihash = ...; ikey = ...}, - ...); - ihash = ...; ikey = ...}, - ...); - ihash = ...; ikey = ...}; - source_loc = ...; doc = ...; canonical = ...; - equation = ...; representation = ...}); - ...]; - compiled = ...; removed = ...; doc = ...}); - canonical = ...; hidden = ...}); - ...]; - compiled = ...; removed = ...; doc = ...}); - p_path = ...}); - canonical = ...; hidden = ...}); - ...]; - compiled = ...; removed = ...; doc = ...}; - expansion = ...; linked = ...; source_loc = ...; canonical = ...} + `Root ...; ihash = ...; + ikey = ...}, + ...); + ihash = ...; ikey = ...}, + ...); + ihash = ...; ikey = ...}, + ...); + ihash = ...; ikey = ...}; + source_loc = ...; doc = ...; canonical = ...; + equation = ...; representation = ...}); + ...]; + compiled = ...; removed = ...; doc = ...}); + canonical = ...; hidden = ...}); + ...]; + compiled = ...; removed = ...; doc = ...}); + p_path = ...}); + canonical = ...; hidden = ...}); + ...]; + compiled = ...; removed = ...; doc = ...}; + expansion = ...; linked = ...; source_loc = ...; canonical = ...} ``` This example is rather more interesting: @@ -810,7 +841,9 @@ and then we can look up the type `t`. ihash = 818126955; ikey = "r_Root.p_None"}, M); ihash = 459143770; ikey = "mt_M.r_Root.p_None"}; - source_loc = None; doc = []; canonical = None; + source_loc = None; + doc = {Odoc_model__.Comment.elements = []; suppress_warnings = false}; + canonical = None; expr = Some (Odoc_model.Lang.ModuleType.Signature @@ -833,7 +866,11 @@ and then we can look up the type `t`. ihash = 459143770; ikey = "mt_M.r_Root.p_None"}, N); ihash = 887387323; ikey = "mt_N.mt_M.r_Root.p_None"}; - source_loc = None; doc = []; canonical = None; + source_loc = None; + doc = + {Odoc_model__.Comment.elements = []; + suppress_warnings = false}; + canonical = None; expr = Some (Odoc_model.Lang.ModuleType.Signature @@ -866,13 +903,20 @@ and then we can look up the type `t`. t); ihash = 652783314; ikey = "t_t.mt_N.mt_M.r_Root.p_None"}; - source_loc = None; doc = []; canonical = None; + source_loc = None; + doc = + {Odoc_model__.Comment.elements = []; + suppress_warnings = false}; + canonical = None; equation = {Odoc_model.Lang.TypeDecl.Equation.params = []; private_ = false; manifest = None; constraints = []}; representation = None})]; - compiled = true; removed = []; doc = []})}; + compiled = true; removed = []; + doc = + {Odoc_model__.Comment.elements = []; + suppress_warnings = false}})}; Odoc_model.Lang.Signature.Module (Odoc_model.Lang.Signature.Ordinary, {Odoc_model.Lang.Module.id = @@ -892,7 +936,10 @@ and then we can look up the type `t`. ihash = 459143770; ikey = "mt_M.r_Root.p_None"}, B); ihash = 301928208; ikey = "m_B.mt_M.r_Root.p_None"}; - source_loc = None; doc = []; + source_loc = None; + doc = + {Odoc_model__.Comment.elements = []; + suppress_warnings = false}; type_ = Odoc_model.Lang.Module.ModuleType (Odoc_model.Lang.ModuleType.Path @@ -927,28 +974,24 @@ and then we can look up the type `t`. ikey = "m_B.mt_M.r_Root.p_None"}, t); ihash = 484865120; - ikey = "t_t.m_B.mt_M.r_Root.p_None"}; - source_loc = None; doc = []; canonical = None; + ikey = + "t_t.m_B.mt_M.r_Root.p_No"... (* string length 26; truncated *)}; + source_loc = None; + doc = + {Odoc_model__.Comment.elements = []; + suppress_warnings = false}; + canonical = None; equation = {Odoc_model.Lang.TypeDecl.Equation.params = []; private_ = false; manifest = None; constraints = []}; representation = None})]; - compiled = true; removed = []; doc = []}); - p_path = - `Resolved - (`Identifier - {Odoc_model__Paths_types.iv = - `ModuleType - ({Odoc_model__Paths_types.iv = - `ModuleType - ({Odoc_model__Paths_types.iv = - `Root ...; ihash = ...; ikey = ...}, - ...); - ihash = ...; ikey = ...}, - ...); - ihash = ...; ikey = ...})}); + compiled = true; removed = []; + doc = + {Odoc_model__.Comment.elements = []; + suppress_warnings = false}}); + p_path = `Resolved (`Identifier ...)}); canonical = ...; hidden = ...}); ...]; compiled = ...; removed = ...; doc = ...})}; @@ -997,7 +1040,9 @@ and then we can look up the type `t`. ihash = 818126955; ikey = "r_Root.p_None"}, M); ihash = 459143770; ikey = "mt_M.r_Root.p_None"}; - source_loc = None; doc = []; canonical = None; + source_loc = None; + doc = {Odoc_model__.Comment.elements = []; suppress_warnings = false}; + canonical = None; expr = Some (Odoc_model.Lang.ModuleType.Signature @@ -1020,7 +1065,11 @@ and then we can look up the type `t`. ihash = 459143770; ikey = "mt_M.r_Root.p_None"}, N); ihash = 887387323; ikey = "mt_N.mt_M.r_Root.p_None"}; - source_loc = None; doc = []; canonical = None; + source_loc = None; + doc = + {Odoc_model__.Comment.elements = []; + suppress_warnings = false}; + canonical = None; expr = Some (Odoc_model.Lang.ModuleType.Signature @@ -1053,13 +1102,20 @@ and then we can look up the type `t`. t); ihash = 652783314; ikey = "t_t.mt_N.mt_M.r_Root.p_None"}; - source_loc = None; doc = []; canonical = None; + source_loc = None; + doc = + {Odoc_model__.Comment.elements = []; + suppress_warnings = false}; + canonical = None; equation = {Odoc_model.Lang.TypeDecl.Equation.params = []; private_ = false; manifest = None; constraints = []}; representation = None})]; - compiled = true; removed = []; doc = []})}; + compiled = true; removed = []; + doc = + {Odoc_model__.Comment.elements = []; + suppress_warnings = false}})}; Odoc_model.Lang.Signature.Module (Odoc_model.Lang.Signature.Ordinary, {Odoc_model.Lang.Module.id = @@ -1079,7 +1135,10 @@ and then we can look up the type `t`. ihash = 459143770; ikey = "mt_M.r_Root.p_None"}, X); ihash = 573009176; ikey = "m_X.mt_M.r_Root.p_None"}; - source_loc = None; doc = []; + source_loc = None; + doc = + {Odoc_model__.Comment.elements = []; + suppress_warnings = false}; type_ = Odoc_model.Lang.Module.ModuleType (Odoc_model.Lang.ModuleType.Signature @@ -1112,7 +1171,10 @@ and then we can look up the type `t`. B); ihash = 413241446; ikey = "m_B.m_X.mt_M.r_Root.p_None"}; - source_loc = None; doc = []; + source_loc = None; + doc = + {Odoc_model__.Comment.elements = []; + suppress_warnings = false}; type_ = Odoc_model.Lang.Module.ModuleType (Odoc_model.Lang.ModuleType.Path @@ -1126,23 +1188,7 @@ and then we can look up the type `t`. {Odoc_model__Paths_types.iv = `Type ({Odoc_model__Paths_types.iv = - `Module - ({Odoc_model__Paths_types.iv - = - `Module - ({Odoc_model__Paths_types.iv - = - `ModuleType - ({Odoc_model__Paths_types.iv - = ...; - ihash = ...; - ikey = ...}, - ...); - ihash = ...; - ikey = ...}, - ...); - ihash = ...; ikey = ...}, - ...); + `Module (...); ihash = ...; ikey = ...}, ...); ihash = ...; ikey = ...}; @@ -1205,7 +1251,9 @@ Ensure a substitution is taken into account during resolution: ihash = 818126955; ikey = "r_Root.p_None"}, A); ihash = 231492881; ikey = "mt_A.r_Root.p_None"}; - source_loc = None; doc = []; canonical = None; + source_loc = None; + doc = {Odoc_model__.Comment.elements = []; suppress_warnings = false}; + canonical = None; expr = Some (Odoc_model.Lang.ModuleType.Signature @@ -1229,7 +1277,10 @@ Ensure a substitution is taken into account during resolution: ihash = 231492881; ikey = "mt_A.r_Root.p_None"}, M); ihash = 564635453; ikey = "m_M.mt_A.r_Root.p_None"}; - source_loc = None; doc = []; + source_loc = None; + doc = + {Odoc_model__.Comment.elements = []; + suppress_warnings = false}; type_ = Odoc_model.Lang.Module.ModuleType (Odoc_model.Lang.ModuleType.Signature @@ -1261,9 +1312,15 @@ Ensure a substitution is taken into account during resolution: S); ihash = 3092406; ikey = "mt_S.m_M.mt_A.r_Root.p_None"}; - source_loc = None; doc = []; canonical = None; - expr = None}]; - compiled = true; removed = []; doc = []}); + source_loc = None; + doc = + {Odoc_model__.Comment.elements = []; + suppress_warnings = false}; + canonical = None; expr = None}]; + compiled = true; removed = []; + doc = + {Odoc_model__.Comment.elements = []; + suppress_warnings = false}}); canonical = None; hidden = false}); Odoc_model.Lang.Signature.Module (Odoc_model.Lang.Signature.Ordinary, @@ -1284,7 +1341,10 @@ Ensure a substitution is taken into account during resolution: ihash = 231492881; ikey = "mt_A.r_Root.p_None"}, N); ihash = 50158313; ikey = "m_N.mt_A.r_Root.p_None"}; - source_loc = None; doc = []; + source_loc = None; + doc = + {Odoc_model__.Comment.elements = []; + suppress_warnings = false}; type_ = Odoc_model.Lang.Module.ModuleType (Odoc_model.Lang.ModuleType.Path @@ -1316,7 +1376,9 @@ Ensure a substitution is taken into account during resolution: ikey = "m_M.mt_A.r_Root.p_None"}, S)))}); canonical = None; hidden = false})]; - compiled = true; removed = []; doc = []})}; + compiled = true; removed = []; + doc = + {Odoc_model__.Comment.elements = []; suppress_warnings = false}})}; Odoc_model.Lang.Signature.Module (Odoc_model.Lang.Signature.Ordinary, {Odoc_model.Lang.Module.id = {Odoc_model__Paths_types.iv = @@ -1326,19 +1388,12 @@ Ensure a substitution is taken into account during resolution: (Some {Odoc_model__Paths_types.iv = `Page (None, None); ihash = 236059787; ikey = "p_None"}, - Root); - ihash = 818126955; - ikey = "r_Root.p_"... (* string length 13; truncated *)}, - B); - ihash = 814134997; - ikey = "m_B.r_Ro"... (* string length 17; truncated *)}; - source_loc = None; doc = []; - type_ = - Odoc_model.Lang.Module.ModuleType - (Odoc_model.Lang.ModuleType.Signature - {Odoc_model.Lang.Signature.items = ...; compiled = ...; - removed = ...; doc = ...}); - canonical = ...; hidden = ...}); + ...); + ihash = ...; ikey = ...}, + ...); + ihash = ...; ikey = ...}; + source_loc = ...; doc = ...; type_ = ...; canonical = ...; + hidden = ...}); ...]; compiled = ...; removed = ...; doc = ...}; expansion = ...; linked = ...; source_loc = ...; canonical = ...} @@ -1386,7 +1441,9 @@ Ensure a destructive substitution is taken into account during resolution: ihash = 818126955; ikey = "r_Root.p_None"}, A); ihash = 231492881; ikey = "mt_A.r_Root.p_None"}; - source_loc = None; doc = []; canonical = None; + source_loc = None; + doc = {Odoc_model__.Comment.elements = []; suppress_warnings = false}; + canonical = None; expr = Some (Odoc_model.Lang.ModuleType.Signature @@ -1410,7 +1467,10 @@ Ensure a destructive substitution is taken into account during resolution: ihash = 231492881; ikey = "mt_A.r_Root.p_None"}, M); ihash = 564635453; ikey = "m_M.mt_A.r_Root.p_None"}; - source_loc = None; doc = []; + source_loc = None; + doc = + {Odoc_model__.Comment.elements = []; + suppress_warnings = false}; type_ = Odoc_model.Lang.Module.ModuleType (Odoc_model.Lang.ModuleType.Signature @@ -1442,9 +1502,15 @@ Ensure a destructive substitution is taken into account during resolution: S); ihash = 3092406; ikey = "mt_S.m_M.mt_A.r_Root.p_None"}; - source_loc = None; doc = []; canonical = None; - expr = None}]; - compiled = true; removed = []; doc = []}); + source_loc = None; + doc = + {Odoc_model__.Comment.elements = []; + suppress_warnings = false}; + canonical = None; expr = None}]; + compiled = true; removed = []; + doc = + {Odoc_model__.Comment.elements = []; + suppress_warnings = false}}); canonical = None; hidden = false}); Odoc_model.Lang.Signature.Module (Odoc_model.Lang.Signature.Ordinary, @@ -1465,7 +1531,10 @@ Ensure a destructive substitution is taken into account during resolution: ihash = 231492881; ikey = "mt_A.r_Root.p_None"}, N); ihash = 50158313; ikey = "m_N.mt_A.r_Root.p_None"}; - source_loc = None; doc = []; + source_loc = None; + doc = + {Odoc_model__.Comment.elements = []; + suppress_warnings = false}; type_ = Odoc_model.Lang.Module.ModuleType (Odoc_model.Lang.ModuleType.Path @@ -1497,7 +1566,9 @@ Ensure a destructive substitution is taken into account during resolution: ikey = "m_M.mt_A.r_Root.p_None"}, S)))}); canonical = None; hidden = false})]; - compiled = true; removed = []; doc = []})}; + compiled = true; removed = []; + doc = + {Odoc_model__.Comment.elements = []; suppress_warnings = false}})}; Odoc_model.Lang.Signature.Module (Odoc_model.Lang.Signature.Ordinary, {Odoc_model.Lang.Module.id = {Odoc_model__Paths_types.iv = @@ -1507,19 +1578,12 @@ Ensure a destructive substitution is taken into account during resolution: (Some {Odoc_model__Paths_types.iv = `Page (None, None); ihash = 236059787; ikey = "p_None"}, - Root); - ihash = 818126955; - ikey = "r_Root.p_"... (* string length 13; truncated *)}, - B); - ihash = 814134997; - ikey = "m_B.r_Ro"... (* string length 17; truncated *)}; - source_loc = None; doc = []; - type_ = - Odoc_model.Lang.Module.ModuleType - (Odoc_model.Lang.ModuleType.Signature - {Odoc_model.Lang.Signature.items = ...; compiled = ...; - removed = ...; doc = ...}); - canonical = ...; hidden = ...}); + ...); + ihash = ...; ikey = ...}, + ...); + ihash = ...; ikey = ...}; + source_loc = ...; doc = ...; type_ = ...; canonical = ...; + hidden = ...}); ...]; compiled = ...; removed = ...; doc = ...}; expansion = ...; linked = ...; source_loc = ...; canonical = ...} @@ -1562,7 +1626,8 @@ Resolve a module alias: ihash = 818126955; ikey = "r_Root.p_None"}, A); ihash = 353272258; ikey = "m_A.r_Root.p_None"}; - source_loc = None; doc = []; + source_loc = None; + doc = {Odoc_model__.Comment.elements = []; suppress_warnings = false}; type_ = Odoc_model.Lang.Module.ModuleType (Odoc_model.Lang.ModuleType.Signature @@ -1586,12 +1651,18 @@ Resolve a module alias: ihash = 353272258; ikey = "m_A.r_Root.p_None"}, t); ihash = 394964294; ikey = "t_t.m_A.r_Root.p_None"}; - source_loc = None; doc = []; canonical = None; + source_loc = None; + doc = + {Odoc_model__.Comment.elements = []; + suppress_warnings = false}; + canonical = None; equation = {Odoc_model.Lang.TypeDecl.Equation.params = []; private_ = false; manifest = None; constraints = []}; representation = None})]; - compiled = true; removed = []; doc = []}); + compiled = true; removed = []; + doc = + {Odoc_model__.Comment.elements = []; suppress_warnings = false}}); canonical = None; hidden = false}); Odoc_model.Lang.Signature.Module (Odoc_model.Lang.Signature.Ordinary, {Odoc_model.Lang.Module.id = @@ -1606,7 +1677,8 @@ Resolve a module alias: ihash = 818126955; ikey = "r_Root.p_None"}, B); ihash = 814134997; ikey = "m_B.r_Root.p_None"}; - source_loc = None; doc = []; + source_loc = None; + doc = {Odoc_model__.Comment.elements = []; suppress_warnings = false}; type_ = Odoc_model.Lang.Module.Alias (`Resolved @@ -1637,7 +1709,9 @@ Resolve a module alias: ihash = 818126955; ikey = "r_Root.p_None"}, t); ihash = 1016576344; ikey = "t_t.r_Root.p_None"}; - source_loc = None; doc = []; canonical = None; + source_loc = None; + doc = {Odoc_model__.Comment.elements = []; suppress_warnings = false}; + canonical = None; equation = {Odoc_model.Lang.TypeDecl.Equation.params = []; private_ = false; manifest = @@ -1669,18 +1743,15 @@ Resolve a module alias: `Page (None, None); ihash = 236059787; ikey = "p_None"}, Root); - ihash = 818126955; - ikey = - "r_Root.p"... (* string length 13; truncated *)}, - B); - ihash = 814134997; - ikey = - "m_B.r_Ro"... (* string length 17; truncated *)}, - false)), - t)), - [])); - constraints = []}; - representation = None})]; + ihash = ...; ikey = ...}, + ...); + ihash = ...; ikey = ...}, + ...)), + ...)), + ...)); + constraints = ...}; + representation = ...}); + ...]; compiled = ...; removed = ...; doc = ...}; expansion = ...; linked = ...; source_loc = ...; canonical = ...} ``` @@ -1723,7 +1794,8 @@ Resolve a module alias: ihash = 818126955; ikey = "r_Root.p_None"}, A); ihash = 353272258; ikey = "m_A.r_Root.p_None"}; - source_loc = None; doc = []; + source_loc = None; + doc = {Odoc_model__.Comment.elements = []; suppress_warnings = false}; type_ = Odoc_model.Lang.Module.ModuleType (Odoc_model.Lang.ModuleType.Signature @@ -1747,12 +1819,18 @@ Resolve a module alias: ihash = 353272258; ikey = "m_A.r_Root.p_None"}, t); ihash = 394964294; ikey = "t_t.m_A.r_Root.p_None"}; - source_loc = None; doc = []; canonical = None; + source_loc = None; + doc = + {Odoc_model__.Comment.elements = []; + suppress_warnings = false}; + canonical = None; equation = {Odoc_model.Lang.TypeDecl.Equation.params = []; private_ = false; manifest = None; constraints = []}; representation = None})]; - compiled = true; removed = []; doc = []}); + compiled = true; removed = []; + doc = + {Odoc_model__.Comment.elements = []; suppress_warnings = false}}); canonical = None; hidden = false}); Odoc_model.Lang.Signature.Module (Odoc_model.Lang.Signature.Ordinary, {Odoc_model.Lang.Module.id = @@ -1767,7 +1845,8 @@ Resolve a module alias: ihash = 818126955; ikey = "r_Root.p_None"}, B); ihash = 814134997; ikey = "m_B.r_Root.p_None"}; - source_loc = None; doc = []; + source_loc = None; + doc = {Odoc_model__.Comment.elements = []; suppress_warnings = false}; type_ = Odoc_model.Lang.Module.Alias (`Resolved @@ -1798,7 +1877,8 @@ Resolve a module alias: ihash = 818126955; ikey = "r_Root.p_None"}, C); ihash = 43786577; ikey = "m_C.r_Root.p_None"}; - source_loc = None; doc = []; + source_loc = None; + doc = {Odoc_model__.Comment.elements = []; suppress_warnings = false}; type_ = Odoc_model.Lang.Module.Alias (`Resolved @@ -1826,22 +1906,18 @@ Resolve a module alias: `Page (None, None); ihash = 236059787; ikey = "p_None"}, Root); - ihash = 818126955; ikey = "r_Root.p_None"}, + ihash = 818126955; + ikey = + "r_Root.p"... (* string length 13; truncated *)}, B); ihash = 814134997; - ikey = - "m_B.r_Root.p"... (* string length 17; truncated *)}, + ikey = "m_B.r_Ro"... (* string length 17; truncated *)}, false))), None); - canonical = None; hidden = false}); - Odoc_model.Lang.Signature.Type (Odoc_model.Lang.Signature.Ordinary, - {Odoc_model.Lang.TypeDecl.id = - {Odoc_model__Paths_types.iv = `Type ...; ihash = ...; ikey = ...}; - source_loc = ...; doc = ...; canonical = ...; equation = ...; - representation = ...}); - ...]; - compiled = ...; removed = ...; doc = ...}; - expansion = ...; linked = ...; source_loc = ...; canonical = ...} + canonical = ...; hidden = ...}); + ...]; + compiled = ...; removed = ...; doc = ...}; + expansion = ...; linked = ...; source_loc = ...; canonical = ...} ``` Resolve a functor: @@ -1885,7 +1961,9 @@ Resolve a functor: ihash = 818126955; ikey = "r_Root.p_None"}, S); ihash = 527535255; ikey = "mt_S.r_Root.p_None"}; - source_loc = None; doc = []; canonical = None; + source_loc = None; + doc = {Odoc_model__.Comment.elements = []; suppress_warnings = false}; + canonical = None; expr = Some (Odoc_model.Lang.ModuleType.Signature @@ -1909,12 +1987,18 @@ Resolve a functor: ihash = 527535255; ikey = "mt_S.r_Root.p_None"}, t); ihash = 130637260; ikey = "t_t.mt_S.r_Root.p_None"}; - source_loc = None; doc = []; canonical = None; + source_loc = None; + doc = + {Odoc_model__.Comment.elements = []; + suppress_warnings = false}; + canonical = None; equation = {Odoc_model.Lang.TypeDecl.Equation.params = []; private_ = false; manifest = None; constraints = []}; representation = None})]; - compiled = true; removed = []; doc = []})}; + compiled = true; removed = []; + doc = + {Odoc_model__.Comment.elements = []; suppress_warnings = false}})}; Odoc_model.Lang.Signature.Module (Odoc_model.Lang.Signature.Ordinary, {Odoc_model.Lang.Module.id = {Odoc_model__Paths_types.iv = @@ -1928,7 +2012,8 @@ Resolve a functor: ihash = 818126955; ikey = "r_Root.p_None"}, F); ihash = 748202139; ikey = "m_F.r_Root.p_None"}; - source_loc = None; doc = []; + source_loc = None; + doc = {Odoc_model__.Comment.elements = []; suppress_warnings = false}; type_ = Odoc_model.Lang.Module.ModuleType (Odoc_model.Lang.ModuleType.Functor @@ -1984,13 +2069,20 @@ Resolve a functor: t); ihash = 1065278958; ikey = "t_t.p_X.m_F.r_Root.p_None"}; - source_loc = None; doc = []; canonical = None; + source_loc = None; + doc = + {Odoc_model__.Comment.elements = []; + suppress_warnings = false}; + canonical = None; equation = {Odoc_model.Lang.TypeDecl.Equation.params = []; private_ = false; manifest = None; constraints = []}; representation = None})]; - compiled = true; removed = []; doc = []}); + compiled = true; removed = []; + doc = + {Odoc_model__.Comment.elements = []; + suppress_warnings = false}}); p_path = `Resolved (`Identifier @@ -2003,22 +2095,12 @@ Resolve a functor: `Page (None, None); ihash = 236059787; ikey = "p_None"}, Root); - ihash = 818126955; ikey = "r_Root.p_None"}, + ihash = 818126955; + ikey = + "r_Root.p"... (* string length 13; truncated *)}, S); - ihash = 527535255; - ikey = - "mt_S.r_Root"... (* string length 18; truncated *)})}}, - Odoc_model.Lang.ModuleType.Functor - (Odoc_model.Lang.FunctorParameter.Named - {Odoc_model.Lang.FunctorParameter.id = - {Odoc_model__Paths_types.iv = - `Parameter - ({Odoc_model__Paths_types.iv = ...; ihash = ...; - ikey = ...}, - ...); - ihash = ...; ikey = ...}; - expr = ...}, - ...))); + ihash = 527535255; ikey = ...})}}, + ...)); canonical = ...; hidden = ...}); ...]; compiled = ...; removed = ...; doc = ...}; @@ -2088,7 +2170,9 @@ Resolve a functor: ihash = 818126955; ikey = "r_Root.p_None"}, S); ihash = 527535255; ikey = "mt_S.r_Root.p_None"}; - source_loc = None; doc = []; canonical = None; + source_loc = None; + doc = {Odoc_model__.Comment.elements = []; suppress_warnings = false}; + canonical = None; expr = Some (Odoc_model.Lang.ModuleType.Signature @@ -2112,12 +2196,18 @@ Resolve a functor: ihash = 527535255; ikey = "mt_S.r_Root.p_None"}, t); ihash = 130637260; ikey = "t_t.mt_S.r_Root.p_None"}; - source_loc = None; doc = []; canonical = None; + source_loc = None; + doc = + {Odoc_model__.Comment.elements = []; + suppress_warnings = false}; + canonical = None; equation = {Odoc_model.Lang.TypeDecl.Equation.params = []; private_ = false; manifest = None; constraints = []}; representation = None})]; - compiled = true; removed = []; doc = []})}; + compiled = true; removed = []; + doc = + {Odoc_model__.Comment.elements = []; suppress_warnings = false}})}; Odoc_model.Lang.Signature.ModuleType {Odoc_model.Lang.ModuleType.id = {Odoc_model__Paths_types.iv = @@ -2131,7 +2221,9 @@ Resolve a functor: ihash = 818126955; ikey = "r_Root.p_None"}, S1); ihash = 289200525; ikey = "mt_S1.r_Root.p_None"}; - source_loc = None; doc = []; canonical = None; + source_loc = None; + doc = {Odoc_model__.Comment.elements = []; suppress_warnings = false}; + canonical = None; expr = Some (Odoc_model.Lang.ModuleType.Functor @@ -2187,13 +2279,20 @@ Resolve a functor: t); ihash = 993900890; ikey = "t_t.p__.mt_S1.r_Root.p_None"}; - source_loc = None; doc = []; canonical = None; + source_loc = None; + doc = + {Odoc_model__.Comment.elements = []; + suppress_warnings = false}; + canonical = None; equation = {Odoc_model.Lang.TypeDecl.Equation.params = []; private_ = false; manifest = None; constraints = []}; representation = None})]; - compiled = true; removed = []; doc = []}); + compiled = true; removed = []; + doc = + {Odoc_model__.Comment.elements = []; + suppress_warnings = false}}); p_path = `Resolved (`Identifier @@ -2206,24 +2305,12 @@ Resolve a functor: `Page (None, None); ihash = 236059787; ikey = "p_None"}, Root); - ihash = 818126955; ikey = "r_Root.p_None"}, + ihash = 818126955; + ikey = + "r_Root.p"... (* string length 13; truncated *)}, S); - ihash = 527535255; - ikey = - "mt_S.r_Root"... (* string length 18; truncated *)})}}, - Odoc_model.Lang.ModuleType.Path - {Odoc_model.Lang.ModuleType.p_expansion = - Some - (Odoc_model.Lang.ModuleType.Signature - {Odoc_model.Lang.Signature.items = - [Odoc_model.Lang.Signature.Type - (Odoc_model.Lang.Signature.Ordinary, - {Odoc_model.Lang.TypeDecl.id = ...; source_loc = ...; - doc = ...; canonical = ...; equation = ...; - representation = ...}); - ...]; - compiled = ...; removed = ...; doc = ...}); - p_path = ...}))}; + ihash = 527535255; ikey = ...})}}, + ...))}; ...]; compiled = ...; removed = ...; doc = ...}; expansion = ...; linked = ...; source_loc = ...; canonical = ...} @@ -2310,7 +2397,9 @@ Functor app nightmare: ihash = 818126955; ikey = "r_Root.p_None"}, Type); ihash = 359972898; ikey = "mt_Type.r_Root.p_None"}; - source_loc = None; doc = []; canonical = None; + source_loc = None; + doc = {Odoc_model__.Comment.elements = []; suppress_warnings = false}; + canonical = None; expr = Some (Odoc_model.Lang.ModuleType.Signature @@ -2333,8 +2422,14 @@ Functor app nightmare: ihash = 359972898; ikey = "mt_Type.r_Root.p_None"}, T); ihash = 1011869183; ikey = "mt_T.mt_Type.r_Root.p_None"}; - source_loc = None; doc = []; canonical = None; expr = None}]; - compiled = true; removed = []; doc = []})}; + source_loc = None; + doc = + {Odoc_model__.Comment.elements = []; + suppress_warnings = false}; + canonical = None; expr = None}]; + compiled = true; removed = []; + doc = + {Odoc_model__.Comment.elements = []; suppress_warnings = false}})}; Odoc_model.Lang.Signature.Module (Odoc_model.Lang.Signature.Ordinary, {Odoc_model.Lang.Module.id = {Odoc_model__Paths_types.iv = @@ -2348,7 +2443,8 @@ Functor app nightmare: ihash = 818126955; ikey = "r_Root.p_None"}, App); ihash = 855073208; ikey = "m_App.r_Root.p_None"}; - source_loc = None; doc = []; + source_loc = None; + doc = {Odoc_model__.Comment.elements = []; suppress_warnings = false}; type_ = Odoc_model.Lang.Module.ModuleType (Odoc_model.Lang.ModuleType.Functor @@ -2403,9 +2499,15 @@ Functor app nightmare: T); ihash = 167832761; ikey = "mt_T.p_T.m_App.r_Root.p_None"}; - source_loc = None; doc = []; canonical = None; - expr = None}]; - compiled = true; removed = []; doc = []}); + source_loc = None; + doc = + {Odoc_model__.Comment.elements = []; + suppress_warnings = false}; + canonical = None; expr = None}]; + compiled = true; removed = []; + doc = + {Odoc_model__.Comment.elements = []; + suppress_warnings = false}}); p_path = `Resolved (`Identifier @@ -2420,21 +2522,16 @@ Functor app nightmare: Root); ihash = 818126955; ikey = "r_Root.p_None"}, Type); - ihash = 359972898; ikey = "mt_Type.r_Root.p_None"})}}, + ihash = 359972898; + ikey = + "mt_Type.r_R"... (* string length 21; truncated *)})}}, Odoc_model.Lang.ModuleType.Functor (Odoc_model.Lang.FunctorParameter.Named {Odoc_model.Lang.FunctorParameter.id = {Odoc_model__Paths_types.iv = `Parameter - ({Odoc_model__Paths_types.iv = - `Result - {Odoc_model__Paths_types.iv = - `Module - ({Odoc_model__Paths_types.iv = `Root (...); - ihash = ...; ikey = ...}, - ...); - ihash = ...; ikey = ...}; - ihash = ...; ikey = ...}, + ({Odoc_model__Paths_types.iv = ...; ihash = ...; + ikey = ...}, ...); ihash = ...; ikey = ...}; expr = ...},