F#编译器抱怨递归函数中的类型无效

Question

在F#中，我试图编写一个函数，给定两个字符串，它将返回第一个字符串中第二个字符串开头的所有索引。我的函数看起来像这样：

let allIndexOf (str:string) (c:string) =
    let rec inner (s:string) l =
        match (s.IndexOf(c), (s.IndexOf(c)+1) = s.Length) with
        | (-1, _) -> l
        | (x, true) -> x::l
        | (x, false) -> inner(s.Substring(x+1) x::l)
    inner str []

问题是在线（x， false）-

在本例中，我想用字符串的其余部分（减去匹配的部分）调用inner，以查找更多匹配项。




Answer 1

你忘了第一个和第二个论点之间的父母吗？

    | (x, false) -> inner (s.Substring(x+1)) (x::l)