From c13b6119371fd31bd2f02977e94cff0c8e060278 Mon Sep 17 00:00:00 2001 From: Oliver Westphal Date: Mon, 31 Jul 2023 17:42:57 +0200 Subject: [PATCH] typos --- .github/actions/spelling/allow.txt | 2 ++ .github/actions/spelling/expect.txt | 2 ++ test/TestProperties.hs | 2 +- 3 files changed, 5 insertions(+), 1 deletion(-) diff --git a/.github/actions/spelling/allow.txt b/.github/actions/spelling/allow.txt index bc6e346..6e2ffbb 100644 --- a/.github/actions/spelling/allow.txt +++ b/.github/actions/spelling/allow.txt @@ -12,6 +12,7 @@ geben github https letzten +Nächste noch positiven Programm @@ -20,3 +21,4 @@ standalone Summe teilbaren ubuntu +unfoldings diff --git a/.github/actions/spelling/expect.txt b/.github/actions/spelling/expect.txt index 7977617..8d62fd0 100644 --- a/.github/actions/spelling/expect.txt +++ b/.github/actions/spelling/expect.txt @@ -13,10 +13,12 @@ fst GHC HRefl hspec +implicits ints IOrep len Linebreak +Linebreaks mconcat mempty MTT diff --git a/test/TestProperties.hs b/test/TestProperties.hs index d59f989..0108929 100644 --- a/test/TestProperties.hs +++ b/test/TestProperties.hs @@ -109,6 +109,6 @@ xprop s = xit s . property fprop :: (HasCallStack, Testable prop) => String -> prop -> Spec fprop s = fit s . property --- disable a propertiy for faster testing +-- disable a property for faster testing xPerfprop :: (HasCallStack, Testable prop) => String -> prop -> Spec xPerfprop s _ = it s $ pendingWith "disabled for faster testing"