@@ -143,7 +143,8 @@ Simplest possible resolution:
143
143
constraints = []};
144
144
representation = None})];
145
145
compiled = true; doc = []};
146
- expansion = None; linked = false; canonical = None; source_info = None}
146
+ expansion = None; linked = false; canonical = None; source_info = None;
147
+ shape = None; uid_to_id = <abstr>}
147
148
```
148
149
149
150
Let's look at a marginally more complicated example. In this case, our type ` t `
@@ -316,7 +317,8 @@ Basic resolution 2, environment lookup:
316
317
constraints = []};
317
318
representation = None})];
318
319
compiled = true; doc = []};
319
- expansion = None; linked = false; canonical = None; source_info = None}
320
+ expansion = None; linked = false; canonical = None; source_info = None;
321
+ shape = None; uid_to_id = <abstr>}
320
322
```
321
323
322
324
@@ -518,7 +520,8 @@ Basic resolution 3, module type:
518
520
representation = ...});
519
521
...];
520
522
compiled = ...; doc = ...};
521
- expansion = ...; linked = ...; canonical = ...; source_info = ...}
523
+ expansion = ...; linked = ...; canonical = ...; source_info = ...;
524
+ shape = ...; uid_to_id = ...}
522
525
```
523
526
524
527
This example is very similar but there is one more level of nesting of the modules:
@@ -720,7 +723,8 @@ Basic resolution 4, module type:
720
723
canonical = ...; hidden = ...});
721
724
...];
722
725
compiled = ...; doc = ...};
723
- expansion = ...; linked = ...; canonical = ...; source_info = ...}
726
+ expansion = ...; linked = ...; canonical = ...; source_info = ...;
727
+ shape = ...; uid_to_id = ...}
724
728
```
725
729
726
730
This example is rather more interesting:
@@ -955,7 +959,8 @@ and then we can look up the type `t`.
955
959
compiled = ...; doc = ...})};
956
960
...];
957
961
compiled = ...; doc = ...};
958
- expansion = ...; linked = ...; canonical = ...; source_info = ...}
962
+ expansion = ...; linked = ...; canonical = ...; source_info = ...;
963
+ shape = ...; uid_to_id = ...}
959
964
```
960
965
961
966
``` ocaml
@@ -1161,7 +1166,8 @@ and then we can look up the type `t`.
1161
1166
compiled = ...; doc = ...})};
1162
1167
...];
1163
1168
compiled = ...; doc = ...};
1164
- expansion = ...; linked = ...; canonical = ...; source_info = ...}
1169
+ expansion = ...; linked = ...; canonical = ...; source_info = ...;
1170
+ shape = ...; uid_to_id = ...}
1165
1171
```
1166
1172
1167
1173
Ensure a substitution is taken into account during resolution:
@@ -1343,7 +1349,8 @@ Ensure a substitution is taken into account during resolution:
1343
1349
canonical = ...; hidden = ...});
1344
1350
...];
1345
1351
compiled = ...; doc = ...};
1346
- expansion = ...; linked = ...; canonical = ...; source_info = ...}
1352
+ expansion = ...; linked = ...; canonical = ...; source_info = ...;
1353
+ shape = ...; uid_to_id = ...}
1347
1354
```
1348
1355
1349
1356
Ensure a destructive substitution is taken into account during resolution:
@@ -1525,7 +1532,8 @@ Ensure a destructive substitution is taken into account during resolution:
1525
1532
canonical = ...; hidden = ...});
1526
1533
...];
1527
1534
compiled = ...; doc = ...};
1528
- expansion = ...; linked = ...; canonical = ...; source_info = ...}
1535
+ expansion = ...; linked = ...; canonical = ...; source_info = ...;
1536
+ shape = ...; uid_to_id = ...}
1529
1537
```
1530
1538
1531
1539
Resolve a module alias:
@@ -1685,7 +1693,8 @@ Resolve a module alias:
1685
1693
constraints = []};
1686
1694
representation = None})];
1687
1695
compiled = true; doc = ...};
1688
- expansion = ...; linked = ...; canonical = ...; source_info = ...}
1696
+ expansion = ...; linked = ...; canonical = ...; source_info = ...;
1697
+ shape = ...; uid_to_id = ...}
1689
1698
```
1690
1699
1691
1700
Resolve a module alias:
@@ -1844,7 +1853,8 @@ Resolve a module alias:
1844
1853
representation = ...});
1845
1854
...];
1846
1855
compiled = ...; doc = ...};
1847
- expansion = ...; linked = ...; canonical = ...; source_info = ...}
1856
+ expansion = ...; linked = ...; canonical = ...; source_info = ...;
1857
+ shape = ...; uid_to_id = ...}
1848
1858
```
1849
1859
1850
1860
Resolve a functor:
@@ -2025,7 +2035,8 @@ Resolve a functor:
2025
2035
canonical = ...; hidden = ...});
2026
2036
...];
2027
2037
compiled = ...; doc = ...};
2028
- expansion = ...; linked = ...; canonical = ...; source_info = ...}
2038
+ expansion = ...; linked = ...; canonical = ...; source_info = ...;
2039
+ shape = ...; uid_to_id = ...}
2029
2040
```
2030
2041
2031
2042
Resolve a functor:
@@ -2231,7 +2242,8 @@ Resolve a functor:
2231
2242
p_path = ...}))};
2232
2243
...];
2233
2244
compiled = ...; doc = ...};
2234
- expansion = ...; linked = ...; canonical = ...; source_info = ...}
2245
+ expansion = ...; linked = ...; canonical = ...; source_info = ...;
2246
+ shape = ...; uid_to_id = ...}
2235
2247
```
2236
2248
2237
2249
``` ocaml skip
@@ -2447,5 +2459,6 @@ Functor app nightmare:
2447
2459
canonical = ...; hidden = ...});
2448
2460
...];
2449
2461
compiled = ...; doc = ...};
2450
- expansion = ...; linked = ...; canonical = ...; source_info = ...}
2462
+ expansion = ...; linked = ...; canonical = ...; source_info = ...;
2463
+ shape = ...; uid_to_id = ...}
2451
2464
```
0 commit comments