search

team-worthwhile / worthwhile

PSE am KIT 2011/12: Programmverifikation (Team 2)
BSD 3-Clause "New" or "Revised" License
5 stars 3 forks source link

No red squiggly marker on syntax error at the end of a statement #54

Closed jspam closed 12 years ago

jspam commented 12 years ago

Take an expression like Integer i04 := 2+ where the right operand is missing. If the statement is immediately followed by a newline, an error marker is set in the left ruler, but no red squiggly underline is shown.

When the statement is followed by a space, this space is underlined.

I doubt that this can be easily fixed, but I wanted to report it anyway.

jspam commented 12 years ago

@ostefan Do we really want to fix this? I'd vote to close this issue.

stefanorf commented 12 years ago

As you said this seems not easily fixable. I'll close it.