Skip to content

Add Eq OverridingBool instance

The motivation is that clash uses OverridingBool in its code, and not having Eq instance makes it hard to derive Eq for their structures.

In general, would it be fine to just submit MRs adding Eq instance to similar auxiliary types in GHC?

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information