我的OCaml .ml代码如下所示：
open Str
let idregex = Str.regexp ['a'-'z' 'A'-'Z']+ ['a'-'z' 'A'-'Z' '0'-'9' '_']*;
let evalT (x,y) = (match x with
Str.regexp "Id(" (idregex as var) ")" -> (x,y)
为什么上面的代码不起作用？我怎样才能让它发挥作用？
编辑：
解决方法
match关键字与OCaml模式一起使用.正则表达式不是OCaml模式,它是一种不同的模式,因此您不要使用匹配.
在具有regexp功能的Str module中是匹配功能.
如果要进行大量的正则表达式匹配,可以使用ocamllex,它读取类似于idregex(不幸的无效)定义的定义文件,并生成OCaml代码以进行匹配.
这是一个会话,展示了如何使用Str模块对模式进行简单匹配.
$ocaml
OCaml version 4.01.0
# #load "str.cma";;
# let idregex = Str.regexp "[a-zA-Z]+[a-zA-Z0-9_]*";;
val idregex : Str.regexp = <abstr>
# Str.string_match idregex "a_32" 0;;
- : bool = true
# Str.string_match idregex "32" 0;;
- : bool = false
作为旁注,您的代码看起来并不像OCaml.它看起来像是OCaml和ocamllex的混合物.实际上有一个类似于micmatch的系统.似乎你打算使用库存OCaml语言(我鼓掌),但在某些时候看看micmatch可能会很有趣.
