PolyML运行时评估

Question

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

所需的功能应该像

有趣的评估字符串->单位

输入时

> eval“ val a = 1;”;

val a = 1：整数

我已经做过一些研究，在旧版本中有一个类似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