search

ceylon / ceylon-compiler

DEPRECATED
GNU General Public License v2.0
138 stars 36 forks source link

Metamodel refs to bootstrap modules #2428

Open tombentley opened 8 years ago

tombentley commented 8 years ago

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'"

tombentley commented 8 years ago

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?)

FroMage commented 8 years ago

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