Export Natural type from prelude
Ken T Takusagawa
kenta at mit.edu
Wed Jul 7 19:03:07 UTC 2021
On Fri, 2 Jul 2021, Carter Schonwald wrote:
> This seems long overdue and aside from some redundant import warnings likely low breakage risk
>
Am I understanding correctly that this will cause any code
that defines its own type named Natural to break? (I don't
know how much code exists that does this.)
And the proper workaround will be
import Prelude hiding(Natural)
?
I am not opposed to this proposal; I just want it to be
clear what it will break.
--ken
More information about the Libraries
mailing list