Write lexer to parse %{deps[i]}
Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
This commit is contained in:
parent
0195b4bd03
commit
97fba5537d
|
@ -0,0 +1 @@
|
|||
val deps : string -> int option
|
|
@ -0,0 +1,13 @@
|
|||
{
|
||||
open Stdune
|
||||
}
|
||||
|
||||
let digit = ['0'-'9']
|
||||
|
||||
rule deps = parse
|
||||
| "deps[" (digit+ as i) "]" eof { Some (Int.of_string_exn i) }
|
||||
| _ { None }
|
||||
|
||||
{
|
||||
let deps s = deps (Lexing.from_string s)
|
||||
}
|
Loading…
Reference in New Issue