this repo has no description
Add missing ';;' into Mdx files
Mdx 1.11.0 requires every top-level phrases to end with ';;', like the
real top-level.
authored by
Jules Aguillon
and committed by
+219
-219
+1
-1
src/xref2/notes.md
+1
-1
src/xref2/notes.md
+2
-2
src/xref2/paths.md
+2
-2
src/xref2/paths.md
···
258
258
```
259
259
260
260
```ocaml env=e1
261
-
# let sg = Common.compile_signature (Common.signature_of_mli_string example)
261
+
# let sg = Common.compile_signature (Common.signature_of_mli_string example) ;;
262
262
val sg : Odoc_model.Lang.Signature.t =
263
263
{Odoc_model.Lang.Signature.items =
264
264
[Odoc_model.Lang.Signature.ModuleType
···
386
386
path as this `` `Subst `` constructor:
387
387
388
388
```ocaml env=e1
389
-
# Common.LangUtils.Lens.(get (type_constr_path "t") sg)
389
+
# Common.LangUtils.Lens.(get (type_constr_path "t") sg) ;;
390
390
- : Odoc_model.Paths.Path.Type.t =
391
391
`Resolved
392
392
(`Type
+7
-7
src/xref2/test.md
+7
-7
src/xref2/test.md
···
148
148
and using this lens on our original signature we obtain:
149
149
150
150
```ocaml env=e1
151
-
# Common.LangUtils.Lens.get u_manifest sg
151
+
# Common.LangUtils.Lens.get u_manifest sg ;;
152
152
- : Odoc_model.Lang.TypeExpr.t option =
153
153
Some
154
154
(Odoc_model.Lang.TypeExpr.Constr
···
227
227
to identify precisely. So the manifest of `u` is now:
228
228
229
229
```ocaml env=e1
230
-
# Common.LangUtils.Lens.get u_manifest sg
230
+
# Common.LangUtils.Lens.get u_manifest sg ;;
231
231
- : Odoc_model.Lang.TypeExpr.t option =
232
232
Some
233
233
(Odoc_model.Lang.TypeExpr.Constr
···
444
444
`A`:
445
445
446
446
```ocaml env=e1
447
-
# Common.LangUtils.Lens.get u_manifest sg
447
+
# Common.LangUtils.Lens.get u_manifest sg ;;
448
448
- : Odoc_model.Lang.TypeExpr.t option =
449
449
Some
450
450
(Odoc_model.Lang.TypeExpr.Constr
···
574
574
Let's look at `t`'s manifest:
575
575
576
576
```ocaml env=e1
577
-
# Common.LangUtils.Lens.get t_manifest resolved
577
+
# Common.LangUtils.Lens.get t_manifest resolved ;;
578
578
- : Odoc_model.Lang.TypeExpr.t option =
579
579
Some
580
580
(Odoc_model.Lang.TypeExpr.Constr
···
612
612
```
613
613
614
614
```ocaml env=e1
615
-
# Common.LangUtils.Lens.get t_manifest resolved
615
+
# Common.LangUtils.Lens.get t_manifest resolved ;;
616
616
- : Odoc_model.Lang.TypeExpr.t option =
617
617
Some
618
618
(Odoc_model.Lang.TypeExpr.Constr
···
1572
1572
```
1573
1573
1574
1574
```ocaml env=e1
1575
-
# Link.signature Env.empty id sg
1575
+
# Link.signature Env.empty id sg ;;
1576
1576
- : Odoc_model.Lang.Signature.t =
1577
1577
{Odoc_model.Lang.Signature.items =
1578
1578
[Odoc_model.Lang.Signature.ModuleType
···
1651
1651
```
1652
1652
1653
1653
```ocaml env=e1
1654
-
# Common.LangUtils.Lens.get module_M_expansion expanded
1654
+
# Common.LangUtils.Lens.get module_M_expansion expanded ;;
1655
1655
- : Odoc_model.Lang.ModuleType.expr =
1656
1656
Odoc_model.Lang.ModuleType.Path
1657
1657
{Odoc_model.Lang.ModuleType.p_expansion =
+191
-191
test/xref2/refs/refs.md
+191
-191
test/xref2/refs/refs.md
···
89
89
Explicit, root:
90
90
91
91
```ocaml
92
-
# resolve_ref "module:M"
92
+
# resolve_ref "module:M" ;;
93
93
- : ref = `Identifier (`Module (`Root (Some (`Page (None, None)), Root), M))
94
-
# resolve_ref "module:M.N"
94
+
# resolve_ref "module:M.N" ;;
95
95
- : ref =
96
96
`Module
97
97
(`Identifier (`Module (`Root (Some (`Page (None, None)), Root), M)), N)
98
-
# resolve_ref "val:f1"
98
+
# resolve_ref "val:f1" ;;
99
99
- : ref = `Identifier (`Value (`Root (Some (`Page (None, None)), Root), f1))
100
-
# resolve_ref "type:t1"
100
+
# resolve_ref "type:t1" ;;
101
101
- : ref = `Identifier (`Type (`Root (Some (`Page (None, None)), Root), t1))
102
-
# resolve_ref "module-type:T1"
102
+
# resolve_ref "module-type:T1" ;;
103
103
- : ref =
104
104
`Identifier (`ModuleType (`Root (Some (`Page (None, None)), Root), T1))
105
-
# resolve_ref "exception:E1"
105
+
# resolve_ref "exception:E1" ;;
106
106
- : ref =
107
107
`Identifier (`Exception (`Root (Some (`Page (None, None)), Root), E1))
108
-
# resolve_ref "constructor:C1"
108
+
# resolve_ref "constructor:C1" ;;
109
109
- : ref =
110
110
`Identifier
111
111
(`Constructor (`Type (`Root (Some (`Page (None, None)), Root), t1), C1))
112
-
# resolve_ref "val:e1"
112
+
# resolve_ref "val:e1" ;;
113
113
- : ref = `Identifier (`Value (`Root (Some (`Page (None, None)), Root), e1))
114
-
# resolve_ref "class:c1"
114
+
# resolve_ref "class:c1" ;;
115
115
- : ref = `Identifier (`Class (`Root (Some (`Page (None, None)), Root), c1))
116
-
# resolve_ref "class-type:ct1"
116
+
# resolve_ref "class-type:ct1" ;;
117
117
- : ref =
118
118
`Identifier (`ClassType (`Root (Some (`Page (None, None)), Root), ct1))
119
-
# resolve_ref "type:x1"
119
+
# resolve_ref "type:x1" ;;
120
120
- : ref = `Identifier (`Type (`Root (Some (`Page (None, None)), Root), x1))
121
-
# resolve_ref "constructor:X1" (* X1 is an extension constructor *)
121
+
# resolve_ref "constructor:X1" (* X1 is an extension constructor *) ;;
122
122
Exception: Failure "resolve_reference: Couldn't find \"X1\"".
123
-
# resolve_ref "extension:X1"
123
+
# resolve_ref "extension:X1" ;;
124
124
- : ref =
125
125
`Identifier (`Extension (`Root (Some (`Page (None, None)), Root), X1))
126
-
# resolve_ref "method:c1.m1"
126
+
# resolve_ref "method:c1.m1" ;;
127
127
- : ref =
128
128
`Method
129
129
(`Identifier (`Class (`Root (Some (`Page (None, None)), Root), c1)), m1)
130
-
# resolve_ref "instance-variable:c1.v1"
130
+
# resolve_ref "instance-variable:c1.v1" ;;
131
131
- : ref =
132
132
`InstanceVariable
133
133
(`Identifier (`Class (`Root (Some (`Page (None, None)), Root), c1)), v1)
134
-
# resolve_ref "method:ct1.tm1" (* ct1 is a class type *)
134
+
# resolve_ref "method:ct1.tm1" (* ct1 is a class type *) ;;
135
135
- : ref =
136
136
`Method
137
137
(`Identifier (`ClassType (`Root (Some (`Page (None, None)), Root), ct1)),
138
138
tm1)
139
-
# resolve_ref "instance-variable:ct1.tv1"
139
+
# resolve_ref "instance-variable:ct1.tv1" ;;
140
140
- : ref =
141
141
`InstanceVariable
142
142
(`Identifier (`ClassType (`Root (Some (`Page (None, None)), Root), ct1)),
143
143
tv1)
144
-
# resolve_ref "field:rf1"
144
+
# resolve_ref "field:rf1" ;;
145
145
- : ref =
146
146
`Identifier
147
147
(`Field (`Type (`Root (Some (`Page (None, None)), Root), r1), rf1))
148
-
# resolve_ref "field:r1.rf1"
148
+
# resolve_ref "field:r1.rf1" ;;
149
149
- : ref =
150
150
`Field
151
151
(`Identifier (`Type (`Root (Some (`Page (None, None)), Root), r1)), rf1)
152
-
# resolve_ref "section:L1"
152
+
# resolve_ref "section:L1" ;;
153
153
- : ref = `Identifier (`Label (`Root (Some (`Page (None, None)), Root), L1))
154
154
```
155
155
156
156
Explicit, in sig:
157
157
158
158
```ocaml
159
-
# resolve_ref "val:M.f2"
159
+
# resolve_ref "val:M.f2" ;;
160
160
- : ref =
161
161
`Value
162
162
(`Identifier (`Module (`Root (Some (`Page (None, None)), Root), M)), f2)
163
-
# resolve_ref "type:M.t2"
163
+
# resolve_ref "type:M.t2" ;;
164
164
- : ref =
165
165
`Type
166
166
(`Identifier (`Module (`Root (Some (`Page (None, None)), Root), M)), t2)
167
-
# resolve_ref "module-type:M.T2"
167
+
# resolve_ref "module-type:M.T2" ;;
168
168
- : ref =
169
169
`ModuleType
170
170
(`Identifier (`Module (`Root (Some (`Page (None, None)), Root), M)), T2)
171
-
# resolve_ref "exception:M.E2"
171
+
# resolve_ref "exception:M.E2" ;;
172
172
- : ref =
173
173
`Exception
174
174
(`Identifier (`Module (`Root (Some (`Page (None, None)), Root), M)), E2)
175
-
# resolve_ref "constructor:M.C2" (* Not allowed by types *)
175
+
# resolve_ref "constructor:M.C2" (* Not allowed by types *) ;;
176
176
Exception: Failure "resolve_reference: Couldn't find \"M\"".
177
-
# resolve_ref "val:M.e2"
177
+
# resolve_ref "val:M.e2" ;;
178
178
- : ref =
179
179
`Value
180
180
(`Identifier (`Module (`Root (Some (`Page (None, None)), Root), M)), e2)
181
-
# resolve_ref "class:M.c2"
181
+
# resolve_ref "class:M.c2" ;;
182
182
- : ref =
183
183
`Class
184
184
(`Identifier (`Module (`Root (Some (`Page (None, None)), Root), M)), c2)
185
-
# resolve_ref "class-type:M.ct2"
185
+
# resolve_ref "class-type:M.ct2" ;;
186
186
- : ref =
187
187
`ClassType
188
188
(`Identifier (`Module (`Root (Some (`Page (None, None)), Root), M)), ct2)
189
-
# resolve_ref "type:M.x2"
189
+
# resolve_ref "type:M.x2" ;;
190
190
- : ref =
191
191
`Type
192
192
(`Identifier (`Module (`Root (Some (`Page (None, None)), Root), M)), x2)
193
-
# resolve_ref "constructor:M.X2" (* X2 is an extension constructor *)
193
+
# resolve_ref "constructor:M.X2" (* X2 is an extension constructor *) ;;
194
194
Exception: Failure "resolve_reference: Couldn't find \"M\"".
195
-
# resolve_ref "extension:M.X2"
195
+
# resolve_ref "extension:M.X2" ;;
196
196
- : ref =
197
197
`Extension
198
198
(`Identifier (`Module (`Root (Some (`Page (None, None)), Root), M)), X2)
199
-
# resolve_ref "method:M.c2.m2"
199
+
# resolve_ref "method:M.c2.m2" ;;
200
200
- : ref =
201
201
`Method
202
202
(`Class
203
203
(`Identifier (`Module (`Root (Some (`Page (None, None)), Root), M)), c2),
204
204
m2)
205
-
# resolve_ref "instance-variable:M.c2.v2"
205
+
# resolve_ref "instance-variable:M.c2.v2" ;;
206
206
- : ref =
207
207
`InstanceVariable
208
208
(`Class
209
209
(`Identifier (`Module (`Root (Some (`Page (None, None)), Root), M)), c2),
210
210
v2)
211
-
# resolve_ref "method:M.ct2.tm2" (* ct2 is a class type *)
211
+
# resolve_ref "method:M.ct2.tm2" (* ct2 is a class type *) ;;
212
212
- : ref =
213
213
`Method
214
214
(`ClassType
215
215
(`Identifier (`Module (`Root (Some (`Page (None, None)), Root), M)),
216
216
ct2),
217
217
tm2)
218
-
# resolve_ref "instance-variable:M.ct2.tv2"
218
+
# resolve_ref "instance-variable:M.ct2.tv2" ;;
219
219
- : ref =
220
220
`InstanceVariable
221
221
(`ClassType
222
222
(`Identifier (`Module (`Root (Some (`Page (None, None)), Root), M)),
223
223
ct2),
224
224
tv2)
225
-
# resolve_ref "field:M.rf2"
225
+
# resolve_ref "field:M.rf2" ;;
226
226
- : ref =
227
227
`Field
228
228
(`Type
229
229
(`Identifier (`Module (`Root (Some (`Page (None, None)), Root), M)), r2),
230
230
rf2)
231
-
# resolve_ref "field:M.r2.rf2"
231
+
# resolve_ref "field:M.r2.rf2" ;;
232
232
- : ref =
233
233
`Field
234
234
(`Type
235
235
(`Identifier (`Module (`Root (Some (`Page (None, None)), Root), M)), r2),
236
236
rf2)
237
-
# resolve_ref "section:M.L2"
237
+
# resolve_ref "section:M.L2" ;;
238
238
Exception: Failure "resolve_reference: Couldn't find label \"L2\"".
239
239
```
240
240
241
241
Implicit, root:
242
242
243
243
```ocaml
244
-
# resolve_ref "M"
244
+
# resolve_ref "M" ;;
245
245
- : ref = `Identifier (`Module (`Root (Some (`Page (None, None)), Root), M))
246
-
# resolve_ref "M.N"
246
+
# resolve_ref "M.N" ;;
247
247
- : ref =
248
248
`Module
249
249
(`Identifier (`Module (`Root (Some (`Page (None, None)), Root), M)), N)
250
-
# resolve_ref "f1"
250
+
# resolve_ref "f1" ;;
251
251
- : ref = `Identifier (`Value (`Root (Some (`Page (None, None)), Root), f1))
252
-
# resolve_ref "t1"
252
+
# resolve_ref "t1" ;;
253
253
- : ref = `Identifier (`Type (`Root (Some (`Page (None, None)), Root), t1))
254
-
# resolve_ref "T1"
254
+
# resolve_ref "T1" ;;
255
255
- : ref =
256
256
`Identifier (`ModuleType (`Root (Some (`Page (None, None)), Root), T1))
257
-
# resolve_ref "E1"
257
+
# resolve_ref "E1" ;;
258
258
- : ref =
259
259
`Identifier (`Exception (`Root (Some (`Page (None, None)), Root), E1))
260
-
# resolve_ref "C1"
260
+
# resolve_ref "C1" ;;
261
261
- : ref =
262
262
`Identifier
263
263
(`Constructor (`Type (`Root (Some (`Page (None, None)), Root), t1), C1))
264
-
# resolve_ref "e1"
264
+
# resolve_ref "e1" ;;
265
265
- : ref = `Identifier (`Value (`Root (Some (`Page (None, None)), Root), e1))
266
-
# resolve_ref "c1"
266
+
# resolve_ref "c1" ;;
267
267
- : ref = `Identifier (`Class (`Root (Some (`Page (None, None)), Root), c1))
268
-
# resolve_ref "ct1"
268
+
# resolve_ref "ct1" ;;
269
269
- : ref =
270
270
`Identifier (`ClassType (`Root (Some (`Page (None, None)), Root), ct1))
271
-
# resolve_ref "x1"
271
+
# resolve_ref "x1" ;;
272
272
- : ref = `Identifier (`Type (`Root (Some (`Page (None, None)), Root), x1))
273
-
# resolve_ref "X1"
273
+
# resolve_ref "X1" ;;
274
274
- : ref =
275
275
`Identifier (`Extension (`Root (Some (`Page (None, None)), Root), X1))
276
-
# resolve_ref "c1.m1"
276
+
# resolve_ref "c1.m1" ;;
277
277
- : ref =
278
278
`Method
279
279
(`Identifier (`Class (`Root (Some (`Page (None, None)), Root), c1)), m1)
280
-
# resolve_ref "c1.v1"
280
+
# resolve_ref "c1.v1" ;;
281
281
- : ref =
282
282
`InstanceVariable
283
283
(`Identifier (`Class (`Root (Some (`Page (None, None)), Root), c1)), v1)
284
-
# resolve_ref "ct1.tm1" (* ct1 is a class type *)
284
+
# resolve_ref "ct1.tm1" (* ct1 is a class type *) ;;
285
285
- : ref =
286
286
`Method
287
287
(`Identifier (`ClassType (`Root (Some (`Page (None, None)), Root), ct1)),
288
288
tm1)
289
-
# resolve_ref "ct1.tv1"
289
+
# resolve_ref "ct1.tv1" ;;
290
290
- : ref =
291
291
`InstanceVariable
292
292
(`Identifier (`ClassType (`Root (Some (`Page (None, None)), Root), ct1)),
293
293
tv1)
294
-
# resolve_ref "rf1"
294
+
# resolve_ref "rf1" ;;
295
295
- : ref =
296
296
`Identifier
297
297
(`Field (`Type (`Root (Some (`Page (None, None)), Root), r1), rf1))
298
-
# resolve_ref "r1.rf1"
298
+
# resolve_ref "r1.rf1" ;;
299
299
- : ref =
300
300
`Field
301
301
(`Identifier (`Type (`Root (Some (`Page (None, None)), Root), r1)), rf1)
302
-
# resolve_ref "L1"
302
+
# resolve_ref "L1" ;;
303
303
- : ref = `Identifier (`Label (`Root (Some (`Page (None, None)), Root), L1))
304
304
```
305
305
306
306
Implicit, in sig:
307
307
308
308
```ocaml
309
-
# resolve_ref "M.f2"
309
+
# resolve_ref "M.f2" ;;
310
310
- : ref =
311
311
`Value
312
312
(`Identifier (`Module (`Root (Some (`Page (None, None)), Root), M)), f2)
313
-
# resolve_ref "M.t2"
313
+
# resolve_ref "M.t2" ;;
314
314
- : ref =
315
315
`Type
316
316
(`Identifier (`Module (`Root (Some (`Page (None, None)), Root), M)), t2)
317
-
# resolve_ref "M.T2"
317
+
# resolve_ref "M.T2" ;;
318
318
- : ref =
319
319
`ModuleType
320
320
(`Identifier (`Module (`Root (Some (`Page (None, None)), Root), M)), T2)
321
-
# resolve_ref "M.E2"
321
+
# resolve_ref "M.E2" ;;
322
322
- : ref =
323
323
`Exception
324
324
(`Identifier (`Module (`Root (Some (`Page (None, None)), Root), M)), E2)
325
-
# resolve_ref "M.C2"
325
+
# resolve_ref "M.C2" ;;
326
326
- : ref =
327
327
`Constructor
328
328
(`Type
329
329
(`Identifier (`Module (`Root (Some (`Page (None, None)), Root), M)), t2),
330
330
C2)
331
-
# resolve_ref "M.e2"
331
+
# resolve_ref "M.e2" ;;
332
332
- : ref =
333
333
`Value
334
334
(`Identifier (`Module (`Root (Some (`Page (None, None)), Root), M)), e2)
335
-
# resolve_ref "M.c2"
335
+
# resolve_ref "M.c2" ;;
336
336
- : ref =
337
337
`Class
338
338
(`Identifier (`Module (`Root (Some (`Page (None, None)), Root), M)), c2)
339
-
# resolve_ref "M.ct2"
339
+
# resolve_ref "M.ct2" ;;
340
340
- : ref =
341
341
`ClassType
342
342
(`Identifier (`Module (`Root (Some (`Page (None, None)), Root), M)), ct2)
343
-
# resolve_ref "M.x2"
343
+
# resolve_ref "M.x2" ;;
344
344
- : ref =
345
345
`Type
346
346
(`Identifier (`Module (`Root (Some (`Page (None, None)), Root), M)), x2)
347
-
# resolve_ref "M.X2"
347
+
# resolve_ref "M.X2" ;;
348
348
- : ref =
349
349
`Extension
350
350
(`Identifier (`Module (`Root (Some (`Page (None, None)), Root), M)), X2)
351
-
# resolve_ref "M.c2.m2"
351
+
# resolve_ref "M.c2.m2" ;;
352
352
- : ref =
353
353
`Method
354
354
(`Class
355
355
(`Identifier (`Module (`Root (Some (`Page (None, None)), Root), M)), c2),
356
356
m2)
357
-
# resolve_ref "M.c2.v2"
357
+
# resolve_ref "M.c2.v2" ;;
358
358
- : ref =
359
359
`InstanceVariable
360
360
(`Class
361
361
(`Identifier (`Module (`Root (Some (`Page (None, None)), Root), M)), c2),
362
362
v2)
363
-
# resolve_ref "M.ct2.tm2" (* ct2 is a class type *)
363
+
# resolve_ref "M.ct2.tm2" (* ct2 is a class type *) ;;
364
364
- : ref =
365
365
`Method
366
366
(`ClassType
367
367
(`Identifier (`Module (`Root (Some (`Page (None, None)), Root), M)),
368
368
ct2),
369
369
tm2)
370
-
# resolve_ref "M.ct2.tv2"
370
+
# resolve_ref "M.ct2.tv2" ;;
371
371
- : ref =
372
372
`InstanceVariable
373
373
(`ClassType
374
374
(`Identifier (`Module (`Root (Some (`Page (None, None)), Root), M)),
375
375
ct2),
376
376
tv2)
377
-
# resolve_ref "M.rf2"
377
+
# resolve_ref "M.rf2" ;;
378
378
- : ref =
379
379
`Field
380
380
(`Type
381
381
(`Identifier (`Module (`Root (Some (`Page (None, None)), Root), M)), r2),
382
382
rf2)
383
-
# resolve_ref "M.r2.rf2"
383
+
# resolve_ref "M.r2.rf2" ;;
384
384
- : ref =
385
385
`Field
386
386
(`Type
387
387
(`Identifier (`Module (`Root (Some (`Page (None, None)), Root), M)), r2),
388
388
rf2)
389
-
# resolve_ref "M.L2"
389
+
# resolve_ref "M.L2" ;;
390
390
Exception: Failure "resolve_reference: Couldn't find \"L2\"".
391
391
```
392
392
393
393
Known kind:
394
394
395
395
```ocaml
396
-
# resolve_ref "module-M"
396
+
# resolve_ref "module-M" ;;
397
397
- : ref = `Identifier (`Module (`Root (Some (`Page (None, None)), Root), M))
398
-
# resolve_ref "module-M.N"
398
+
# resolve_ref "module-M.N" ;;
399
399
- : ref =
400
400
`Module
401
401
(`Identifier (`Module (`Root (Some (`Page (None, None)), Root), M)), N)
402
-
# resolve_ref "M.module-N"
402
+
# resolve_ref "M.module-N" ;;
403
403
- : ref =
404
404
`Module
405
405
(`Identifier (`Module (`Root (Some (`Page (None, None)), Root), M)), N)
406
-
# resolve_ref "module-M.module-N"
406
+
# resolve_ref "module-M.module-N" ;;
407
407
- : ref =
408
408
`Module
409
409
(`Identifier (`Module (`Root (Some (`Page (None, None)), Root), M)), N)
410
-
# resolve_ref "type-t1"
410
+
# resolve_ref "type-t1" ;;
411
411
- : ref = `Identifier (`Type (`Root (Some (`Page (None, None)), Root), t1))
412
-
# resolve_ref "module-type-T1"
412
+
# resolve_ref "module-type-T1" ;;
413
413
- : ref =
414
414
`Identifier (`ModuleType (`Root (Some (`Page (None, None)), Root), T1))
415
-
# resolve_ref "class-c1"
415
+
# resolve_ref "class-c1" ;;
416
416
- : ref = `Identifier (`Class (`Root (Some (`Page (None, None)), Root), c1))
417
-
# resolve_ref "class-type-ct1"
417
+
# resolve_ref "class-type-ct1" ;;
418
418
- : ref =
419
419
`Identifier (`ClassType (`Root (Some (`Page (None, None)), Root), ct1))
420
-
# resolve_ref "type-x1"
420
+
# resolve_ref "type-x1" ;;
421
421
- : ref = `Identifier (`Type (`Root (Some (`Page (None, None)), Root), x1))
422
-
# resolve_ref "class-c1.m1"
422
+
# resolve_ref "class-c1.m1" ;;
423
423
- : ref =
424
424
`Method
425
425
(`Identifier (`Class (`Root (Some (`Page (None, None)), Root), c1)), m1)
426
-
# resolve_ref "class-c1.v1"
426
+
# resolve_ref "class-c1.v1" ;;
427
427
- : ref =
428
428
`InstanceVariable
429
429
(`Identifier (`Class (`Root (Some (`Page (None, None)), Root), c1)), v1)
430
-
# resolve_ref "class-type-ct1.tm1"
430
+
# resolve_ref "class-type-ct1.tm1" ;;
431
431
- : ref =
432
432
`Method
433
433
(`Identifier (`ClassType (`Root (Some (`Page (None, None)), Root), ct1)),
434
434
tm1)
435
-
# resolve_ref "class-type-ct1.tv1"
435
+
# resolve_ref "class-type-ct1.tv1" ;;
436
436
- : ref =
437
437
`InstanceVariable
438
438
(`Identifier (`ClassType (`Root (Some (`Page (None, None)), Root), ct1)),
439
439
tv1)
440
-
# resolve_ref "field-rf1"
440
+
# resolve_ref "field-rf1" ;;
441
441
- : ref =
442
442
`Identifier
443
443
(`Field (`Type (`Root (Some (`Page (None, None)), Root), r1), rf1))
444
-
# resolve_ref "type-r1.rf1"
444
+
# resolve_ref "type-r1.rf1" ;;
445
445
- : ref =
446
446
`Field
447
447
(`Identifier (`Type (`Root (Some (`Page (None, None)), Root), r1)), rf1)
448
-
# resolve_ref "type-r1.field-rf1"
448
+
# resolve_ref "type-r1.field-rf1" ;;
449
449
- : ref =
450
450
`Field
451
451
(`Identifier (`Type (`Root (Some (`Page (None, None)), Root), r1)), rf1)
452
-
# resolve_ref "section-L1"
452
+
# resolve_ref "section-L1" ;;
453
453
- : ref = `Identifier (`Label (`Root (Some (`Page (None, None)), Root), L1))
454
-
# resolve_ref "M.type-t2"
454
+
# resolve_ref "M.type-t2" ;;
455
455
- : ref =
456
456
`Type
457
457
(`Identifier (`Module (`Root (Some (`Page (None, None)), Root), M)), t2)
458
-
# resolve_ref "M.module-type-T2"
458
+
# resolve_ref "M.module-type-T2" ;;
459
459
- : ref =
460
460
`ModuleType
461
461
(`Identifier (`Module (`Root (Some (`Page (None, None)), Root), M)), T2)
462
-
# resolve_ref "M.class-c2"
462
+
# resolve_ref "M.class-c2" ;;
463
463
- : ref =
464
464
`Class
465
465
(`Identifier (`Module (`Root (Some (`Page (None, None)), Root), M)), c2)
466
-
# resolve_ref "M.class-type-ct2"
466
+
# resolve_ref "M.class-type-ct2" ;;
467
467
- : ref =
468
468
`ClassType
469
469
(`Identifier (`Module (`Root (Some (`Page (None, None)), Root), M)), ct2)
470
-
# resolve_ref "M.type-x2"
470
+
# resolve_ref "M.type-x2" ;;
471
471
- : ref =
472
472
`Type
473
473
(`Identifier (`Module (`Root (Some (`Page (None, None)), Root), M)), x2)
474
-
# resolve_ref "M.class-c2.m2"
474
+
# resolve_ref "M.class-c2.m2" ;;
475
475
- : ref =
476
476
`Method
477
477
(`Class
478
478
(`Identifier (`Module (`Root (Some (`Page (None, None)), Root), M)), c2),
479
479
m2)
480
-
# resolve_ref "M.class-c2.v2"
480
+
# resolve_ref "M.class-c2.v2" ;;
481
481
- : ref =
482
482
`InstanceVariable
483
483
(`Class
484
484
(`Identifier (`Module (`Root (Some (`Page (None, None)), Root), M)), c2),
485
485
v2)
486
-
# resolve_ref "M.class-type-ct2.tm2"
486
+
# resolve_ref "M.class-type-ct2.tm2" ;;
487
487
- : ref =
488
488
`Method
489
489
(`ClassType
490
490
(`Identifier (`Module (`Root (Some (`Page (None, None)), Root), M)),
491
491
ct2),
492
492
tm2)
493
-
# resolve_ref "M.class-type-ct2.tv2"
493
+
# resolve_ref "M.class-type-ct2.tv2" ;;
494
494
- : ref =
495
495
`InstanceVariable
496
496
(`ClassType
497
497
(`Identifier (`Module (`Root (Some (`Page (None, None)), Root), M)),
498
498
ct2),
499
499
tv2)
500
-
# resolve_ref "M.type-r2.rf2"
500
+
# resolve_ref "M.type-r2.rf2" ;;
501
501
- : ref =
502
502
`Field
503
503
(`Type
504
504
(`Identifier (`Module (`Root (Some (`Page (None, None)), Root), M)), r2),
505
505
rf2)
506
-
# resolve_ref "M.r2.field-rf2"
506
+
# resolve_ref "M.r2.field-rf2" ;;
507
507
- : ref =
508
508
`Field
509
509
(`Type
510
510
(`Identifier (`Module (`Root (Some (`Page (None, None)), Root), M)), r2),
511
511
rf2)
512
-
# resolve_ref "M.type-r2.field-rf2"
512
+
# resolve_ref "M.type-r2.field-rf2" ;;
513
513
- : ref =
514
514
`Field
515
515
(`Type
516
516
(`Identifier (`Module (`Root (Some (`Page (None, None)), Root), M)), r2),
517
517
rf2)
518
-
# resolve_ref "M.field-rf2"
518
+
# resolve_ref "M.field-rf2" ;;
519
519
- : ref =
520
520
`Field
521
521
(`Type
522
522
(`Identifier (`Module (`Root (Some (`Page (None, None)), Root), M)), r2),
523
523
rf2)
524
-
# resolve_ref "M.section-L2"
524
+
# resolve_ref "M.section-L2" ;;
525
525
Exception: Failure "resolve_reference: Couldn't find label \"L2\"".
526
-
# resolve_ref "module-M.type-t2"
526
+
# resolve_ref "module-M.type-t2" ;;
527
527
- : ref =
528
528
`Type
529
529
(`Identifier (`Module (`Root (Some (`Page (None, None)), Root), M)), t2)
530
-
# resolve_ref "module-M.module-type-T2"
530
+
# resolve_ref "module-M.module-type-T2" ;;
531
531
- : ref =
532
532
`ModuleType
533
533
(`Identifier (`Module (`Root (Some (`Page (None, None)), Root), M)), T2)
534
-
# resolve_ref "module-M.class-c2"
534
+
# resolve_ref "module-M.class-c2" ;;
535
535
- : ref =
536
536
`Class
537
537
(`Identifier (`Module (`Root (Some (`Page (None, None)), Root), M)), c2)
538
-
# resolve_ref "module-M.class-type-ct2"
538
+
# resolve_ref "module-M.class-type-ct2" ;;
539
539
- : ref =
540
540
`ClassType
541
541
(`Identifier (`Module (`Root (Some (`Page (None, None)), Root), M)), ct2)
542
-
# resolve_ref "module-M.type-x2"
542
+
# resolve_ref "module-M.type-x2" ;;
543
543
- : ref =
544
544
`Type
545
545
(`Identifier (`Module (`Root (Some (`Page (None, None)), Root), M)), x2)
546
-
# resolve_ref "module-M.class-c2.m2"
546
+
# resolve_ref "module-M.class-c2.m2" ;;
547
547
- : ref =
548
548
`Method
549
549
(`Class
550
550
(`Identifier (`Module (`Root (Some (`Page (None, None)), Root), M)), c2),
551
551
m2)
552
-
# resolve_ref "module-M.class-c2.v2"
552
+
# resolve_ref "module-M.class-c2.v2" ;;
553
553
- : ref =
554
554
`InstanceVariable
555
555
(`Class
556
556
(`Identifier (`Module (`Root (Some (`Page (None, None)), Root), M)), c2),
557
557
v2)
558
-
# resolve_ref "module-M.class-type-ct2.tm2"
558
+
# resolve_ref "module-M.class-type-ct2.tm2" ;;
559
559
- : ref =
560
560
`Method
561
561
(`ClassType
562
562
(`Identifier (`Module (`Root (Some (`Page (None, None)), Root), M)),
563
563
ct2),
564
564
tm2)
565
-
# resolve_ref "module-M.class-type-ct2.tv2"
565
+
# resolve_ref "module-M.class-type-ct2.tv2" ;;
566
566
- : ref =
567
567
`InstanceVariable
568
568
(`ClassType
569
569
(`Identifier (`Module (`Root (Some (`Page (None, None)), Root), M)),
570
570
ct2),
571
571
tv2)
572
-
# resolve_ref "module-M.type-r2.rf2"
572
+
# resolve_ref "module-M.type-r2.rf2" ;;
573
573
- : ref =
574
574
`Field
575
575
(`Type
576
576
(`Identifier (`Module (`Root (Some (`Page (None, None)), Root), M)), r2),
577
577
rf2)
578
-
# resolve_ref "module-M.field-rf2"
578
+
# resolve_ref "module-M.field-rf2" ;;
579
579
- : ref =
580
580
`Field
581
581
(`Type
582
582
(`Identifier (`Module (`Root (Some (`Page (None, None)), Root), M)), r2),
583
583
rf2)
584
-
# resolve_ref "module-M.section-L2"
584
+
# resolve_ref "module-M.section-L2" ;;
585
585
Exception: Failure "resolve_reference: Couldn't find label \"L2\"".
586
-
# resolve_ref "module-M.field-rf2"
586
+
# resolve_ref "module-M.field-rf2" ;;
587
587
- : ref =
588
588
`Field
589
589
(`Type
···
594
594
Class and class type as type:
595
595
596
596
```ocaml
597
-
# resolve_ref "type:c1"
597
+
# resolve_ref "type:c1" ;;
598
598
- : ref = `Identifier (`Class (`Root (Some (`Page (None, None)), Root), c1))
599
-
# resolve_ref "type:ct1"
599
+
# resolve_ref "type:ct1" ;;
600
600
- : ref =
601
601
`Identifier (`ClassType (`Root (Some (`Page (None, None)), Root), ct1))
602
602
```
···
604
604
Constructors in type parent:
605
605
606
606
```ocaml
607
-
# resolve_ref "t1.C1"
607
+
# resolve_ref "t1.C1" ;;
608
608
- : ref =
609
609
`Constructor
610
610
(`Identifier (`Type (`Root (Some (`Page (None, None)), Root), t1)), C1)
611
-
# resolve_ref "constructor:t1.C1"
611
+
# resolve_ref "constructor:t1.C1" ;;
612
612
- : ref =
613
613
`Constructor
614
614
(`Identifier (`Type (`Root (Some (`Page (None, None)), Root), t1)), C1)
615
-
# resolve_ref "t1.constructor-C1"
615
+
# resolve_ref "t1.constructor-C1" ;;
616
616
- : ref =
617
617
`Constructor
618
618
(`Identifier (`Type (`Root (Some (`Page (None, None)), Root), t1)), C1)
619
-
# resolve_ref "constructor:type-t1.C1"
619
+
# resolve_ref "constructor:type-t1.C1" ;;
620
620
- : ref =
621
621
`Constructor
622
622
(`Identifier (`Type (`Root (Some (`Page (None, None)), Root), t1)), C1)
623
-
# resolve_ref "M.t2.C2"
623
+
# resolve_ref "M.t2.C2" ;;
624
624
- : ref =
625
625
`Constructor
626
626
(`Type
627
627
(`Identifier (`Module (`Root (Some (`Page (None, None)), Root), M)), t2),
628
628
C2)
629
-
# resolve_ref "constructor:M.t2.C2"
629
+
# resolve_ref "constructor:M.t2.C2" ;;
630
630
- : ref =
631
631
`Constructor
632
632
(`Type
633
633
(`Identifier (`Module (`Root (Some (`Page (None, None)), Root), M)), t2),
634
634
C2)
635
-
# resolve_ref "M.t2.constructor-C2"
635
+
# resolve_ref "M.t2.constructor-C2" ;;
636
636
- : ref =
637
637
`Constructor
638
638
(`Type
639
639
(`Identifier (`Module (`Root (Some (`Page (None, None)), Root), M)), t2),
640
640
C2)
641
-
# resolve_ref "constructor:M.type-t2.C2"
641
+
# resolve_ref "constructor:M.type-t2.C2" ;;
642
642
- : ref =
643
643
`Constructor
644
644
(`Type
···
665
665
```
666
666
667
667
```ocaml
668
-
# resolve_ref "M.module-N.t"
668
+
# resolve_ref "M.module-N.t" ;;
669
669
- : ref =
670
670
`Type
671
671
(`Module
672
672
(`Identifier (`Module (`Root (Some (`Page (None, None)), Root), M)), N),
673
673
t)
674
-
# resolve_ref "M.module-type-T.t"
674
+
# resolve_ref "M.module-type-T.t" ;;
675
675
- : ref =
676
676
`Type
677
677
(`ModuleType
678
678
(`Identifier (`Module (`Root (Some (`Page (None, None)), Root), M)), T),
679
679
t)
680
-
# resolve_ref "M.N.type-t"
680
+
# resolve_ref "M.N.type-t" ;;
681
681
- : ref =
682
682
`Type
683
683
(`Module
684
684
(`Identifier (`Module (`Root (Some (`Page (None, None)), Root), M)), N),
685
685
t)
686
-
# resolve_ref "M.T.type-t"
686
+
# resolve_ref "M.T.type-t" ;;
687
687
- : ref =
688
688
`Type
689
689
(`ModuleType
690
690
(`Identifier (`Module (`Root (Some (`Page (None, None)), Root), M)), T),
691
691
t)
692
-
# resolve_ref "type:M.N.t"
692
+
# resolve_ref "type:M.N.t" ;;
693
693
- : ref =
694
694
`Type
695
695
(`Module
696
696
(`Identifier (`Module (`Root (Some (`Page (None, None)), Root), M)), N),
697
697
t)
698
-
# resolve_ref "type:MT.t"
698
+
# resolve_ref "type:MT.t" ;;
699
699
- : ref =
700
700
`Type
701
701
(`Identifier (`ModuleType (`Root (Some (`Page (None, None)), Root), MT)),
···
719
719
720
720
<!-- $MDX version>=4.08 -->
721
721
```ocaml
722
-
# resolve_ref "s1"
722
+
# resolve_ref "s1" ;;
723
723
- : ref = `Identifier (`Type (`Root (Some (`Page (None, None)), Root), s1))
724
-
# resolve_ref "s1.rf1"
724
+
# resolve_ref "s1.rf1" ;;
725
725
Exception: Failure "resolve_reference: Couldn't find \"rf1\"".
726
-
# resolve_ref "M.s2"
726
+
# resolve_ref "M.s2" ;;
727
727
Exception: Failure "resolve_reference: Couldn't find \"s2\"".
728
-
# resolve_ref "M.s2.rf2"
728
+
# resolve_ref "M.s2.rf2" ;;
729
729
Exception: Failure "resolve_reference: Couldn't find \"s2\"".
730
730
```
731
731
···
748
748
```
749
749
750
750
```ocaml
751
-
# resolve_ref "A.t"
751
+
# resolve_ref "A.t" ;;
752
752
- : ref =
753
753
`Type (`Identifier (`Module (`Root (Some (`Page (None, None)), Root), A)), t)
754
-
# resolve_ref "B.t" (* get_module_path_modifiers is [`Aliased] *)
754
+
# resolve_ref "B.t" (* get_module_path_modifiers is [`Aliased] *) ;;
755
755
- : ref =
756
756
`Type
757
757
(`Alias
758
758
(`Identifier (`Module (`Root (Some (`Page (None, None)), Root), A)),
759
759
`Identifier (`Module (`Root (Some (`Page (None, None)), Root), B))),
760
760
t)
761
-
# resolve_ref "C.t"
761
+
# resolve_ref "C.t" ;;
762
762
Exception:
763
763
Failure
764
764
"resolve_reference: Parent_sig: Unexpanded `module type of` expression: module type of identifier((root Root).A, false)".
765
-
# resolve_ref "D.t"
765
+
# resolve_ref "D.t" ;;
766
766
- : ref =
767
767
`Type (`Identifier (`Module (`Root (Some (`Page (None, None)), Root), D)), t)
768
-
# resolve_ref "E.N.t"
768
+
# resolve_ref "E.N.t" ;;
769
769
- : ref =
770
770
`Type
771
771
(`Alias
···
791
791
```
792
792
793
793
```ocaml
794
-
# resolve_ref "type:M.cl" (* Type reference resolves to class *)
794
+
# resolve_ref "type:M.cl" (* Type reference resolves to class *) ;;
795
795
- : ref =
796
796
`Class
797
797
(`Identifier (`Module (`Root (Some (`Page (None, None)), Root), M)), cl)
798
-
# resolve_ref "type:M.clt"
798
+
# resolve_ref "type:M.clt" ;;
799
799
- : ref =
800
800
`ClassType
801
801
(`Identifier (`Module (`Root (Some (`Page (None, None)), Root), M)), clt)
802
-
# resolve_ref "type:cl" (* Root TType reference resolves to class *)
802
+
# resolve_ref "type:cl" (* Root TType reference resolves to class *) ;;
803
803
- : ref = `Identifier (`Class (`Root (Some (`Page (None, None)), Root), cl))
804
-
# resolve_ref "type:clt"
804
+
# resolve_ref "type:clt" ;;
805
805
- : ref =
806
806
`Identifier (`ClassType (`Root (Some (`Page (None, None)), Root), clt))
807
-
# resolve_ref "M.type-cl.m" (* Type label parent resolves to class *)
807
+
# resolve_ref "M.type-cl.m" (* Type label parent resolves to class *) ;;
808
808
- : ref =
809
809
`Method
810
810
(`Class
811
811
(`Identifier (`Module (`Root (Some (`Page (None, None)), Root), M)), cl),
812
812
m)
813
-
# resolve_ref "M.type-clt.m"
813
+
# resolve_ref "M.type-clt.m" ;;
814
814
- : ref =
815
815
`Method
816
816
(`ClassType
817
817
(`Identifier (`Module (`Root (Some (`Page (None, None)), Root), M)),
818
818
clt),
819
819
m)
820
-
# resolve_ref "type-cl.m" (* Root TType label parent resolves to class *)
820
+
# resolve_ref "type-cl.m" (* Root TType label parent resolves to class *) ;;
821
821
- : ref =
822
822
`Method
823
823
(`Identifier (`Class (`Root (Some (`Page (None, None)), Root), cl)), m)
824
-
# resolve_ref "type-clt.m"
824
+
# resolve_ref "type-clt.m" ;;
825
825
- : ref =
826
826
`Method
827
827
(`Identifier (`ClassType (`Root (Some (`Page (None, None)), Root), clt)),
828
828
m)
829
-
# resolve_ref "method:cl.m"
829
+
# resolve_ref "method:cl.m" ;;
830
830
- : ref =
831
831
`Method
832
832
(`Identifier (`Class (`Root (Some (`Page (None, None)), Root), cl)), m)
···
838
838
# let resolve_ref = resolve_ref_of_mli {|
839
839
class c : object method m : int end
840
840
type t = < m : int >
841
-
|}
841
+
|} ;;
842
842
val resolve_ref : string -> ref = <fun>
843
-
# resolve_ref "type-c.m"
843
+
# resolve_ref "type-c.m" ;;
844
844
- : ref =
845
845
`Method
846
846
(`Identifier (`Class (`Root (Some (`Page (None, None)), Root), c)), m)
847
-
# resolve_ref "type-c.method-m"
847
+
# resolve_ref "type-c.method-m" ;;
848
848
Exception:
849
849
Failure
850
850
"File \"\", line 0, characters 0-6:\nExpected 'class-', 'class-type-', or an unqualified reference.".
851
-
# resolve_ref "type-t.m"
851
+
# resolve_ref "type-t.m" ;;
852
852
Exception: Failure "resolve_reference: Couldn't find \"m\"".
853
-
# resolve_ref "type-t.method-m"
853
+
# resolve_ref "type-t.method-m" ;;
854
854
Exception:
855
855
Failure
856
856
"File \"\", line 0, characters 0-6:\nExpected 'class-', 'class-type-', or an unqualified reference.".
···
874
874
875
875
```ocaml
876
876
# (* Lookup a field but find a constructor *)
877
-
resolve_ref "M.field-C"
877
+
resolve_ref "M.field-C" ;;
878
878
Exception: Failure "resolve_reference: Couldn't find field \"C\"".
879
-
# resolve_ref "M.t.field-C"
879
+
# resolve_ref "M.t.field-C" ;;
880
880
Exception: Failure "resolve_reference: Couldn't find field \"C\"".
881
881
# (* Lookup a class but find a type *)
882
-
resolve_ref "M.class-t"
882
+
resolve_ref "M.class-t" ;;
883
883
Exception: Failure "resolve_reference: is of kind type but expected class".
884
884
# (* Lookup a constructor but find a field *)
885
-
resolve_ref "M.constructor-f"
885
+
resolve_ref "M.constructor-f" ;;
886
886
Exception: Failure "resolve_reference: Couldn't find \"M\"".
887
-
# resolve_ref "M.u.constructor-f"
887
+
# resolve_ref "M.u.constructor-f" ;;
888
888
Exception: Failure "resolve_reference: Couldn't find constructor \"f\"".
889
889
```
890
890
···
901
901
```
902
902
903
903
```ocaml
904
-
# resolve_ref "m" (* in env *)
904
+
# resolve_ref "m" (* in env *) ;;
905
905
Exception: Failure "resolve_reference: Couldn't find \"m\"".
906
-
# resolve_ref "method-m"
906
+
# resolve_ref "method-m" ;;
907
907
Exception: Failure "resolve_reference: Couldn't find \"m\"".
908
-
# resolve_ref "u.method-m" (* Parent is type in env *)
908
+
# resolve_ref "u.method-m" (* Parent is type in env *) ;;
909
909
Exception:
910
910
Failure "resolve_reference: is of kind type but expected class or class type".
911
-
# resolve_ref "M.method-m" (* Parent is sig *)
911
+
# resolve_ref "M.method-m" (* Parent is sig *) ;;
912
912
Exception:
913
913
Failure
914
914
"resolve_reference: is of kind signature but expected type or class or class type".
915
-
# resolve_ref "M.t.method-m"
915
+
# resolve_ref "M.t.method-m" ;;
916
916
Exception:
917
917
Failure "resolve_reference: is of kind type but expected class or class type".
918
-
# resolve_ref "c.constructor-C" (* Type in env but find class (parent of constructor is "datatype") *)
918
+
# resolve_ref "c.constructor-C" (* Type in env but find class (parent of constructor is "datatype") *) ;;
919
919
Exception: Failure "resolve_reference: Couldn't find \"c\"".
920
-
# resolve_ref "c.field-f" (* Field in class (parent of field is "label_parent") *)
920
+
# resolve_ref "c.field-f" (* Field in class (parent of field is "label_parent") *) ;;
921
921
Exception:
922
922
Failure "resolve_reference: is of kind class but expected signature or type".
923
923
```
···
960
960
Ambiguous in env:
961
961
962
962
```ocaml
963
-
# resolve_ref "t"
963
+
# resolve_ref "t" ;;
964
964
File "<test>":
965
965
Reference to 't' is ambiguous. Please specify its kind: val-t, type-t.
966
966
- : ref = `Identifier (`Value (`Root (Some (`Page (None, None)), Root), t))
967
-
# resolve_ref "X"
967
+
# resolve_ref "X" ;;
968
968
File "<test>":
969
969
Reference to 'X' is ambiguous. Please specify its kind: module-X, constructor-X.
970
970
- : ref = `Identifier (`Module (`Root (Some (`Page (None, None)), Root), X))
···
973
973
Ambiguous in sig:
974
974
975
975
```ocaml
976
-
# resolve_ref "X.u"
976
+
# resolve_ref "X.u" ;;
977
977
File "<test>":
978
978
Reference to 'u' is ambiguous. Please specify its kind: type-u, val-u.
979
979
- : ref =
980
980
`Type (`Identifier (`Module (`Root (Some (`Page (None, None)), Root), X)), u)
981
-
# resolve_ref "X.Y"
981
+
# resolve_ref "X.Y" ;;
982
982
File "<test>":
983
983
Reference to 'Y' is ambiguous. Please specify its kind: constructor-Y, module-Y.
984
984
- : ref =
···
986
986
(`Type
987
987
(`Identifier (`Module (`Root (Some (`Page (None, None)), Root), X)), u),
988
988
Y)
989
-
# resolve_ref "Everything_ambiguous_in_sig.t" (* Some kinds are missing: label, type subst (would be "type-") *)
989
+
# resolve_ref "Everything_ambiguous_in_sig.t" (* Some kinds are missing: label, type subst (would be "type-") *) ;;
990
990
File "<test>":
991
991
Reference to 't' is ambiguous. Please specify its kind: type-t, module-type-t, field-t, val-t, val-t.
992
992
- : ref =
···
996
996
(`Root (Some (`Page (None, None)), Root),
997
997
Everything_ambiguous_in_sig)),
998
998
t)
999
-
# resolve_ref "Everything_ambiguous_in_sig.T" (* Missing kind: module subst (would be "module-") *)
999
+
# resolve_ref "Everything_ambiguous_in_sig.T" (* Missing kind: module subst (would be "module-") *) ;;
1000
1000
File "<test>":
1001
1001
Reference to 'T' is ambiguous. Please specify its kind: module-T, exception-T, extension-T.
1002
1002
- : ref =
···
1011
1011
Unambiguous:
1012
1012
1013
1013
```ocaml
1014
-
# resolve_ref "type-t"
1014
+
# resolve_ref "type-t" ;;
1015
1015
- : ref = `Identifier (`Type (`Root (Some (`Page (None, None)), Root), t))
1016
-
# resolve_ref "val-t"
1016
+
# resolve_ref "val-t" ;;
1017
1017
- : ref = `Identifier (`Value (`Root (Some (`Page (None, None)), Root), t))
1018
-
# resolve_ref "constructor-X"
1018
+
# resolve_ref "constructor-X" ;;
1019
1019
- : ref =
1020
1020
`Identifier
1021
1021
(`Constructor (`Type (`Root (Some (`Page (None, None)), Root), t), X))
1022
-
# resolve_ref "module-X"
1022
+
# resolve_ref "module-X" ;;
1023
1023
- : ref = `Identifier (`Module (`Root (Some (`Page (None, None)), Root), X))
1024
-
# resolve_ref "X.type-u"
1024
+
# resolve_ref "X.type-u" ;;
1025
1025
- : ref =
1026
1026
`Type (`Identifier (`Module (`Root (Some (`Page (None, None)), Root), X)), u)
1027
-
# resolve_ref "X.val-u"
1027
+
# resolve_ref "X.val-u" ;;
1028
1028
- : ref =
1029
1029
`Value
1030
1030
(`Identifier (`Module (`Root (Some (`Page (None, None)), Root), X)), u)
1031
-
# resolve_ref "X.constructor-Y"
1031
+
# resolve_ref "X.constructor-Y" ;;
1032
1032
Exception: Failure "resolve_reference: Couldn't find \"X\"".
1033
-
# resolve_ref "X.module-Y"
1033
+
# resolve_ref "X.module-Y" ;;
1034
1034
- : ref =
1035
1035
`Module
1036
1036
(`Identifier (`Module (`Root (Some (`Page (None, None)), Root), X)), Y)
···
1039
1039
Unambiguous 2:
1040
1040
1041
1041
```ocaml
1042
-
# resolve_ref "type:t"
1042
+
# resolve_ref "type:t" ;;
1043
1043
- : ref = `Identifier (`Type (`Root (Some (`Page (None, None)), Root), t))
1044
-
# resolve_ref "val:t"
1044
+
# resolve_ref "val:t" ;;
1045
1045
- : ref = `Identifier (`Value (`Root (Some (`Page (None, None)), Root), t))
1046
-
# resolve_ref "constructor:X"
1046
+
# resolve_ref "constructor:X" ;;
1047
1047
- : ref =
1048
1048
`Identifier
1049
1049
(`Constructor (`Type (`Root (Some (`Page (None, None)), Root), t), X))
1050
-
# resolve_ref "module:X"
1050
+
# resolve_ref "module:X" ;;
1051
1051
- : ref = `Identifier (`Module (`Root (Some (`Page (None, None)), Root), X))
1052
-
# resolve_ref "type:X.u"
1052
+
# resolve_ref "type:X.u" ;;
1053
1053
- : ref =
1054
1054
`Type (`Identifier (`Module (`Root (Some (`Page (None, None)), Root), X)), u)
1055
-
# resolve_ref "val:X.u"
1055
+
# resolve_ref "val:X.u" ;;
1056
1056
- : ref =
1057
1057
`Value
1058
1058
(`Identifier (`Module (`Root (Some (`Page (None, None)), Root), X)), u)
1059
-
# resolve_ref "constructor:X.Y"
1059
+
# resolve_ref "constructor:X.Y" ;;
1060
1060
Exception: Failure "resolve_reference: Couldn't find \"X\"".
1061
-
# resolve_ref "module:X.Y"
1061
+
# resolve_ref "module:X.Y" ;;
1062
1062
- : ref =
1063
1063
`Module
1064
1064
(`Identifier (`Module (`Root (Some (`Page (None, None)), Root), X)), Y)
+13
-13
test/xref2/resolve/test.md
+13
-13
test/xref2/resolve/test.md
···
73
73
# test_resolve {|
74
74
type t
75
75
type u = t
76
-
|}
76
+
|} ;;
77
77
- : Odoc_model.Lang.Compilation_unit.t =
78
78
{Odoc_model.Lang.Compilation_unit.id =
79
79
`Root (Some (`Page (None, None)), Root);
···
181
181
type t
182
182
end
183
183
type u = M.t
184
-
|}
184
+
|} ;;
185
185
- : Odoc_model.Lang.Compilation_unit.t =
186
186
{Odoc_model.Lang.Compilation_unit.id =
187
187
`Root (Some (`Page (None, None)), Root);
···
276
276
end
277
277
module N : M
278
278
type u = N.t
279
-
|}
279
+
|} ;;
280
280
- : Odoc_model.Lang.Compilation_unit.t =
281
281
{Odoc_model.Lang.Compilation_unit.id =
282
282
`Root (Some (`Page (None, None)), Root);
···
378
378
end
379
379
module A : M
380
380
type u = A.N.t
381
-
|}
381
+
|} ;;
382
382
- : Odoc_model.Lang.Compilation_unit.t =
383
383
{Odoc_model.Lang.Compilation_unit.id =
384
384
`Root (Some (`Page (None, None)), Root);
···
557
557
end
558
558
module A : M
559
559
type u = A.B.t
560
-
|}
560
+
|} ;;
561
561
- : Odoc_model.Lang.Compilation_unit.t =
562
562
{Odoc_model.Lang.Compilation_unit.id =
563
563
`Root (Some (`Page (None, None)), Root);
···
706
706
end
707
707
module A : M
708
708
type u = A.X.B.t
709
-
|}
709
+
|} ;;
710
710
- : Odoc_model.Lang.Compilation_unit.t =
711
711
{Odoc_model.Lang.Compilation_unit.id =
712
712
`Root (Some (`Page (None, None)), Root);
···
857
857
module C : A with module M = B
858
858
859
859
type t = C.N.t
860
-
|}
860
+
|} ;;
861
861
- : Odoc_model.Lang.Compilation_unit.t =
862
862
{Odoc_model.Lang.Compilation_unit.id =
863
863
`Root (Some (`Page (None, None)), Root);
···
990
990
module C : A with module M := B
991
991
992
992
type t = C.N.t
993
-
|}
993
+
|} ;;
994
994
- : Odoc_model.Lang.Compilation_unit.t =
995
995
{Odoc_model.Lang.Compilation_unit.id =
996
996
`Root (Some (`Page (None, None)), Root);
···
1118
1118
end
1119
1119
module B = A
1120
1120
type t = B.t
1121
-
|}
1121
+
|} ;;
1122
1122
- : Odoc_model.Lang.Compilation_unit.t =
1123
1123
{Odoc_model.Lang.Compilation_unit.id =
1124
1124
`Root (Some (`Page (None, None)), Root);
···
1194
1194
module B = A
1195
1195
module C = B
1196
1196
type t = C.t
1197
-
|}
1197
+
|} ;;
1198
1198
- : Odoc_model.Lang.Compilation_unit.t =
1199
1199
{Odoc_model.Lang.Compilation_unit.id =
1200
1200
`Root (Some (`Page (None, None)), Root);
···
1291
1291
type y_t = Y.t
1292
1292
type f_t = x_t
1293
1293
end
1294
-
|}
1294
+
|} ;;
1295
1295
- : Odoc_model.Lang.Compilation_unit.t =
1296
1296
{Odoc_model.Lang.Compilation_unit.id =
1297
1297
`Root (Some (`Page (None, None)), Root);
···
1451
1451
type t = Arg.t
1452
1452
type u = t
1453
1453
end
1454
-
|}
1454
+
|} ;;
1455
1455
- : Odoc_model.Lang.Compilation_unit.t =
1456
1456
{Odoc_model.Lang.Compilation_unit.id =
1457
1457
`Root (Some (`Page (None, None)), Root);
···
1628
1628
(* Note: I think correct result is:
1629
1629
type t = resolved[(global(Bar).T subst-> global(App)(resolved[global(Bar)])(resolved[global(Foo)])(resolved[global(FooBarInt)]).Foo).bar]
1630
1630
*)
1631
-
|}
1631
+
|} ;;
1632
1632
- : Odoc_model.Lang.Compilation_unit.t =
1633
1633
{Odoc_model.Lang.Compilation_unit.id =
1634
1634
`Root (Some (`Page (None, None)), Root);
+1
-1
test/xref2/strengthen/test.md
+1
-1
test/xref2/strengthen/test.md
+4
-4
test/xref2/subst/test.md
+4
-4
test/xref2/subst/test.md
···
64
64
type uu = SubstituteMe.u
65
65
type vv = SubstituteMe.v
66
66
end
67
-
|}
67
+
|} ;;
68
68
BEFORE
69
69
======
70
70
S: sig
···
125
125
module Erase : sig
126
126
include Monad with type 'a t := 'a
127
127
end
128
-
|}
128
+
|} ;;
129
129
- : Component.Signature.t =
130
130
module type Monad/33 = sig
131
131
type t/34
···
169
169
type ('x, 'y) t
170
170
include Monad_2 with type ('a, 'b) t := ('b, 'a) t
171
171
end
172
-
|}
172
+
|} ;;
173
173
- : Component.Signature.t =
174
174
module type Monad_2/61 = sig
175
175
type t/62
···
201
201
type 'a t
202
202
include S with type 'a t := ([ `A of 'a * 'b ] as 'b) t
203
203
end
204
-
|}
204
+
|} ;;
205
205
- : Component.Signature.t =
206
206
module type S/78 = sig
207
207
type t/79