Re: [Haskell-cafe] Shrink function names

I would ask if there's a "deriving Show" involved. On Sun, Sep 19, 2021 at 3:02 AM Viktor Dukhovni wrote:

...

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.

_______________________________________________ Haskell-Cafe mailing list To (un)subscribe, modify options or view archives go to: http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe Only members subscribed via the mailman list are allowed to post.

-- brandon s allbery kf8nh allbery.b@gmail.com