From bf8cd4fa899bccd4a37906a4d899aca6ca25d726 Mon Sep 17 00:00:00 2001 From: Steffen Jost Date: Wed, 5 Jul 2023 15:52:53 +0000 Subject: [PATCH] fix(test): LmsStatus is no longer a semigroup --- test/Model/TypesSpec.hs | 4 ---- 1 file changed, 4 deletions(-) diff --git a/test/Model/TypesSpec.hs b/test/Model/TypesSpec.hs index d6fe5662d..f5eba0d6a 100644 --- a/test/Model/TypesSpec.hs +++ b/test/Model/TypesSpec.hs @@ -627,10 +627,6 @@ spec = do showCompactCorrectorLoad Load{ byTutorial = Nothing, byProportion = 0, byDeficit = 0 } CorrectorNormal `shouldBe` "-D" showCompactCorrectorLoad Load{ byTutorial = Nothing, byProportion = 1, byDeficit = 0 } CorrectorMissing `shouldBe` "[1.0 - D]" showCompactCorrectorLoad Load{ byTutorial = Nothing, byProportion = 1, byDeficit = 0 } CorrectorExcused `shouldBe` "{1.0 - D}" - describe "Semigroup LmsStatus" $ do - it "lmsStatusDay merges to earliest" . property $ - \p1 p2 -> lmsStatusDay (p1 <> p2) == min (lmsStatusDay p1) (lmsStatusDay p2) - termExample :: (TermIdentifier, Text) -> Expectation termExample (term, encoded) = example $ do