Metamodel refs to bootstrap modules

[CeylonMigrationBot]

[@tombentley] It seems that the typechecker incorrectly rejects metamodel references to imported bootstrap modules:

print("\`module ceylon.runtime\` is `` `module ceylon.runtime` ``");

Give me "error: module not found in imported modules: 'ceylon.runtime'"

[Migrated from ceylon/ceylon-compiler#2428]

[CeylonMigrationBot]

[@tombentley] The problem here is that the typechecker does the lookup via packages, and the ceylon.runtime module doesn't contain a ceylon.runtime package. That can be "fixed" by ensuring each of the bootstrap modules has a like-named package. But I'm not sure if they properly addresses interop (do we support getting module metamodels of interop modules @FroMage?)

[CeylonMigrationBot]

[@FroMage] Seems to me that's just wrong in ExpressionVisitor it should not match by package name but by ModuleImport transitively.

[quintesse]

I'm actually inclined to close this issue as invalid, because IMO the ceylon.runtime module should not be considered visible from the code, even if we know it's available in the environment. If you add import ceylon.runtime "x.y.z"; to the module descriptor of the module containing the above code everything works just fine. Wdyt guys? ( @tombentley @FroMage )

[FroMage]

If it works with the import then yes, this seems invalid, closing.