With the example given in https://github.com/Deducteam/lambdapi/issues/1436, we get a syntax error in Emacs but not when on command line.
With the example given in #1436, we get a syntax error in Emacs but not when on command line.