You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The Prelude module is quite useful, but it's really an internal module and we shouldn't prevent anyone from having their own module named Prelude. How about renaming it something like StdlibMeta.Prelude?
Variations of the same issue apply to Main and Meta. Main is mostly for CI/documentation purposes and I'm not sure we should even have it as a real part of the library. More generally, we should have a reasonable public interface that doesn't take module names that people may want to use.
The text was updated successfully, but these errors were encountered:
The
Prelude
module is quite useful, but it's really an internal module and we shouldn't prevent anyone from having their own module namedPrelude
. How about renaming it something likeStdlibMeta.Prelude
?Variations of the same issue apply to
Main
andMeta
.Main
is mostly for CI/documentation purposes and I'm not sure we should even have it as a real part of the library. More generally, we should have a reasonable public interface that doesn't take module names that people may want to use.The text was updated successfully, but these errors were encountered: