Open abrudz opened 4 years ago
We can add that as an idiom when connecting to Dyalog up to 18.0, but with the next version the list of idioms is returned by the interpreter, so would need to be changed there.
Fixed in RIDE, but may need more work depending on outcome of discussion with Dyalog (for Dyalog 18.2+)
This has regressed in 4.5.3770:
Describe the issue you are having
^
isn't treated as∧
in idiomsDid you connect to an already running interpreter or start the interpreter from RIDE?
Start an interpreter
How do you reproduce the issue?
Select a recognisable colouring of idioms (e.g. underline) Paste the following into the session:
Notice that only the right column is marked as idioms
This is quite unfortunate, as the left version is what appears in the documentation on idioms.
Paste the contents of Help → About (Shift+F1)