奥斯陆错误“M0197：“文本”的解释 不能在类型上下文中使用”？

Question

在 Microsoft Oslo SDK CTP 2008（使用 Intellipad）中，以下代码可以正常编译：

module M {
    type T {
        Text : Text;
    }
}

编译以下代码时会导致错误“M0197：‘文本’不能在类型上下文中使用”，

module M {
    type T {
        Text : Text;
        Value : Text; // error
    } 
}

我看不到示例之间的区别，因为在第一种情况下，文本也用在类型上下文中。

更新：

为了增加混乱，请考虑以下示例，该示例也可以正常编译：

module M {
    type X;
    type T {
      X : X;
      Y : X;
    } 
}

M 语言规范指出：

字段声明会覆盖词法作用域，以防止声明的类型绑定到声明本身。 字段声明的归属类型不能是声明本身； 但是，该声明可以在约束中使用。 考虑以下示例：

A 型； B型{ 答：一个； }

字段声明 A 的类型归属的词法封闭范围是实体声明 B。无一例外，类型归属 A 会绑定到循环引用中的字段声明，这是一个错误。 在这种情况下，异常允许词法查找跳过字段声明。

似乎用户定义的类型和内置（固有）类型并没有被平等对待。

UPDATE2：

请注意，上面示例中的 Value 不是保留关键字。 如果将 Value 重命名为 Y，也会出现相同的错误。

有任何想法吗？

问候， 坦伯格

Answer 1

据我所知，您重新定义了 Text:

Text : Text

然后您尝试将其用于 Value: 的类型，

Value : Text

这是不允许的。 为什么使用类型名称作为属性重新定义类型我并不完全清楚（仍在阅读 M 语言规范），但我确信这是有充分理由的。 只需将 Text 命名为尚未定义的类型（用方括号 ([Text]) 对其进行转义也不起作用）。

Answer 2

http://social. msdn.microsoft.com/Forums/en-US/oslo/thread/fcaf10a1-52f9-4ab7-bef5-1ad9f9112948

Answer 3

问题是：在 M 中，您可以执行如下操作：

module M
{
  type Address;
  type Person
  {
    Addresses : Address*;
    FavoriteAddress : Address where value in Addresses;
  }  
}

在该示例中，“Addresses”指的是 Person.Addresses。 那么，问题是，当您编写诸如

module M
{
  type T
  {
    Text : Text;
    SomethingElse : Text;
  }
}

...之类的无害内容时，SomethingElse 的类型归属中的“Text”不是指 Language.Text，而是指 T.Text。 这就是问题所在。 解决方法是这样写：（

module M
{
  type T
  {
    Text : Text;
    SomethingElse : Language.Text;
  }
}

您可能想知道为什么像“Text : Text”这样的东西在上面的示例中起作用。有一个特殊的规则：字段类型归属中的标识符不能引用字段本身。这个的规范示例是“地址：地址”。）