bitSize both required and deprecated

[Ben Gamari]

On November 1, 2019 7:07:36 AM EDT, "chessai ." <chessai1996 at gmail.com> wrote:
>All,
>
>In Data.Bits.Bits, `bitSize` has been marked deprecated for a while.
>but in 4.12, it was also given a default implementation. The issue is
>that it is in the minimal pragma as a required method. So, if I define
>it, I get a deprecation warning, but if I don't define it, I get a
>warning about missing implementations.
>
>Is this the intended behaviour?
>
I doubt it.

I would argue that we should just schedule it for removal in 8.12. As you point out, it has been deprecated for quite some time.

Cheers,

- Ben 
-- 
Sent from my Android device with K-9 Mail. Please excuse my brevity.