Weird Bracket ("}") in "Bad message" error

[javierfernandes]

Given this

class Persona {
    var edad = 10
}

If I try to use it like this

const p = new Persona()
p.edad

Gives this error

>>> p.edad
ERROR: Bad message: edad} (line: 2)

On one side there is "}" character. On the other side, maybe it could be nice if this "syntax" gets handled in the runtime as a wollok exception. Kind of how other languages handle the "NullPointerException". Instead of being a Platform error that looks differently (?)

[fdodino]

I think Wollok parser is intercepting this expression. There was a similar issue (#1216) but we couldn't find a proper solution.

[fdodino]

Related also to #877

[fdodino]

Well, '}' is due to #877, detecting "====" vs. "===". When user types no () for a message, there is a "}" implemented by console:

>>> WollokCodeHighLightLineStyleListener
    val programHeader = "program repl {" + System.lineSeparator
    val programFooter =  System.lineSeparator + "}"

Even recognizing this different errors, linker part has not been achieved, so generating a DNU is very hard (you have a WMemberCallFeature but memberCallTarget points to a WVariableReferenceImpl with a null ref instance variable).

I'll put this issue in a Nice To Have column