search

arrow-kt / arrow-meta

Functional companion to Kotlin's Compiler
https://meta.arrow-kt.io
Apache License 2.0
395 stars 42 forks source link

import arrow-core-data automatically #776

Open i-walker opened 3 years ago

i-walker commented 3 years ago

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:

package test

@Given
internal val x: Union<Unit, Int> = Unit
raulraja commented 3 years ago

Only the prelude should be imported not all of core data. If we import all of it we may have pollution of names.