From ac804fcc37fe0e3444e13083373c7d60ab2c7aaf Mon Sep 17 00:00:00 2001 From: kukimik <53443372+kukimik@users.noreply.github.com> Date: Fri, 10 Oct 2025 21:57:25 +0200 Subject: [PATCH] Make leading "v" case-insensitive in `ipVFuture` --- dhall/src/Dhall/Parser/Token.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dhall/src/Dhall/Parser/Token.hs b/dhall/src/Dhall/Parser/Token.hs index d8a2ea114..84167e41b 100644 --- a/dhall/src/Dhall/Parser/Token.hs +++ b/dhall/src/Dhall/Parser/Token.hs @@ -747,7 +747,7 @@ ipLiteral :: Parser Text ipLiteral = "[" <> (ipV6Address <|> ipVFuture) <> "]" ipVFuture :: Parser Text -ipVFuture = "v" <> plus (satisfy hexdig) <> "." <> plus (satisfy predicate) +ipVFuture = ("v" <|> "V") <> plus (satisfy hexdig) <> "." <> plus (satisfy predicate) where predicate c = unreserved c || subDelims c || c == ':'