F# FSharp活动模式有问题

我正在分析FSharp中的代码引用，并且正在构建模式助手。在我尝试之前一切都很顺利

let (|BinaryFn|_|) fn (input:Expr) = 
    function
    | SpecificCall fn (_,_,l::r::[]) -> Some(l,r)
    | _ -> None

let (|Multiply|_|) x = 
    function
    | BinaryFn <@ (*) @> (l,r) -> Some(l,r)
    | _ -> None 

---

有人能告诉我应该在这里做什么吗？

这里的问题是

函数

不仅模式匹配最后一个参数，而且还添加了一个附加参数（

函数

是

乐趣

和

匹配

的组合）。从第一个模式中删除函数参数

input

，问题就会得到解决。

第一个模式需要2个或3个参数吗？我想你的意思是2，但是现在你得到了两个命名的1和一个隐式的（通过

函数

表达式）。如果你想回答我，我会把它标记为正确的。

Error FS0001: Type mismatch. Expecting a     

'a -> 'b option     

but given a     

'a -> 'c -> (Expr * Expr) option     

The type ''a option' does not match the type 

''b -> (Expr * Expr) option' (FS0001) (Shambolics)