Due to the way forms are stored, some weird behavior can happen if a @< is added immediately prior to a numerical >.
E.g. id>5 --> id@<>5 causes the whole @<> construct to be registered as an invalid binary operator.
I'm not that that this is an easy fix.
However, this does work for:
Typing just plain numerical >
Adding type applications
Adding type applications to the left of a > when there is whitespace (e.g. id > 5 -> id@<?> > 5 works fine)
Addresses #1275 .
Due to the way forms are stored, some weird behavior can happen if a
@<is added immediately prior to a numerical>. E.g.id>5-->id@<>5causes the whole@<>construct to be registered as an invalid binary operator. I'm not that that this is an easy fix.However, this does work for:
>id > 5->id@<?> > 5works fine)