从Overture中的不同项目导入模块

Question

当我在Overture中从另一个模块导入一个模块时，一切都非常简单。但是，我无法弄清楚如何从另一个项目导入模块。我所做的是：

• 创建项目P1
• 在P1中创建模块A
• 创建项目P2
• 在P2
中指定P1作为参考
• 在P2中创建模块B
模块B中的
• 导入A

在模块B中，系统标记错误'No such module as A'。

Answer 1

我担心Overture目前的项目之间没有联系，尽管你认为这是一个明智之举，并且会改进规范的模块化。所以目前，所有规范文件都必须存在于同一个项目中。