Advertisement
Guest User

Untitled

a guest
Jan 25th, 2016
59
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
F# 0.37 KB | None | 0 0
  1. let digit = ['0'-'9']
  2. let whitespace = [' ' '\t' '\r' '\n']
  3.  
  4. rule token = parse
  5. | whitespace { None }
  6. | ['-']? digit+ ('.'digit+)? (['e' 'E'] digit+)? { NUMBER(gr) |> Some }
  7. | '-' { MINUS(gr) |> Some }
  8. | '(' { LBRACE(gr) |> Some }
  9. | ')' { RBRACE(gr) |> Some }
  10. | '/' { DIV(gr) |> Some }
  11. | '+' { PLUS(gr) |> Some }
  12. | "**" { POW(gr) |> Some }
  13. | '*' { MULT(gr) |> Some }
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement