help_testUnknownImport(leccCALServices);
help_testUnknownImport(gCALServices);
}
private void help_testUnknownImport(BasicCALServices calServices) {
MessageLogger logger = new MessageLogger();
SourceModelModuleSource moduleDefn = new SourceModelModuleSource(SourceModelUtilities.TextParsing.parseModuleDefnIntoSourceModel("module Foo; import Prelude; import UNKNOWN_Module;", logger));
assertEquals(logger.getNErrors(), 0);
calServices.addNewModule(moduleDefn, logger);
if (logger.getNErrors() > 0) {
List<CompilerMessage> messages = logger.getCompilerMessages();
for (int i = 0, n = messages.size(); i < n; i++) {
CompilerMessage message = messages.get(i);
if (CompilerTestUtilities.isInternalCodingError(message.getMessageKind())) {
fail("Unexpected: " + message);
}