« Changelog History


th-desugar v1.7 Release Notes

    • 👌 Support for TH's support for TypeApplications, thanks to @RyanGlScott.

    • 👌 Support for unboxed sums, thanks to @RyanGlScott.

    • 👌 Support for COMPLETE pragmas.

    • getRecordSelectors now requires a list of DCons as an argument. This makes it easier to return correct record selector bindings in the event that a record selector appears in multiple constructors. (See goldfirere/singletons#180 for an example of where the old behavior of getRecordSelectors went wrong.)

    • 👍 Better type family expansion (expanding an open type family with variables works now).