Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- let digit = ['0'-'9']
- let whitespace = [' ' '\t' '\r' '\n']
- rule token = parse
- | whitespace { None }
- | ['-']? digit+ ('.'digit+)? (['e' 'E'] digit+)? { NUMBER(gr) |> Some }
- | '-' { MINUS(gr) |> Some }
- | '(' { LBRACE(gr) |> Some }
- | ')' { RBRACE(gr) |> Some }
- | '/' { DIV(gr) |> Some }
- | '+' { PLUS(gr) |> Some }
- | "**" { POW(gr) |> Some }
- | '*' { MULT(gr) |> Some }
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement