PolyML运行时评估

Question

我目前正在使用PolyML 5.5.2，并试图创建一个运行时编译器函数，该函数接受一个字符串并运行它。

所需的函数应该类似于

有趣的eval字符串->单元

输入时

eval "val a=1；“ val a= 1: int

我已经做了一些研究，在旧版本中有一个类似于PolyML.compilerEx的函数，但是在PolyML 5.5.2中似乎没有这样的东西。

非常感谢大家。

Answer 1

您可以使用PolyML.compiler。该文档更接近即将发布的5.6版本，但是它在5.5.2中应该运行得很好。

Answer 2

你会想要一些类似于

PolyML.compiler(infn,
                [PolyML.Compiler.CPErrorMessageProc record_error,
                 PolyML.Compiler.CPOutStream obufPush]) ()

其中，infn是提供编译器字符的函数，而obufPush是消耗编译器输出的函数。record_error在我要抽样的代码中定义为：

fun record_error {message,...} = PolyML.prettyPrint(obufPush,70) message