> But, what names are exported by platform.h that aren't also exported > by libmlton.a? Exports aren't the issue. The problem is all the things that platform.h brings in that aren't exported, e.g. #defines. There is no reason to have those cause conflicts with user code.