1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
|
$ ocamlc -c -bin-annot test.ml
$ odoc compile test.cmt
$ odoc link test.odoc
$ odoc html-generate -o html --indent test.odocl
$ odoc support-files -o html
We should have an 'Optional' argument (as opposed to a 'RawOptional' one)
$ odoc_print -r f test.odocl
{
"id": { "`Value": [ { "`Root": [ "None", "Test" ] }, "f" ] },
"source_loc": "None",
"doc": { "elements": [], "warnings_tag": "None" },
"type_": {
"Arrow": [
{ "Some": { "Optional": "optional" } },
{ "Constr": [ { "`Resolved": { "`CoreType": "int" } }, [] ] },
{
"Arrow": [
"None",
{ "Constr": [ { "`Resolved": { "`CoreType": "unit" } }, [] ] },
{ "Var": "a" }
]
}
]
},
"value": "Abstract"
}
Harder case contains a "RawOptional":
$ odoc_print -r g test.odocl
{
"id": { "`Value": [ { "`Root": [ "None", "Test" ] }, "g" ] },
"source_loc": "None",
"doc": { "elements": [], "warnings_tag": "None" },
"type_": {
"Arrow": [
{ "Some": { "RawOptional": "optional" } },
{
"Constr": [
{
"`Resolved": {
"`Identifier": {
"`Type": [ { "`Root": [ "None", "Test" ] }, "hard" ]
}
}
},
[]
]
},
{
"Arrow": [
"None",
{ "Constr": [ { "`Resolved": { "`CoreType": "unit" } }, [] ] },
{ "Var": "a" }
]
}
]
},
"value": "Abstract"
}
|
