ATS中staload和#include有什么区别？

Question

staload和#include都可用于加载ATS中的文件：

staload "foo.dats"
#include "foo.dats"

有人能告诉我这两种加载文件的区别吗？

Answer 1

#include将指定文件的内容复制到当前文件中。 staload只是使指定文件中定义的名称可用于编译器，而无需复制。

Answer 2

请注意，staload也可以写成#staload。

另外，请注意您当前不能在SATS文件中包含SATS文件或在SATS文件中包含DATS文件。