Skip to content

Draft: Various primops improvements

Ben Gamari requested to merge wip/T19629 into master

This branch fixes #19629 by populating the mi_warns field of ModIface. In addition, we improve the efficiency of documentation generation by eliminating a linear search to find the Name associated with each docstring. Finally, we fix a warning from an unqualified import of Data.List.

Fixes #19629.

Edited by Andreas Klebinger

Merge request reports