From a78cc2b007ea87059d0a5bbdbb1b90e95eb04dd9 Mon Sep 17 00:00:00 2001 From: lubegasimon Date: Mon, 8 Feb 2021 17:45:15 +0300 Subject: [PATCH] draft --- test/cases/stop_dead_link_doc.mli | 22 +++++++++ .../Stop_dead_link_doc/index.html | 47 ++++++++++++++++++ .../Stop_dead_link_doc/index.html | 48 +++++++++++++++++++ test/html/test.ml | 1 + 4 files changed, 118 insertions(+) create mode 100644 test/cases/stop_dead_link_doc.mli create mode 100644 test/html/expect/test_package+ml/Stop_dead_link_doc/index.html create mode 100644 test/html/expect/test_package+re/Stop_dead_link_doc/index.html diff --git a/test/cases/stop_dead_link_doc.mli b/test/cases/stop_dead_link_doc.mli new file mode 100644 index 0000000000..26ca4c66fd --- /dev/null +++ b/test/cases/stop_dead_link_doc.mli @@ -0,0 +1,22 @@ +(**/**) +module For_generated_code : sig + (*_ don't use this by hand, it is only meant for ppx_fields_conv *) + + type ('perm, 'record, 'field) t = + { force_variance : 'perm -> unit + ; name : string + ; setter : ('record -> 'field -> unit) option + ; getter : 'record -> 'field + ; fset : 'record -> 'field -> 'record + } + + val opaque_identity : 'a -> 'a + end +(**/**) + + (**['record] is the type of the record. ['field] is the type of the + values stored in the record field with name [name]. ['perm] is a way + of restricting the operations that can be used. *) + type ('perm, 'record, 'field) t_with_perm = + | Field of ('perm, 'record, 'field) For_generated_code.t + [@@unboxed] diff --git a/test/html/expect/test_package+ml/Stop_dead_link_doc/index.html b/test/html/expect/test_package+ml/Stop_dead_link_doc/index.html new file mode 100644 index 0000000000..cc24b67cf4 --- /dev/null +++ b/test/html/expect/test_package+ml/Stop_dead_link_doc/index.html @@ -0,0 +1,47 @@ + + + + + Stop_dead_link_doc (test_package+ml.Stop_dead_link_doc) + + + + + + + + + + +
+

+ Module Stop_dead_link_doc +

+
+
+
+
+ type ('perm, 'record, 'field) t_with_perm = + + + + + + +
+ | Field of ('perm, 'record, 'field) For_generated_code.t +
+
+
+

+ 'record is the type of the record. 'field is the type of the values stored in the record field with name name. 'perm is a way of restricting the operations that can be used. +

+
+
+
+ + diff --git a/test/html/expect/test_package+re/Stop_dead_link_doc/index.html b/test/html/expect/test_package+re/Stop_dead_link_doc/index.html new file mode 100644 index 0000000000..f6b89cb844 --- /dev/null +++ b/test/html/expect/test_package+re/Stop_dead_link_doc/index.html @@ -0,0 +1,48 @@ + + + + + Stop_dead_link_doc (test_package+re.Stop_dead_link_doc) + + + + + + + + + + +
+

+ Module Stop_dead_link_doc +

+
+
+
+
+ type t_with_perm('perm, 'record, 'field) = + + + + + + +
+ | Field(For_generated_code.t('perm, 'record, 'field)) +
+ ; +
+
+

+ 'record is the type of the record. 'field is the type of the values stored in the record field with name name. 'perm is a way of restricting the operations that can be used. +

+
+
+
+ + diff --git a/test/html/test.ml b/test/html/test.ml index 6269a448a0..de52892e12 100644 --- a/test/html/test.ml +++ b/test/html/test.ml @@ -273,6 +273,7 @@ let source_files_all = ("functor.mli", [ "Functor/index.html" ]); ("class.mli", [ "Class/index.html" ]); ("stop.mli", [ "Stop/index.html" ]); + ("stop_dead_link_doc.mli", [ "Stop_dead_link_doc/index.html" ]); ("bugs.ml", [ "Bugs/index.html" ]); ("alias.ml", [ "Alias/index.html"; "Alias/X/index.html" ]); ]