} else {
throw new ResolveError("unable to find constant " + key);
}
} else {
WyilFile module = builder.getModule(key.module());
WyilFile.ConstantDeclaration cd = module.constant(key.name());
if (cd != null) {
result = cd.constant();
} else {
throw new ResolveError("unable to find constant " + key);
}