better error messages

This commit is contained in:
Maximilian Keßler 2022-01-16 17:49:25 +01:00
parent e3d3d9ba0f
commit a19f905598

View file

@ -31,12 +31,12 @@ __HEADER__(Grouping theorems for easier customization.)
\msg_new:nnn { groupthm } { unknown ~ key } \msg_new:nnn { groupthm } { unknown ~ key }
{ {
Unknown ~ key ~ #1 ~ supplied ~ \msg_line_context: Unknown ~ key ~ '#1' ~ supplied ~ \msg_line_context:
} }
\msg_new:nnn { groupthm } { unknown ~ group } \msg_new:nnn { groupthm } { unknown ~ group }
{ {
Unknown ~ group ~ #1 ~ supplied ~ \msg_line_context: Unknown ~ group ~ '#1' ~ supplied ~ \msg_line_context:
} }
%%% Variables %%% Variables
@ -76,7 +76,8 @@ __HEADER__(Grouping theorems for easier customization.)
mapname .groups:n = { theoremgroup }, mapname .groups:n = { theoremgroup },
thmtools .clist_set:N = \l_groupthm_thmtools_clist, thmtools .clist_set:N = \l_groupthm_thmtools_clist,
thmtools .default:n = {}, thmtools .default:n = {},
thmtools .groups:n = { theoremgroup, groupedtheorem, theoremvariants } thmtools .groups:n = { theoremgroup, groupedtheorem, theoremvariants }%,
% unknown .code:n = \msg_error:nnn { groupthm } { unknown ~ group } { \l_keys_key_str }
} }
@ -202,6 +203,8 @@ __HEADER__(Grouping theorems for easier customization.)
\new_grouped_theorem_from_keys:nn { #2 } { #1 } \new_grouped_theorem_from_keys:nn { #2 } { #1 }
} }
%%% Default groups available %%% Default groups available
\NewTheoremGroup \NewTheoremGroup