Currently, URL literals, e.g. |http://google.com| are not highlighted as they optimally should be.
It is not possible to just use begin: |end: | since operators like || exist and concrete and abstract syntax uses them, so one should be careful in the way they are recognized.
The best approach would be to follow the URL grammar, albeit it's a bit complex since it can contain interpolations as well as having various different parts.
Currently, URL literals, e.g.
|http://google.com|are not highlighted as they optimally should be. It is not possible to just usebegin: |end: |since operators like||exist and concrete and abstract syntax uses them, so one should be careful in the way they are recognized.The best approach would be to follow the URL grammar, albeit it's a bit complex since it can contain interpolations as well as having various different parts.