There is an unsaved comment in progress. You will lose your changes if you continue. Are you sure you want to reopen the work item?
I'm building a lexer to parse Zinc and MiniZinc files. In these files the wedge (/) and vee (\/) are represented by slashes and backslashes. The lexer however reports in the case of \/ this as an "OTHER" and "OPDIV" character. I tried
solving this problem by replacing \ by the hexadecimal code of a backslash, but this method failed to give the correct result. I can't find anything in the manual describing this problem. Is it a bug or dit I do something wrong?