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
.