我正在浏览Ada 2012 RM，并希望了解我的理解中是否有漏洞或RM中的漏洞。假如说
put_line ("-- this is a not a comment");
是合法代码，我该如何从RM推论其合法性，因为第2.7节指出“注释以两个相邻的连字符开头，一直延伸到行尾。”而第2.6节指出“ string_literal由一个括在用作字符串括号的两个引号之间的图形字符序列（可能没有）。” 似乎在两个部分之间存在紧张关系，而2.7会获胜，但事实并非如此。