alloy - 多行注释解析错误

Question

使用网站上当前可用的最新合金分析器（4.2 构建日期：2012-09-25）我意识到，当我/**/像这样将代码放在两个之间时，分析器似乎忽略了代码（尽管编辑器/**/ <some code> /**/似乎<some code>正确解析代码）。

例如，在以下代码片段中，fact分析器会忽略 的声明：

/**/
fact traces {
    init [first]
    all d: Dinner - last | 
        let d' = next [d] | 
            some p,p': Philosopher, f: Fork | 
                pickLeftFork [d,d',p,p',f]
}
/**/

只要我在 之间放置一个空格/**/，即 ，/* */代码就会按预期运行。

Answer 1

最近向 Alloy 添加了 Java 样式的文档注释，因此在上面的示例中，开头的/**标记开始一个文档注释，最后的**/标记是关闭的，因此中间的所有内容都被解析为注释。