迷彩图案匹配/功能成员

Question

以下函数试图匹配一个(int * stmt list) list （其中stmt只是在其他地方定义的类型）并返回一个stmt list 。

 let rec findinlist (r: int) (l1: (int * stmt list) list ) (l2: stmt list) =   
      (match l1 with 
      | [] -> l2
      | h:: _ when h= (r,s) -> s
      | _ :: t -> findinlist r t l2
      )    

首先，这给了我一个无限值的错误，但是我将如何去实现呢？

Answer 1

当您使用的when ，不是另一个将s绑定s模式匹配。 这只是一个布尔测试，需要一个布尔值（如if语句）。

也许您想要类似的东西：

let rec findinlist (r: int) (l1: (int * stmt list) list ) (l2: stmt list) =   
  (match l1 with 
  | [] -> l2
  | (r',s):: _ when r' = r -> s
  | _ :: t -> findinlist r t l2
  )