多行注释解析错误

Question

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

例如，在下面的代码 sn-p 中，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

Java 样式的 doc cmets 最近已添加到 Alloy，因此在上面的示例中，开头的 /** 标记开始一个文档注释，最后的 **/ 标记关闭是，所以一切都在between 被解析为注释。