Parser errors not properly recognised on Viper Online

[viper-admin]

Created by @mschwerhoff on 2019-09-03 16:05

Parser errors, such as reported for the snippet

field nxt: Ref
predicate P(x) { true }

are currently not properly recognised on Viper Online: the “Output” panel shows an error entry and includes the correct position information, but no error message. The “Original Output” tab contains the complete (but raw) error message.

See this permalink (if it works).