generic-deriving
generic-deriving copied to clipboard
Is KindSigOptions actually useful?
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:
- Come up with an example where
kindSigOptions = False
is needed and document it, or - Failing that, perhaps deprecate and/or remove
KindSigOptions
.