多行评论解析Bug

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风格的文档注释，因此在上面的示例中，开头的/**标记会启动文档注释，最后关闭的**/标记是，所以介于两者之间的所有内容都被解析为评论。