diff --git a/.github/actions/spelling/allow.txt b/.github/actions/spelling/allow.txt index f64a12f0..9749af99 100644 --- 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 index 6c2a2685..7930e529 100644 --- 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 -}