diff options
| author | Son Ho | 2023-11-27 15:57:55 +0100 |
|---|---|---|
| committer | Son Ho | 2023-11-27 15:57:55 +0100 |
| commit | 6f8f1213e056804eda4c521922cdf45f4e92a509 (patch) | |
| tree | 2f37dd1328fed60467d83f278fbd578fbefce971 /compiler/Pure.ml | |
| parent | 8a6c26355ef82de725ed643f4a3c40ed54d1b4c7 (diff) | |
Fix the issues with the cross-references for OCaml doc
Diffstat (limited to '')
| -rw-r--r-- | compiler/Pure.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/Pure.ml b/compiler/Pure.ml index 50849df9..0ae83007 100644 --- a/compiler/Pure.ml +++ b/compiler/Pure.ml @@ -273,7 +273,7 @@ class virtual ['self] mapreduce_ty_base = type ty = | TAdt of type_id * generic_args - (** {!Adt} encodes ADTs and tuples and assumed types. + (** {!TAdt} encodes ADTs and tuples and assumed types. TODO: what about the ended regions? (ADTs may be parameterized with several region variables. When giving back an ADT value, we may @@ -1064,7 +1064,7 @@ type trait_impl = { meta : meta; impl_trait : trait_decl_ref; llbc_impl_trait : Types.trait_decl_ref; - (** Same remark as for {llbc_generics}. *) + (** Same remark as for {!field:llbc_generics}. *) generics : generic_params; llbc_generics : Types.generic_params; (** We use the LLBC generics to generate "pretty" names, for instance |