-
Justus Sagemüller authored
Error messages are usually rendered surprisingly clean even without escaping, but in a few cases it went wrong quite badly, in particular the `<<loop>>` error would get rendered as the completely cryptic `<>`. Also, something like `"one string" "another string" 4` used to give the error message ``` The function ‘"one string" "another string"’ is applied to one argument, but its type ‘String’ has none ``` This kind of behavior is prevented by escaping the characters `<`, `>` and `&` to `<`, `>` and `&`, respectively.
a5e317f1
Name |
Last commit
|
Last update |
---|---|---|
.. | ||
Convert | ||
Eval | ||
IPython | ||
BrokenPackages.hs | ||
CSS.hs | ||
Convert.hs | ||
Display.hs | ||
Flags.hs | ||
IPython.hs | ||
Publish.hs | ||
Types.hs |