Skip to content

Commit

Permalink
Fixed type errors
Browse files Browse the repository at this point in the history
  • Loading branch information
PaulKlint committed Nov 5, 2024
1 parent 14ce78c commit 4fc4134
Showing 1 changed file with 6 additions and 6 deletions.
12 changes: 6 additions & 6 deletions src/analysis/typepal/FailMessage.rsc
Original file line number Diff line number Diff line change
Expand Up @@ -23,9 +23,9 @@ FailMessage info(value src, str msg, value args..., list[CodeAction] fixes=[])

str escapePercent(str s) = replaceAll(s, "%", "%%");

FailMessage convert(error(str msg, loc at, fixes=list[CodeAction] fixes))
= fixes? ? fm_error(at, escapePercent(msg), [], fixes=fixes) : fm_error(src, msg, args);
FailMessage convert(warning(str msg, loc at, fixes=list[CodeAction] fixes))
= fixes? ? fm_warning(at, escapePercent(msg), [], fixes=fixes) : fm_warning(src, msg, args);
FailMessage convert(info(str msg, loc at, fixes=list[CodeAction] fixes))
= fixes? ? fm_info(at, escapePercent(msg), [], fixes=fixes) : fm_info(at, escapePercent(msg), []);
FailMessage convert(m: error(str msg, loc at))
= m.fixes? ? fm_error(at, escapePercent(msg), [], fixes=m.fixes) : fm_error(at, escapePercent(msg), []);
FailMessage convert(m: warning(str msg, loc at))
= m.fixes? ? fm_warning(at, escapePercent(msg), [], fixes=m.fixes) : fm_warning(at, escapePercent(msg), []);
FailMessage convert(m:info(str msg, loc at))
= m.fixes? ? fm_info(at, escapePercent(msg), [], fixes=m.fixes) : fm_info(at, escapePercent(msg), []);

0 comments on commit 4fc4134

Please sign in to comment.