类型'；NS.类型1<；NS.类型2>'；与类型'；NS.类型1<；NS.类型2>'；在f#

我刚把一个项目分成几个库。 我在标题上有一个奇怪的错误

我无法解释为什么会这样。 此外，此错误仅在FSI.exe中显示

我认为这是因为pb在fsi中加载dll，但还有更多的原因

这可能是一个愚蠢的错误（可能是…），但如果有人以前遇到过这个sybillin错误消息，并且知道会发生什么，我很高兴听到它

更新

我认为这是名称空间问题，但事实并非如此。

---

这个问题很奇怪。如果你没有经历过，请忽略它。我仍在努力查明确切的来源。

没有更多信息，很难确定。一种可能发生这种情况的方法是，如果您最终在FSI中重新定义了一个类型，而没有重新定义依赖它的某些东西。然后，这些东西期望该类型的旧版本，但最终会创建新版本的实例，这些实例不兼容。例如，给定以下代码：

type MyType<'a>() = class end
let myFun (_:MyType<int>) = 0

let result = myFun (MyType())

---

键入MyType如果没有更多信息，很难确定。一种可能发生这种情况的方法是，如果您最终在FSI中重新定义了一个类型，而没有重新定义依赖它的某些东西。然后，这些东西期望该类型的旧版本，但最终会创建新版本的实例，这些实例不兼容。例如，给定以下代码：

type MyType<'a>() = class end
let myFun (_:MyType<int>) = 0

let result = myFun (MyType())

typemytypewhat’用一些代码来重现你看到的东西怎么样？@GregC我希望如果重现起来很容易，MSFT的测试人员不会不注意到它，也许这个问题不适合这里。我可以把它删掉。这里的问题很好。如果在将代码发送到
fsi
之前重置会话，则使用
fsi
和编译\执行F#程序之间没有太大区别。Nicolas--F#进行类型推断。这在很大程度上会影响代码的行为，因此要求我们猜测没有代码的问题实际上是无用的。我们看不到您是如何定义代码的，所以我们无法猜测类型推断可能发生了什么。这在FSI中尤其如此。如果您启动一个新的FSI实例并再次尝试您的步骤，那么问题是否仍然存在？用一些代码来重现您看到的内容如何？@GregC我希望如果它很容易重现，MSFT的测试人员不会忽视它，可能这个问题不适合这里。我可以把它删掉。这里的问题很好。如果在将代码发送到
fsi
之前重置会话，则使用
fsi
和编译\执行F#程序之间没有太大区别。Nicolas--F#进行类型推断。这在很大程度上会影响代码的行为，因此要求我们猜测没有代码的问题实际上是无用的。我们看不到您是如何定义代码的，所以我们无法猜测类型推断可能发生了什么。这在FSI中尤其如此。如果您启动一个新的FSI实例并再次尝试您的步骤，问题是否仍然存在？如果确实如此，我仍在尝试确认，我想在devenv中需要一些视觉指示。在FSI中，我们有一个版本号，因此易于查看。在VS中，没有任何区别。如果我确认，我将向VS发送一张票guys@Nicolas-我认为我从未在VS中看到过这个问题，但在没有编译器跟进的情况下进行大的更改后，它可能会显示为一个暂时性错误。如果是这样的话，我想知道重建是否有帮助？错误只出现在fsx文件中。我认为这是由于在FSI中加载多个文件时的依赖性地狱，就像我重新排序加载时一样，我有相同类型的错误，但类型不同。我必须构建所有结构的依赖关系图，首先从边缘枚举它们，然后将它们添加到FSI。如果确实如此，我仍在尝试确认，我想在开发过程中需要一些视觉指示。在FSI中，我们有一个版本号，因此易于查看。在VS中，没有任何区别。如果我确认，我将向VS发送一张票guys@Nicolas-我认为我从未在VS中看到过这个问题，但在没有编译器跟进的情况下进行大的更改后，它可能会显示为一个暂时性错误。如果是这样的话，我想知道重建是否有帮助？错误只出现在fsx文件中。我认为这是由于在FSI中加载多个文件时的依赖性地狱，就像我重新排序加载时一样，我有相同类型的错误，但类型不同。我必须构建所有结构的依赖关系图，首先从边缘枚举它们，然后将它们添加到FSI。