• Justus Sagemüller's avatar
    Escape html control characters in error messages. · a5e317f1
    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&quot; &quot;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 `&lt;`, `&gt;` and `&amp;`, respectively.
    a5e317f1
Name
Last commit
Last update
..
Convert Loading commit data...
Eval Loading commit data...
IPython Loading commit data...
BrokenPackages.hs Loading commit data...
CSS.hs Loading commit data...
Convert.hs Loading commit data...
Display.hs Loading commit data...
Flags.hs Loading commit data...
IPython.hs Loading commit data...
Publish.hs Loading commit data...
Types.hs Loading commit data...