fix(config.dhall): correct the port range
All checks were successful
continuous-integration/drone/push Build is passing

well this is embarassing
This commit is contained in:
leo 2023-05-04 16:42:05 +02:00
parent 9fd55dbc0b
commit 0c835d0daf
Signed by: wanderer
SSH Key Fingerprint: SHA256:Dp8+iwKHSlrMEHzE3bJnPng70I7LEsa3IJXRH/U+idQ

View File

@ -30,9 +30,9 @@ let NuConfig/validate
let actual = let actual =
{ validPort = { validPort =
-- | make sure port number belongs to the <1;65565> range. -- | make sure port number belongs to the <1;65535> range.
Prelude.Natural.lessThanEqual 1 c.Port Prelude.Natural.lessThanEqual 1 c.Port
&& Prelude.Natural.lessThanEqual c.Port 65565 && Prelude.Natural.lessThanEqual c.Port 65535
} }
in expected === actual in expected === actual
@ -81,9 +81,9 @@ let Config/validate
let actual = let actual =
{ validPort = { validPort =
-- | make sure port number belongs to the <1;65565> range. -- | make sure port number belongs to the <1;65535> range.
Prelude.Natural.lessThanEqual 1 config.Port Prelude.Natural.lessThanEqual 1 config.Port
&& Prelude.Natural.lessThanEqual config.Port 65565 && Prelude.Natural.lessThanEqual config.Port 65535
} }
in expected === actual in expected === actual