@@ -135,14 +135,14 @@ validateNumberConstraint (JSONPath path) num = \case
135135 SNLt n -> do
136136 let
137137 nlen = withKnownNat n $ natVal n
138− predicate = fromIntegral nlen < num
138+ predicate = num < fromIntegral nlen
139139 errMsg = path <> " should be < " <> T.pack (show nlen)
140140 warn = vWarning $ mmSingleton path (pure errMsg)
141141 unless predicate warn
142142 SNLe n -> do
143143 let
144144 nlen = withKnownNat n $ natVal n
145− predicate = fromIntegral nlen <= num
145+ predicate = num <= fromIntegral nlen
146146 errMsg = path <> " should be <= " <> T.pack (show nlen)
147147 warn = vWarning $ mmSingleton path (pure errMsg)
148148 unless predicate warn