Skip to content

Commit

Permalink
Update mdx tests
Browse files Browse the repository at this point in the history
  • Loading branch information
gpetiot committed Dec 13, 2023
1 parent e6eec01 commit a623cd8
Showing 1 changed file with 11 additions and 10 deletions.
21 changes: 11 additions & 10 deletions src/xref2/test.md
Original file line number Diff line number Diff line change
Expand Up @@ -347,7 +347,7 @@ val module_ : Component.Module.t Component.Delayed.t =
private_ = false; manifest = None; constraints = []};
representation = None};
get = None})];
compiled = false; removed = []; doc = []});
items_map = <abstr>; compiled = false; removed = []; doc = []});
canonical = None; hidden = false};
get = None}
```
Expand All @@ -370,7 +370,7 @@ Odoc_xref2.Tools.Signature
private_ = false; manifest = None; constraints = []};
representation = None};
get = None})];
compiled = false; removed = []; doc = []}
items_map = <abstr>; compiled = false; removed = []; doc = []}
```

We're now in a position to verify the existence of the type `t` we're
Expand Down Expand Up @@ -514,7 +514,8 @@ val m : Component.Element.module_type option =
constraints = []};
representation = None};
get = None})];
compiled = false; removed = []; doc = []})};
items_map = <abstr>; compiled = false; removed = [];
doc = []})};
get = None});
Odoc_xref2.Component.Signature.Module (`LModule (B, 0),
Odoc_model.Lang.Signature.Ordinary,
Expand All @@ -528,7 +529,7 @@ val m : Component.Element.module_type option =
p_path = `Local (`LModuleType (N, 1), false)});
canonical = None; hidden = false};
get = None})];
compiled = false; removed = []; doc = []})}))
items_map = <abstr>; compiled = false; removed = []; doc = []})}))
```

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.
Expand Down Expand Up @@ -970,7 +971,7 @@ val sg : Tools.expansion =
p_path = `Dot (`Local (`LModule (M, 37), false), "S")});
canonical = None; hidden = false};
get = None})];
compiled = false; removed = []; doc = []}
items_map = <abstr>; compiled = false; removed = []; doc = []}
```

and we can see the module `M` is now an alias of the root module `B`. We can now
Expand Down Expand Up @@ -1024,7 +1025,7 @@ Odoc_xref2.Tools.Signature
private_ = false; manifest = None; constraints = []};
representation = None};
get = None})];
compiled = false; removed = []; doc = []}
items_map = <abstr>; compiled = false; removed = []; doc = []}
```

where we've correctly identified that a type `t` exists in the signature. The path in
Expand Down Expand Up @@ -1587,7 +1588,7 @@ val sg' : Tools.expansion =
"T")});
canonical = None; hidden = false};
get = None})];
compiled = false; removed = []; doc = []}
items_map = <abstr>; compiled = false; removed = []; doc = []}
# let sg' = get_ok @@ Tools.expansion_of_module env (Component.Delayed.get m);;
val sg' : Tools.expansion =
Odoc_xref2.Tools.Signature
Expand Down Expand Up @@ -1624,7 +1625,7 @@ val sg' : Tools.expansion =
"T")});
canonical = None; hidden = false};
get = None})];
compiled = false; removed = []; doc = []}
items_map = <abstr>; compiled = false; removed = []; doc = []}
# let sg' = get_ok @@ Tools.expansion_of_module env (Component.Delayed.get m);;
val sg' : Tools.expansion =
Odoc_xref2.Tools.Signature
Expand Down Expand Up @@ -1661,7 +1662,7 @@ val sg' : Tools.expansion =
"T")});
canonical = None; hidden = false};
get = None})];
compiled = false; removed = []; doc = []}
items_map = <abstr>; compiled = false; removed = []; doc = []}
# let sg' = get_ok @@ Tools.expansion_of_module env (Component.Delayed.get m);;
val sg' : Tools.expansion =
Odoc_xref2.Tools.Signature
Expand Down Expand Up @@ -1698,7 +1699,7 @@ val sg' : Tools.expansion =
"T")});
canonical = None; hidden = false};
get = None})];
compiled = false; removed = []; doc = []}
items_map = <abstr>; compiled = false; removed = []; doc = []}
```

```ocaml env=e1
Expand Down

0 comments on commit a623cd8

Please sign in to comment.