我创建了一个新模块,它只是一个非常长名字的模块的缩写:
module M = ModuleWithLongName
我处于一个最终可执行文件大小很重要的情况。上述结构是否被编译器合理处理(即M
只是一个别名),还是在定义M
的模块中完全复制了ModuleWithLongName
的所有内容?
我创建了一个新模块,它只是一个非常长名字的模块的缩写:
module M = ModuleWithLongName
我处于一个最终可执行文件大小很重要的情况。上述结构是否被编译器合理处理(即M
只是一个别名),还是在定义M
的模块中完全复制了ModuleWithLongName
的所有内容?
ModuleWithLongName.foo
是一个可变引用,则M.foo
是相同的引用)。这是一个模块路径的别名,我想。
模块 moduleName = module_expr
其中 module_expr ::= module_path | ...