-
Notifications
You must be signed in to change notification settings - Fork 41
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
import arrow-core-data automatically #776
Comments
Only the prelude should be imported not all of core data. If we import all of it we may have pollution of names. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
As part of the Arrow migration to Meta. This issue proposes to have all descriptors in arrow-core-data in the FileScopeResolution, such that arrow-core-data, doesn't need any imports in the Ide and compiler as it is the case for many descriptors in the Kotlin Standard lib. This will extend to Kotlin Scripts and Repl sessions equally.
an example from Meta is that the prelude already compiles and resolves in the Ide without imports:
The text was updated successfully, but these errors were encountered: