mirror of
https://github.com/wasp-lang/wasp.git
synced 2024-11-24 11:44:51 +03:00
8cc63a85a5
* First try. * first version that compiles. * Added range function. * fixed tests. * Fixed order of funcions in the code. * fix * Simplify semantic version module * Change qualified import name for SV Co-authored-by: Filip Sodić <filip.sodic@fer.hr>
113 lines
3.7 KiB
Haskell
113 lines
3.7 KiB
Haskell
module SemanticVersionTest where
|
|
|
|
import Numeric.Natural
|
|
import Test.Tasty.Hspec
|
|
import Wasp.SemanticVersion
|
|
|
|
spec_SemanticVersion :: Spec
|
|
spec_SemanticVersion = do
|
|
-- TODO: Add more tests to cover everything.
|
|
describe "`show` produces valid semver strings" $ do
|
|
it "show Version" $ do
|
|
show (Version 0 0 0) `shouldBe` "0.0.0"
|
|
show (Version 0 19 0) `shouldBe` "0.19.0"
|
|
show (Version 1 2 314) `shouldBe` "1.2.314"
|
|
it "show empty Range" $ do
|
|
show (mempty :: Range) `shouldBe` ""
|
|
it "show complex Range" $ do
|
|
show
|
|
( Range [lte (Version 1 3 6) <> backwardsCompatibleWith (Version 1 2 0)]
|
|
<> Range [eq (Version 1 2 3)]
|
|
)
|
|
`shouldBe` "<=1.3.6 ^1.2.0 || =1.2.3"
|
|
it "Concatenating version ranges produces union of their comparator sets" $ do
|
|
let v1 = Version 1 0 0
|
|
let v2 = Version 2 0 0
|
|
let r1 = Range [gt v1, lt v2]
|
|
let r2 = Range [lt v2]
|
|
r1 <> r2 `shouldBe` r1
|
|
describe "isVersionInRange" $ do
|
|
it "No version is in empty range" $
|
|
testRange
|
|
mempty
|
|
[ ((0, 5, 5), False),
|
|
((1, 0, 0), False),
|
|
((1, 2, 3), False),
|
|
((1, 2, 4), False),
|
|
((1, 3, 0), False),
|
|
((2, 0, 0), False)
|
|
]
|
|
it "Recognizes only version v to be in range '=v'" $
|
|
testRange
|
|
(Range [eq (Version 1 2 3)])
|
|
[ ((0, 5, 5), False),
|
|
((1, 0, 0), False),
|
|
((1, 2, 3), True),
|
|
((1, 2, 4), False),
|
|
((1, 3, 0), False),
|
|
((2, 0, 0), False)
|
|
]
|
|
it "Recognizes only versions lesser or equal to v to be in range '<=v'" $
|
|
testRange
|
|
(Range [lte (Version 1 2 3)])
|
|
[ ((0, 5, 5), True),
|
|
((1, 0, 0), True),
|
|
((1, 2, 3), True),
|
|
((1, 2, 4), False),
|
|
((1, 3, 0), False),
|
|
((2, 0, 0), False)
|
|
]
|
|
describe "Recognizes only versions >=v but smaller than next breaking change to be in range '^v'" $ do
|
|
it "when v is of shape x.y.z where x != 0." $
|
|
testRange
|
|
(Range [backwardsCompatibleWith (Version 1 2 3)])
|
|
[ ((0, 5, 5), False),
|
|
((1, 0, 0), False),
|
|
((1, 2, 3), True),
|
|
((1, 2, 4), True),
|
|
((1, 3, 0), True),
|
|
((2, 0, 0), False)
|
|
]
|
|
it "when v is of shape 0.y.z where y != 0." $
|
|
testRange
|
|
(Range [backwardsCompatibleWith (Version 0 2 3)])
|
|
[ ((0, 0, 0), False),
|
|
((0, 1, 3), False),
|
|
((0, 2, 0), False),
|
|
((0, 2, 2), False),
|
|
((0, 2, 3), True),
|
|
((0, 2, 4), True),
|
|
((0, 3, 0), False),
|
|
((1, 0, 0), False)
|
|
]
|
|
it "when v is of shape 0.0.z." $
|
|
testRange
|
|
(Range [backwardsCompatibleWith (Version 0 0 2)])
|
|
[ ((0, 0, 1), False),
|
|
((0, 0, 2), True),
|
|
((0, 0, 3), False),
|
|
((0, 1, 0), False),
|
|
((1, 0, 0), False)
|
|
]
|
|
it "Correctly works for complex version range." $
|
|
testRange
|
|
(Range [lte (Version 1 2 3) <> backwardsCompatibleWith (Version 1 1 0), eq (Version 0 5 6)])
|
|
[ ((0, 5, 5), False),
|
|
((0, 5, 6), True),
|
|
((0, 5, 7), False),
|
|
((1, 0, 9), False),
|
|
((1, 1, 0), True),
|
|
((1, 1, 9), True),
|
|
((1, 2, 3), True),
|
|
((1, 2, 4), False),
|
|
((1, 3, 0), False),
|
|
((2, 0, 0), False)
|
|
]
|
|
where
|
|
testRange :: Range -> [((Natural, Natural, Natural), Bool)] -> Expectation
|
|
testRange range versionsWithResults =
|
|
( (`isVersionInRange` range) . (\(x, y, z) -> Version x y z)
|
|
<$> map fst versionsWithResults
|
|
)
|
|
`shouldBe` map snd versionsWithResults
|