From a97764f7bd5c2c52156cd7d49f5dd539435c811c Mon Sep 17 00:00:00 2001 From: Monroe Ekilah Date: Thu, 11 Dec 2025 11:04:58 -0800 Subject: [PATCH] fix error message saying `<`, it should be `<=` --- src/Data/StringVariants/NullableNonEmptyText.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Data/StringVariants/NullableNonEmptyText.hs b/src/Data/StringVariants/NullableNonEmptyText.hs index ad14061..38a9af4 100644 --- a/src/Data/StringVariants/NullableNonEmptyText.hs +++ b/src/Data/StringVariants/NullableNonEmptyText.hs @@ -115,7 +115,7 @@ instance (KnownNat n, 1 <= n) => FromJSON (NullableNonEmptyText n) where parseJSON = \case J.String t -> case mkNullableNonEmptyText t of Just txt -> pure txt - Nothing -> fail $ "Data/StringVariants/NullableNonEmptyText.hs: When trying to parse a NullableNonEmptyText, expected a String of length < " ++ show (natVal (Proxy @n)) ++ ", but received: " ++ T.unpack t + Nothing -> fail $ "Data/StringVariants/NullableNonEmptyText.hs: When trying to parse a NullableNonEmptyText, expected a String of length <= " ++ show (natVal (Proxy @n)) ++ ", but received: " ++ T.unpack t J.Null -> pure $ NullableNonEmptyText Nothing x -> fail $ "Data/StringVariants/NullableNonEmptyText.hs: When trying to parse a NullableNonEmptyText, expected a String or Null, but received: " ++ show x