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