[Haskell-cafe] No "fields of ... not initialized" warning with RecordWildCards and Void?

[Markus Läll]

Hi!

Would it make sense to suppress the "fields of ... not initialized" when
the type of the field is Void, or any other type with no data constructors?
As the only way to construct void would be `undefined :: Void`, and the
field already is undefined.


Regards,

-- 
Markus Läll
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20211101/7a47ba29/attachment.html>