# optics-th-0.4 (2021-02-22) * Add support for GHC-9.0 * Print missing language extensions during TH generation of labels if there are any ([#352](https://github.com/well-typed/optics/pull/352)) * Add support for getters of rank1 polymorphic fields to optics generated with the `makeFieldLabels` family of functions ([#365](https://github.com/well-typed/optics/pull/365)) * Extend support of type-changing optics generated with the `makeFieldLabels` family to type parameters that are phantom and applied to non-injective type families ([#365](https://github.com/well-typed/optics/pull/365)) * Fix TH generation of optics for poly-kinded data families ([#378](https://github.com/well-typed/optics/pull/378)) * Fix `declareFieldLabels` when a field type refers to a type defined in the same quote ([#380](https://github.com/well-typed/optics/pull/380)) # optics-th-0.3.0.2 (2020-08-20) * Fix tests on GHC 8.10.2 # optics-th-0.3.0.1 (2020-08-05) * Fix handling of nullary type families * Fix `declareFieldLabels` and `declareLenses` with DuplicateRecordFields * Improve documentation of `Optics.TH` # optics-th-0.3 (2020-04-15) * `optics-core-0.3` compatible release * GHC-8.10 support * Improvements to TH-generated optics: - `LabelOptic` instances make optic kind a type equality for better type inference - `LabelOptic` instances for field optics work properly in the presence of type families - Fixed calculation of phantom types in `LabelOptic` prism instances - Better support for generating optics in the presence of kind polymorphism # optics-th-0.2 (2019-10-18) * Add `noPrefixFieldLabels` and `noPrefixNamer` to `Optics.TH` # optics-th-0.1 (2019-09-02) * Initial release