You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I think it's the flisp parser which is in error here. \777 is 0x1ff, not 0xff which the flisp parser silently saturates to.
However we shouldn't throw so I think this is still a bug. I think what we need to do here instead is emit an error token and not try to convert to a numeric form.
The text was updated successfully, but these errors were encountered: