typos

fmidue · Jul 31, 2023 · 7412e83 · 7412e83
1 parent c13b611
commit 7412e83
Show file tree

Hide file tree

Showing 4 changed files with 7 additions and 3 deletions.
diff --git a/.github/actions/spelling/allow.txt b/.github/actions/spelling/allow.txt
@@ -12,7 +12,6 @@ geben
 github
 https
 letzten
-Nächste
 noch
 positiven
 Programm

diff --git a/.github/actions/spelling/expect.txt b/.github/actions/spelling/expect.txt
@@ -17,6 +17,7 @@ implicits
 ints
 IOrep
 len
+Line
 Linebreak
 Linebreaks
 mconcat
@@ -32,6 +33,7 @@ NTrace
 nums
 Occured
 oneof
+Perfprop
 SATs
 snd
 Subterms

diff --git a/.github/actions/spelling/patterns.txt b/.github/actions/spelling/patterns.txt
@@ -26,3 +26,6 @@
 
 # GHC LANGUAGE extension, HLINT options etc.
 \{-# .* #-\}
+
+# Umlaute
+\b\w*[äöüßÄÖÜ]\w*\b
diff --git a/src/Test/IOTasks/Z3.hs b/src/Test/IOTasks/Z3.hs
@@ -135,7 +135,7 @@ withGeneratedValue f (ValueGenerator g) sz = f <$> generate (g sz)
 
 pathScript :: Path -> ScriptMode -> Bool -> Z3R (SatResult [String], String)
 pathScript path mode checkOverflows = do
-  let (tyConstr,predConstr,overflConstr) = partitionPath path
+  let (tyConstr,predConstr,overflowConstr) = partitionPath path
 
   goal <- mkGoal True False False
   vars <- forM tyConstr $
@@ -149,7 +149,7 @@ pathScript path mode checkOverflows = do
         goalAssert goal =<< z3Predicate goal t e (map fst vars)
 
   when checkOverflows $
-    forM_ overflConstr $
+    forM_ overflowConstr $
       \(OverflowConstraints ts e) ->
         forM_ ts (\t -> assertOverflowChecks goal t e (map fst vars))