summaryrefslogtreecommitdiff
path: root/src/lib/reader.ml
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@chimrod.com>2021-08-31 13:37:19 +0200
committerSébastien Dailly <sebastien@chimrod.com>2021-08-31 13:37:19 +0200
commit843230359b2157212c4e93b51994f0fde90d808b (patch)
tree1d22d4efb54f0e4c94564b8e8e1960a0a9fda8ef /src/lib/reader.ml
parent6ccbcc2cadae41574e33226b9072a08354880d28 (diff)
Added endign work in lexer
Diffstat (limited to 'src/lib/reader.ml')
-rw-r--r--src/lib/reader.ml6
1 files changed, 0 insertions, 6 deletions
diff --git a/src/lib/reader.ml b/src/lib/reader.ml
index f705b90..c5f8cda 100644
--- a/src/lib/reader.ml
+++ b/src/lib/reader.ml
@@ -18,12 +18,6 @@ let succeed (res : Sounds.t list) =
let fail (_ : 'a I.checkpoint) =
Error ("Syntax Error")
-let get_element lexbuf checkpoint =
- let token = Lexer.letter lexbuf in
- let startp = lexbuf.lex_start_p
- and endp = lexbuf.lex_curr_p in
- I.offer checkpoint (token, startp, endp)
-
let rec loop get_element (checkpoint : Sounds.t list I.checkpoint) =
match checkpoint with
| I.InputNeeded _env ->