more spell checking

fmidue · Oct 17, 2023 · 6c75adc · 6c75adc
1 parent e419155
commit 6c75adc
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/.github/actions/spelling/allow.txt b/.github/actions/spelling/allow.txt
@@ -14,6 +14,7 @@ fno
 foldl
 foldr
 fst
+gdw
 GHC
 github
 Graphviz

diff --git a/test/ParsingSpec.hs b/test/ParsingSpec.hs
@@ -37,7 +37,7 @@ spec = do
         ]
   describe "parser @Cnf" $ do
     it "correctly recognizes all different notations" $
-      isRight $ parse (parser @Cnf) "" "A/\\B und (C or ~D) and (not E oder nicht F \\/ G)"
+      isRight $ parse (parser @Cnf) "" "A/\\B und (C or ~D) and (not E oder nicht F \\/ G)" {- german -}
   describe "parser @Dnf" $ do
     it "correctly recognizes all different notations" $
-      isRight $ parse (parser @Dnf) "" "A \\/-B oder (C and D) or (not E and nicht F /\\ ~ G)"
+      isRight $ parse (parser @Dnf) "" "A \\/-B oder (C and D) or (not E and nicht F /\\ ~ G)" {- german -}