Skip to content

GitLab

C
currydoc
Open
Opened by Jan-Hendrik Matthes@stu113804😄

Wrong type signature for Bounded functions in the CDOC export

When exporting the Prelude to a .cdoc file, the functions of the Bounded type class have the following wrong type signatures:

minBound :: () -> a
maxBound :: () -> a

Search for _def#minBound or _def#maxBound in the exported file to verify this. The correct type signature for both functions should be :: a.