• 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
Evaluate.hs 50.7 KB