Community

    • Login
    • Search
    • Recent
    • Tags
    • Popular
    • Users
    • Groups
    • Search

    Decimal Points conflicting with Period as Keywords

    Help wanted · · · – – – · · ·
    2
    3
    1295
    Loading More Posts
    • Oldest to Newest
    • Newest to Oldest
    • Most Votes
    Reply
    • Reply as topic
    Log in to reply
    This topic has been deleted. Only users with topic management privileges can see it.
    • Miguel Nunes
      Miguel Nunes last edited by

      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.

      Claudia Frank 1 Reply Last reply Reply Quote 0
      • Claudia Frank
        Claudia Frank @Miguel Nunes last edited by

        @Miguel-Nunes

        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

        1 Reply Last reply Reply Quote 0
        • Miguel Nunes
          Miguel Nunes last edited by

          @Claudia-Frank
          That did it, thank you very much.

          1 Reply Last reply Reply Quote 0
          • First post
            Last post
          Copyright © 2014 NodeBB Forums | Contributors