From d4513a1d512dc115ee2b5232c78f82a42e7da626 Mon Sep 17 00:00:00 2001 From: Marc Durdin Date: Wed, 22 Jan 2025 11:10:54 +0700 Subject: [PATCH] chore(developer): add new severity types to message command --- developer/src/kmc/src/commands/messageCommand.ts | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/developer/src/kmc/src/commands/messageCommand.ts b/developer/src/kmc/src/commands/messageCommand.ts index ee568dad9c..257eacc913 100644 --- a/developer/src/kmc/src/commands/messageCommand.ts +++ b/developer/src/kmc/src/commands/messageCommand.ts @@ -178,7 +178,7 @@ function allMessageDetails(): CompilerMessageDetail[] { const toTitleCase = (s: string) => s.substring(0, 1).toUpperCase() + s.substring(1).toLowerCase(); function getMessageDetail(cls: any, id: string, escapeMarkdown: boolean): CompilerEvent { - const o = /^(INFO|HINT|WARN|ERROR|FATAL)_([A-Za-z0-9_]+)$/.exec(id); + const o = /^(DEBUG|VERBOSE|INFO|HINT|WARN|ERROR|FATAL)_([A-Za-z0-9_]+)$/.exec(id); if(!o) { throw new Error(`Unexpected compiler message ${id}, does not match message error format`); }