Case.hs

module Tests.Rational.Case (tests) where

import Test.Tasty (TestTree, testGroup)
import Tests.Common (toCaseTestCases)

fMod :: String
fMod = "CheckedLiterals.Nums.Fixed"

{- FOURMOLU_DISABLE -}
tests :: TestTree
tests = testGroup "Case" $ toCaseTestCases
  [ (fMod, "UFixed 0 1", "0.5",  [])
  , (fMod, "UFixed 0 1", "0.75", ["Literal 0.75 cannot be represented exactly by Fixed", "The fractional part needs at least 2 bit(s)."])
  , (fMod, "UFixed 0 1", "-0.5", ["Literal -0.5 is out of bounds, because UFixed cannot represent negative numbers."])
  , (fMod, "UFixed 0 1", "(uncheckedLiteral -> 0.75)", [])
  ]
{- FOURMOLU_ENABLE -}