#1444 (comment)
@sacerdot : "in pure.ml (if I remember correctly) every time a new command is to be parsed, the lexbuf at the char Stream.t level is passed again. Instead the lexbuf at the lookahead level (the one I implemented) should be passed around. Right now the main parser functions exported by parser take in input the lexbuf at char level and build on-the-fly a new lexbuf at the backtracking level. Instead one should export a function to turn a lexbuf into an higher level lexbuf and then pass that again and again."
#1444 (comment)
@sacerdot : "in pure.ml (if I remember correctly) every time a new command is to be parsed, the lexbuf at the char Stream.t level is passed again. Instead the lexbuf at the lookahead level (the one I implemented) should be passed around. Right now the main parser functions exported by parser take in input the lexbuf at char level and build on-the-fly a new lexbuf at the backtracking level. Instead one should export a function to turn a lexbuf into an higher level lexbuf and then pass that again and again."