1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
# References to pages and items when page and module names are the same.
$ compile foo.mld foo.mli
$ jq_scan_references() { jq -c '.. | .["`Reference"]? | select(.) | .[0]'; }
Every references in `page-foo.odocl` should resolve:
$ odoc_print page-foo.odocl | jq_scan_references
{"`Resolved":{"`Identifier":{"`Root":[{"Some":{"`Page":["None","test"]}},"Foo"]}}}
{"`Resolved":{"`Identifier":{"`Root":[{"Some":{"`Page":["None","test"]}},"Foo"]}}}
{"`Resolved":{"`Identifier":{"`LeafPage":[{"Some":{"`Page":["None","test"]}},"foo"]}}}
Every references in `foo.odocl` should resolve:
$ odoc_print foo.odocl | jq_scan_references
{"`Resolved":{"`Identifier":{"`Root":[{"Some":{"`Page":["None","test"]}},"Foo"]}}}
{"`Resolved":{"`Identifier":{"`Root":[{"Some":{"`Page":["None","test"]}},"Foo"]}}}
{"`Resolved":{"`Identifier":{"`LeafPage":[{"Some":{"`Page":["None","test"]}},"foo"]}}}
|
