F＃簽名文件錯誤

Question

我試圖使用一個fsi文件來允許單獨文件中的相互遞歸類，但我的fsi文件沒有編譯。下面是一個演示問題的簡單例子。

文件program.fs：

module mod1 
type first = 
    |zero = 0 

文件File1.fs：

module mod2 
type second = 
    |zero2 = 0 

與--sig:signature.fsi編譯產生：

#light 

module mod1 
type first = 
    | zero = 0 

module mod2 
type second = 
    | zero2 = 0 

其中已經上線的錯誤

type second 

這是

Error 1 Unexpected keyword 'type' in signature file. Expected ':', '=' or other token. 

Answer 1

你會認爲這是簽名文件是（像C++頭文件），但它不是。至少，這是我一開始就想到的。

在F＃定義相互遞歸類型，唯一的辦法就是把他們相同的源文件中，並使用and關鍵字：

module mod1_mod2 
    type first = 
     | zero = 0 

    and second = 
     | zero2 = 0