Re: [Haskell-cafe] Shrink function names

On 19 Sep 2021, at 1:39 am, Caeeh wrote:

@Viktor Thx. This is working as mentioned. I somehow expected that the shrinking of functions would have the same effect on the data types. Do you have any idea how this can be achieved? Is it even possible?

The best I was able to do, was also add '-dno-typeable-binds', which drops some unexported type names, but the secret constructor name remained. I don't know how to suppress unexported constructor names appearing in the compiled code, perhaps someone else does, or it might not be possible... -- Viktor.