renderError :: ErrorInfo -> String
renderError err = view message err (err ^. messageChanges) (err ^. severity) (err ^. location) (err ^. style)
renderError :: ErrorInfo -> String
renderError err = view message err (err ^. messageChanges) (err ^. severity) (err ^. location) (err ^. style)
renderError err = view message err (err ^. messageChanges) (err ^. severity) (err ^. location) (err ^. style)