Skip to content

Commit 3d80683

Browse files
Doc: Remove unused type conversions
1 parent 9d0ec5f commit 3d80683

1 file changed

Lines changed: 0 additions & 10 deletions

File tree

docs/source/_ext/libsemigroups_pybind11_extensions.py

Lines changed: 0 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -96,20 +96,10 @@ def no_doc_run(self):
9696
# replaced when the doc is built. It should be left empty.
9797
strings_replaced = set()
9898

99-
# TODO(0): I think that, if we change the order in which we bind the functions
100-
# and class, it should be possible to remove the need for the following two type
101-
# replacement dictionaries.
102-
10399
# This dictionary should be of the form "bad type" -> "good type", and
104100
# replacements will be performed globally. Hyperlinks will be added in the
105101
# signature if "good type" is a valid (potentially user defined) python type
106102
type_replacements = {
107-
r"libsemigroups::WordGraph<unsigned int>": r"WordGraph",
108-
r"libsemigroups::SimsStats": r"SimsStats",
109-
r"libsemigroups::Sims1": r"Sims1",
110-
r"libsemigroups::Sims2": r"Sims2",
111-
r"libsemigroups::RepOrc": r"RepOrc",
112-
r"libsemigroups::MinimalRepOrc": r"MinimalRepOrc",
113103
r"_?libsemigroups_pybind11\.": "",
114104
}
115105

0 commit comments

Comments
 (0)