It was a basic WIP stuff that remained.
`Any` and other classes of character can legally accept `'\0'` thus looping
infinitely.
Reported-by: Samuel Lambert <tweakedsam@gmail.com>
Signed-off-by: Jean Privat <jean@pryen.org>
last_state = state
end
var c
+ var next
if pos >= length then
c = '\0'
+ next = null
else
c = text[pos]
+ next = state.trans(c)
end
- var next = state.trans(c)
if next == null then
if pos_start < length then
if last_state == null then