diff options
Diffstat (limited to 'src/lib/reader.ml')
| -rw-r--r-- | src/lib/reader.ml | 6 |
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 -> |