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

Markus Läll markus.l2ll at gmail.com
Mon Nov 1 14:07:02 UTC 2021


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>


More information about the Haskell-Cafe mailing list