refactor(any): apply hlint suggestions

objectionary · Mar 19, 2024 · b37cdc1 · b37cdc1
1 parent 94bdd65
commit b37cdc1
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 4 deletions.
diff --git a/eo-phi-normalizer/src/Language/EO/Phi/Rules/Yaml.hs b/eo-phi-normalizer/src/Language/EO/Phi/Rules/Yaml.hs
@@ -301,9 +301,9 @@ newtype MetaState = MetaState
 
 evaluateMetaFuncs' :: Object -> State MetaState Object
 evaluateMetaFuncs' (MetaFunction (MetaFunctionName "@T") _) = do
-  res <- gets (Common.intToBytesObject . nuCount)
+  nuCount' <- gets (Common.intToBytesObject . nuCount)
   #nuCount += 1
-  pure res
+  pure nuCount'
 evaluateMetaFuncs' (Formation bindings) = Formation <$> mapM evaluateMetaFuncsBinding bindings
 evaluateMetaFuncs' (Application obj bindings) = Application <$> evaluateMetaFuncs' obj <*> mapM evaluateMetaFuncsBinding bindings
 evaluateMetaFuncs' (ObjectDispatch obj a) = ObjectDispatch <$> evaluateMetaFuncs' obj <*> pure a

diff --git a/eo-phi-normalizer/test/Language/EO/Rules/PhiPaperSpec.hs b/eo-phi-normalizer/test/Language/EO/Rules/PhiPaperSpec.hs
@@ -1,7 +1,6 @@
 {-# LANGUAGE DeriveAnyClass #-}
 {-# LANGUAGE DeriveGeneric #-}
 {-# LANGUAGE DerivingStrategies #-}
-{-# LANGUAGE LambdaCase #-}
 {-# LANGUAGE NumericUnderscores #-}
 {-# LANGUAGE OverloadedLists #-}
 {-# LANGUAGE OverloadedStrings #-}
@@ -231,7 +230,7 @@ defaultSearchLimits :: Int -> SearchLimits
 defaultSearchLimits = defaultApplicationLimits
 
 confluent :: [Rule] -> Property
-confluent rulesFromYaml = withMaxSuccess 1000 $
+confluent rulesFromYaml = withMaxSuccess 1_000 $
   forAllShrink (resize 40 $ genCriticalPair rulesFromYaml) (shrinkCriticalPair rulesFromYaml) $
     \pair@CriticalPair{..} ->
       within 100_000 $ -- 0.1 second timeout per test