Drop ticks in type level constructors

well-typed / optics

Optics as an abstract interface

376 stars 24 forks source link

Drop ticks in type level constructors #461

Open arybczak opened 2 years ago

arybczak commented 2 years ago

Since nobody likes them anyway and -Wall will no longer include -Wunticked-promoted-constructors starting with GHC 9.4.1, I'd like to add -Wno-unticked-promoted-constructors to our flags and drop the ticks.

phadej commented 2 years ago

Let's do this