Open rish987 opened 11 months ago
I cannot reproduce your error. I works for me with lambdapi 2.4.0 and master. Which version of lambdapi do you use? Perhaps you have some hidden invalid character in your file?
That's odd. I just updated to lambdapi 2.4.0 from lambdapi 2.1.0, but was still able to reproduce the error. I also was able to reproduce it with a fresh install of lambdapi 2.4.0 on a separate machine.
I see now. The problem is caused by the colon at the end. This is strange indeed.
Yes, in fact, any error that results in error output will show it (syntax error, typing error, etc.).
The following Dedukti file contains a syntax error, but also reports a unification error that only appears when the syntax error (or any other error) is present:
This is the error:
dk check
only reports the syntax error (and succeeds when it is removed):