F# 意外关键字'；类型'；在实现文件中

在VS2008中，F#2.0在编译ML脚本时出现错误 实现文件中出现意外的关键字“type”

#indent "off" pragma

   type Hw <'o,'m>   =   cat of <'m->'o>*<'m->'o>*<'o->'m>;

你可能想要

type Hw<'o,'m> = | Cat of ('m -> 'o) * ('m -> 'o) * ('o -> 'm)

Hw类型=|类别（'m->'o）*（'m->'o）*（'o->'m）

---

更改为Cat类型后=| Cat of（'m->'o）*（'m->'o）*（'o->'m）*（'m*'m->'m）；，也一样error@user3277894因为第二个

cat

是小写的。阅读您的错误消息。（如果您需要帮助，也可以发布它们）错误消息是实现文件@user3277894中的意外关键字“type”-另外，删除与原始问题完全不相关的“pragma”。我给出的代码本身编译得非常好

type Hw<'o,'m> = | Cat of ('m -> 'o) * ('m -> 'o) * ('o -> 'm)