From 4fc41341947d439f152a85957f09f59239f6fb44 Mon Sep 17 00:00:00 2001 From: paulklint Date: Tue, 5 Nov 2024 21:07:28 +0100 Subject: [PATCH] Fixed type errors --- src/analysis/typepal/FailMessage.rsc | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/src/analysis/typepal/FailMessage.rsc b/src/analysis/typepal/FailMessage.rsc index e7a12cb..8e26e49 100644 --- a/src/analysis/typepal/FailMessage.rsc +++ b/src/analysis/typepal/FailMessage.rsc @@ -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), []);