You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
It looks like the jline repl does "event expansion":
frege> !true
[ERROR] Could not expand event
java.lang.IllegalArgumentException: !true: event not found
at jline.console.ConsoleReader.expandEvents(ConsoleReader.java:849)
at jline.console.ConsoleReader.finishBuffer(ConsoleReader.java:700)
at jline.console.ConsoleReader.accept(ConsoleReader.java:2010)
at jline.console.ConsoleReader.readLine(ConsoleReader.java:2691)
at jline.console.ConsoleReader.readLine(ConsoleReader.java:2372)
at jline.console.ConsoleReader.readLine(ConsoleReader.java:2360)
....
This is unfortunate, as we have to escape every occurence of ! with a backslash.
Is it possible to turn this off?
On a related note, what would be great to have would be tab expansion.
I am sure there are some predefined tab-handlers that take a list of items or some such, and that list could easily be constructed from the base names of all known symbols, plus the known module names.
The text was updated successfully, but these errors were encountered:
It looks like the jline repl does "event expansion":
This is unfortunate, as we have to escape every occurence of
!
with a backslash.Is it possible to turn this off?
On a related note, what would be great to have would be tab expansion.
I am sure there are some predefined tab-handlers that take a list of items or some such, and that list could easily be constructed from the base names of all known symbols, plus the known module names.
The text was updated successfully, but these errors were encountered: