generic-deriving icon indicating copy to clipboard operation
generic-deriving copied to clipboard

Is KindSigOptions actually useful?

Open RyanGlScott opened this issue 3 years ago • 0 comments

The example that is given in the Haddocks for how to use KindSigOptions is not terribly helpful:

https://github.com/dreixel/generic-deriving/blob/e858579e4f50bd2984b1ef7b736ad9f23279d4c1/src/Generics/Deriving/TH.hs#L128-L138

Even if you generate code without explicit kind annotations in that example, it won't kind-check anyway due to other TH limitations mentioned here. If KindSigOptions isn't useful here, where is it useful? There are no examples in the test suite that make use of it, and I can't recall exactly why I needed it in the first place. We should either:

  1. Come up with an example where kindSigOptions = False is needed and document it, or
  2. Failing that, perhaps deprecate and/or remove KindSigOptions.

RyanGlScott avatar Oct 09 '21 14:10 RyanGlScott