Take any file with an error (but not a syntax error). For instance:
symbol a:TYPE;
symbol b:TYPE;
symbol x:a;
symbol y:b;
rule x ↪ y;
In Emacs or VSCode, what is printed in the console is:
file:///home/blanqui/src/lambdapi/tmp/zo.lp:5:5-9Cannot solve a ≡ b
Unable to prove type preservation.
with no color and no brackets around the position,
while it is correctly printed when running lambdapi check in a terminal.
Take any file with an error (but not a syntax error). For instance:
In Emacs or VSCode, what is printed in the console is:
with no color and no brackets around the position,
while it is correctly printed when running lambdapi check in a terminal.