From c179c25fe9d7e5b2cda024fd9d068a57c2e976ad Mon Sep 17 00:00:00 2001 From: Philipp Niedermayer Date: Thu, 13 Feb 2025 19:03:40 +0100 Subject: [PATCH] Fix deprecated type and string comparison Type to string comparisons were already deprecated since 0.8 and are removed in 0.13. --- glossy/src/gloss.typ | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/glossy/src/gloss.typ b/glossy/src/gloss.typ index 1ecf46e..e0a81ac 100644 --- a/glossy/src/gloss.typ +++ b/glossy/src/gloss.typ @@ -39,7 +39,7 @@ if not "short" in entry { panic("Entry must contain a 'short' key") } - if type(entry.short) != "string" { + if type(entry.short) != str { panic("Entry 'short' must be a string") } if entry.short.trim() == "" { @@ -347,7 +347,7 @@ // Apply format-term() to get the term let formatted-term = format-term(mode, short-form, long-form) - if type(formatted-term) != "string" { + if type(formatted-term) != str { // This is because we still need to capitalize the term, and we cannot do // that with content, thus requiring a string here. // TODO: consider if we want to capitalize *before* this. First intuition is