Decimal Points conflicting with Period as Keywords
Hello, I’m configuring the syntax highligthing for Picat, wich uses periods as a keyword and are highlighted as such, but this causes numbers with decimal points to not be highligthed at all, as can be seen here, if anyone could help me figure out how to fix/workaround this I’d be glad.
Is it possible to define the period as an operator (style 2).
If this doesn’t solve your issue, may you share a test data and your picat styler?
That did it, thank you very much.