Menu

#9 Type names starting with "is"

1.0
closed
None
2020-01-30
2020-01-13
No

Apparently in the current version of findent (3.1.4/3.1.5~pre), the types named is* are not parsed properly. For example: the code below does not get indented at all:

type isti
integer :: var1
end type isti

Related

Tickets: #9

Discussion

  • Willem Vermin

    Willem Vermin - 2020-01-13

    thanks for mentioning the "is" problem
    I guess that it has something to do with keyword TYPEIS. I'll have a look.

    Regards,
    Willem

    Op ma 13 jan. 2020 11:18 schreef Meisam Tabriz mftabriz@users.sourceforge.net:


    ** [tickets:#9] Type names starting with "is"**

    Status: open
    Milestone: 1.0
    Created: Mon Jan 13, 2020 10:18 AM UTC by Meisam Tabriz
    Last Updated: Mon Jan 13, 2020 10:18 AM UTC
    Owner: Willem Vermin

    Apparently in the current version of findent (3.1.4/3.1.5~pre), the types
    named is* are not parsed properly. For example: the code below does not get
    indented at all:
    ~~~
    type isti
    integer :: var1
    end type isti
    ~~~


    Sent from sourceforge.net because you indicated interest in <
    https://sourceforge.net/p/findent/tickets/9/>

    To unsubscribe from further messages, please visit <
    https://sourceforge.net/auth/subscriptions/>

     

    Related

    Tickets: #9

  • Willem Vermin

    Willem Vermin - 2020-01-13

    Corrected this in devel, version 3.1.5~pre2

    I am not too happy with the solution, the lexer now recognizes 'TYPEIS('
    as a TYPEIS statement. The parser then ignores the rest of the line in
    stead of checking for (something) and an optional name.

     
  • Willem Vermin

    Willem Vermin - 2020-01-13

    Found a much cleaner and simpler solution, findent-devel version 3.1.5~pre3

     
  • Meisam Tabriz

    Meisam Tabriz - 2020-01-14

    Thank you very much! Seems to be working without any problem.

     
  • Willem Vermin

    Willem Vermin - 2020-01-30
    • status: open --> closed
     

Log in to post a comment.

MongoDB Logo MongoDB