SourceModel.ModuleDefn moduleDefn = SourceModel.ModuleDefn.make(moduleName, new SourceModel.Import[] { SourceModel.Import.make(CAL_Prelude.MODULE_NAME) }, null);
ModuleSourceDefinition moduleSourceDefn = new SourceModelModuleSource(moduleDefn);
try {
CompilerMessageLogger logger = new MessageLogger();
Severity severity = workspaceManager.makeModule(moduleSourceDefn, logger);
assertTrue(severity.compareTo(Severity.ERROR) < 0);
//todo-jowong these assertions should be true, but are currently false because
// makeModule() doesn't register the newly created module with the workspace
/*
assertTrue(workspaceManager.containsModule(moduleName));