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?Cheers
Claudia -
@Claudia-Frank
That did it, thank you very much.
Hello! It looks like you're interested in this conversation, but you don't have an account yet.
Getting fed up of having to scroll through the same posts each visit? When you register for an account, you'll always come back to exactly where you were before, and choose to be notified of new replies (either via email, or push notification). You'll also be able to save bookmarks and upvote posts to show your appreciation to other community members.
With your input, this post could be even better 💗
Register Login