make all logging data types non-strict (#3125)

runtimeverification · Jun 30, 2022 · c86e9d2 · c86e9d2
1 parent 6f10410
commit c86e9d2
Show file tree

Hide file tree

Showing 39 changed files with 127 additions and 10 deletions.
diff --git a/kore/src/Kore/Log/DebugAppliedRewriteRules.hs b/kore/src/Kore/Log/DebugAppliedRewriteRules.hs
@@ -1,3 +1,6 @@
+{-# LANGUAGE NoStrict #-}
+{-# LANGUAGE NoStrictData #-}
+
 {- |
 Copyright   : (c) Runtime Verification, 2020-2021
 License     : BSD-3-Clause

diff --git a/kore/src/Kore/Log/DebugAttemptedRewriteRules.hs b/kore/src/Kore/Log/DebugAttemptedRewriteRules.hs
@@ -1,3 +1,6 @@
+{-# LANGUAGE NoStrict #-}
+{-# LANGUAGE NoStrictData #-}
+
 {- |
 Copyright   : (c) Runtime Verification, 2020-2021
 License     : BSD-3-Clause

diff --git a/kore/src/Kore/Log/DebugBeginClaim.hs b/kore/src/Kore/Log/DebugBeginClaim.hs
@@ -1,3 +1,6 @@
+{-# LANGUAGE NoStrict #-}
+{-# LANGUAGE NoStrictData #-}
+
 {- |
 Copyright   : (c) Runtime Verification, 2021
 License     : BSD-3-Clause

diff --git a/kore/src/Kore/Log/DebugCreatedSubstitution.hs b/kore/src/Kore/Log/DebugCreatedSubstitution.hs
@@ -1,3 +1,6 @@
+{-# LANGUAGE NoStrict #-}
+{-# LANGUAGE NoStrictData #-}
+
 {- |
 Copyright   : (c) Runtime Verification, 2022
 License     : BSD-3-Clause

diff --git a/kore/src/Kore/Log/DebugEvaluateCondition.hs b/kore/src/Kore/Log/DebugEvaluateCondition.hs
@@ -1,3 +1,6 @@
+{-# LANGUAGE NoStrict #-}
+{-# LANGUAGE NoStrictData #-}
+
 {- |
 Copyright   : (c) Runtime Verification, 2020-2021
 License     : BSD-3-Clause

diff --git a/kore/src/Kore/Log/DebugProven.hs b/kore/src/Kore/Log/DebugProven.hs
@@ -1,3 +1,6 @@
+{-# LANGUAGE NoStrict #-}
+{-# LANGUAGE NoStrictData #-}
+
 {- |
 Copyright   : (c) Runtime Verification, 2020-2021
 License     : BSD-3-Clause

diff --git a/kore/src/Kore/Log/DebugRetrySolverQuery.hs b/kore/src/Kore/Log/DebugRetrySolverQuery.hs
@@ -1,3 +1,6 @@
+{-# LANGUAGE NoStrict #-}
+{-# LANGUAGE NoStrictData #-}
+
 {- |
 Copyright   : (c) Runtime Verification, 2020-2021
 License     : BSD-3-Clause

diff --git a/kore/src/Kore/Log/DebugSolver.hs b/kore/src/Kore/Log/DebugSolver.hs
@@ -1,3 +1,6 @@
+{-# LANGUAGE NoStrict #-}
+{-# LANGUAGE NoStrictData #-}
+
 {- |
 Copyright   : (c) Runtime Verification, 2019-2021
 License     : BSD-3-Clause

diff --git a/kore/src/Kore/Log/DebugSubstitutionSimplifier.hs b/kore/src/Kore/Log/DebugSubstitutionSimplifier.hs
@@ -1,3 +1,6 @@
+{-# LANGUAGE NoStrict #-}
+{-# LANGUAGE NoStrictData #-}
+
 {- |
 Copyright   : (c) Runtime Verification, 2020-2021
 License     : BSD-3-Clause

diff --git a/kore/src/Kore/Log/DebugTransition.hs b/kore/src/Kore/Log/DebugTransition.hs
@@ -1,3 +1,6 @@
+{-# LANGUAGE NoStrict #-}
+{-# LANGUAGE NoStrictData #-}
+
 {- |
 Copyright   : (c) Runtime Verification, 2021
 License     : BSD-3-Clause

diff --git a/kore/src/Kore/Log/DebugUnification.hs b/kore/src/Kore/Log/DebugUnification.hs
@@ -1,3 +1,6 @@
+{-# LANGUAGE NoStrict #-}
+{-# LANGUAGE NoStrictData #-}
+
 {- |
 Copyright   : (c) Runtime Verification, 2020-2021
 License     : BSD-3-Clause
@@ -23,9 +26,9 @@ import Pretty (
 import Pretty qualified
 
 data DebugUnification
-    = DebugUnificationWhile !WhileDebugUnification
+    = DebugUnificationWhile WhileDebugUnification
     | DebugUnificationSolved UnificationSolved
-    | DebugUnificationUnsolved !UnificationUnsolved
+    | DebugUnificationUnsolved UnificationUnsolved
     deriving stock (Show)
 
 instance Pretty DebugUnification where

diff --git a/kore/src/Kore/Log/DebugUnifyBottom.hs b/kore/src/Kore/Log/DebugUnifyBottom.hs
@@ -1,3 +1,6 @@
+{-# LANGUAGE NoStrict #-}
+{-# LANGUAGE NoStrictData #-}
+
 {- |
 Copyright   : (c) Runtime Verification, 2021
 License     : BSD-3-Clause

diff --git a/kore/src/Kore/Log/ErrorBottomTotalFunction.hs b/kore/src/Kore/Log/ErrorBottomTotalFunction.hs
@@ -1,3 +1,6 @@
+{-# LANGUAGE NoStrict #-}
+{-# LANGUAGE NoStrictData #-}
+
 {- |
 Copyright   : (c) Runtime Verification, 2020-2021
 License     : BSD-3-Clause

diff --git a/kore/src/Kore/Log/ErrorDecidePredicateUnknown.hs b/kore/src/Kore/Log/ErrorDecidePredicateUnknown.hs
@@ -1,3 +1,6 @@
+{-# LANGUAGE NoStrict #-}
+{-# LANGUAGE NoStrictData #-}
+
 {- |
 Copyright   : (c) Runtime Verification, 2020-2021
 License     : BSD-3-Clause

diff --git a/kore/src/Kore/Log/ErrorEquationRightFunction.hs b/kore/src/Kore/Log/ErrorEquationRightFunction.hs
@@ -1,3 +1,6 @@
+{-# LANGUAGE NoStrict #-}
+{-# LANGUAGE NoStrictData #-}
+
 {- |
 Copyright : (c) Runtime Verification 2021
 License   : BSD-3-Clause

diff --git a/kore/src/Kore/Log/ErrorEquationsSameMatch.hs b/kore/src/Kore/Log/ErrorEquationsSameMatch.hs
@@ -1,3 +1,6 @@
+{-# LANGUAGE NoStrict #-}
+{-# LANGUAGE NoStrictData #-}
+
 {- |
 Copyright : (c) Runtime Verification 2021
 License   : BSD-3-Clause

diff --git a/kore/src/Kore/Log/ErrorException.hs b/kore/src/Kore/Log/ErrorException.hs
@@ -1,3 +1,6 @@
+{-# LANGUAGE NoStrict #-}
+{-# LANGUAGE NoStrictData #-}
+
 {- |
 Copyright   : (c) Runtime Verification, 2019-2021
 License     : BSD-3-Clause

diff --git a/kore/src/Kore/Log/ErrorOutOfDate.hs b/kore/src/Kore/Log/ErrorOutOfDate.hs
@@ -1,3 +1,6 @@
+{-# LANGUAGE NoStrict #-}
+{-# LANGUAGE NoStrictData #-}
+
 {- |
 Copyright   : (c) Runtime Verification, 2020-2021
 License     : BSD-3-Clause

diff --git a/kore/src/Kore/Log/ErrorParse.hs b/kore/src/Kore/Log/ErrorParse.hs
@@ -1,3 +1,6 @@
+{-# LANGUAGE NoStrict #-}
+{-# LANGUAGE NoStrictData #-}
+
 {- |
 Copyright   : (c) Runtime Verification, 2020-2021
 License     : BSD-3-Clause

diff --git a/kore/src/Kore/Log/ErrorRewriteLoop.hs b/kore/src/Kore/Log/ErrorRewriteLoop.hs
@@ -1,3 +1,6 @@
+{-# LANGUAGE NoStrict #-}
+{-# LANGUAGE NoStrictData #-}
+
 {- |
 Copyright   : (c) Runtime Verification, 2020-2021
 License     : BSD-3-Clause

diff --git a/kore/src/Kore/Log/ErrorRewritesInstantiation.hs b/kore/src/Kore/Log/ErrorRewritesInstantiation.hs
@@ -1,3 +1,6 @@
+{-# LANGUAGE NoStrict #-}
+{-# LANGUAGE NoStrictData #-}
+
 {- |
 Copyright   : (c) Runtime Verification, 2020-2021
 License     : BSD-3-Clause

diff --git a/kore/src/Kore/Log/ErrorVerify.hs b/kore/src/Kore/Log/ErrorVerify.hs
@@ -1,3 +1,6 @@
+{-# LANGUAGE NoStrict #-}
+{-# LANGUAGE NoStrictData #-}
+
 {- |
 Copyright   : (c) Runtime Verification, 2020-2021
 License     : BSD-3-Clause

diff --git a/kore/src/Kore/Log/InfoAttemptUnification.hs b/kore/src/Kore/Log/InfoAttemptUnification.hs
@@ -1,3 +1,6 @@
+{-# LANGUAGE NoStrict #-}
+{-# LANGUAGE NoStrictData #-}
+
 {- |
 Copyright   : (c) Runtime Verification, 2020-2021
 License     : BSD-3-Clause

diff --git a/kore/src/Kore/Log/InfoExecBreadth.hs b/kore/src/Kore/Log/InfoExecBreadth.hs
@@ -1,3 +1,6 @@
+{-# LANGUAGE NoStrict #-}
+{-# LANGUAGE NoStrictData #-}
+
 {- |
 Copyright   : (c) Runtime Verification, 2020-2021
 License     : BSD-3-Clause

diff --git a/kore/src/Kore/Log/InfoExecDepth.hs b/kore/src/Kore/Log/InfoExecDepth.hs
@@ -1,3 +1,6 @@
+{-# LANGUAGE NoStrict #-}
+{-# LANGUAGE NoStrictData #-}
+
 {- |
 Copyright   : (c) Runtime Verification, 2020-2021
 License     : BSD-3-Clause

diff --git a/kore/src/Kore/Log/InfoProofDepth.hs b/kore/src/Kore/Log/InfoProofDepth.hs
@@ -1,3 +1,6 @@
+{-# LANGUAGE NoStrict #-}
+{-# LANGUAGE NoStrictData #-}
+
 {- |
 Copyright   : (c) Runtime Verification, 2020-2021
 License     : BSD-3-Clause

diff --git a/kore/src/Kore/Log/InfoReachability.hs b/kore/src/Kore/Log/InfoReachability.hs
@@ -1,3 +1,6 @@
+{-# LANGUAGE NoStrict #-}
+{-# LANGUAGE NoStrictData #-}
+
 {- |
 Copyright   : (c) Runtime Verification, 2020-2021
 License     : BSD-3-Clause

diff --git a/kore/src/Kore/Log/WarnBoundedModelChecker.hs b/kore/src/Kore/Log/WarnBoundedModelChecker.hs
@@ -1,3 +1,6 @@
+{-# LANGUAGE NoStrict #-}
+{-# LANGUAGE NoStrictData #-}
+
 {- |
 Copyright   : (c) Runtime Verification, 2021
 License     : BSD-3-Clause

diff --git a/kore/src/Kore/Log/WarnClaimRHSIsBottom.hs b/kore/src/Kore/Log/WarnClaimRHSIsBottom.hs
@@ -1,3 +1,6 @@
+{-# LANGUAGE NoStrict #-}
+{-# LANGUAGE NoStrictData #-}
+
 {- |
 Copyright   : (c) Runtime Verification, 2021
 License     : BSD-3-Clause

diff --git a/kore/src/Kore/Log/WarnDepthLimitExceeded.hs b/kore/src/Kore/Log/WarnDepthLimitExceeded.hs
@@ -1,3 +1,6 @@
+{-# LANGUAGE NoStrict #-}
+{-# LANGUAGE NoStrictData #-}
+
 {- |
 Copyright   : (c) Runtime Verification, 2019-2021
 License     : BSD-3-Clause

diff --git a/kore/src/Kore/Log/WarnFunctionWithoutEvaluators.hs b/kore/src/Kore/Log/WarnFunctionWithoutEvaluators.hs
@@ -1,3 +1,6 @@
+{-# LANGUAGE NoStrict #-}
+{-# LANGUAGE NoStrictData #-}
+
 {- |
 Copyright   : (c) Runtime Verification, 2019-2021
 License     : BSD-3-Clause

diff --git a/kore/src/Kore/Log/WarnIfLowProductivity.hs b/kore/src/Kore/Log/WarnIfLowProductivity.hs
@@ -1,3 +1,6 @@
+{-# LANGUAGE NoStrict #-}
+{-# LANGUAGE NoStrictData #-}
+
 {- |
 Copyright   : (c) Runtime Verification, 2020-2021
 License     : BSD-3-Clause

diff --git a/kore/src/Kore/Log/WarnNotImplemented.hs b/kore/src/Kore/Log/WarnNotImplemented.hs
@@ -1,3 +1,6 @@
+{-# LANGUAGE NoStrict #-}
+{-# LANGUAGE NoStrictData #-}
+
 {- |
 Copyright   : (c) Runtime Verification, 2020-2021
 License     : BSD-3-Clause

diff --git a/kore/src/Kore/Log/WarnRestartSolver.hs b/kore/src/Kore/Log/WarnRestartSolver.hs
@@ -1,3 +1,6 @@
+{-# LANGUAGE NoStrict #-}
+{-# LANGUAGE NoStrictData #-}
+
 {- |
 Copyright   : (c) Runtime Verification, 2022
 License     : BSD-3-Clause

diff --git a/kore/src/Kore/Log/WarnStuckClaimState.hs b/kore/src/Kore/Log/WarnStuckClaimState.hs
@@ -1,3 +1,6 @@
+{-# LANGUAGE NoStrict #-}
+{-# LANGUAGE NoStrictData #-}
+
 {- |
 Copyright   : (c) Runtime Verification, 2019-2021
 License     : BSD-3-Clause
@@ -24,10 +27,10 @@ The warning message distinguishes for the user the ways that a proof can be stuc
 data WarnStuckClaimState
     = -- | The terms of the left- and right-hand sides do not unify,
       -- and the left-hand side cannot be rewritten any further.
-      TermsUnifiableStuck !SomeClaim
+      TermsUnifiableStuck SomeClaim
     | -- | The left- and right-hand side terms are unifiable, but the left-hand side
       -- condition does not imply the right-hand side condition.
-      TermsNotUnifiableStuck !SomeClaim
+      TermsNotUnifiableStuck SomeClaim
     deriving stock (Show)
 
 instance Pretty WarnStuckClaimState where

diff --git a/kore/src/Kore/Log/WarnSymbolSMTRepresentation.hs b/kore/src/Kore/Log/WarnSymbolSMTRepresentation.hs
@@ -1,3 +1,6 @@
+{-# LANGUAGE NoStrict #-}
+{-# LANGUAGE NoStrictData #-}
+
 {- |
 Copyright   : (c) Runtime Verification, 2019-2021
 License     : BSD-3-Clause

diff --git a/kore/src/Kore/Log/WarnTrivialClaim.hs b/kore/src/Kore/Log/WarnTrivialClaim.hs
@@ -1,3 +1,6 @@
+{-# LANGUAGE NoStrict #-}
+{-# LANGUAGE NoStrictData #-}
+
 {- |
 Copyright   : (c) Runtime Verification, 2020-2021
 License     : BSD-3-Clause

diff --git a/kore/src/Kore/Log/WarnUnsimplified.hs b/kore/src/Kore/Log/WarnUnsimplified.hs
@@ -1,3 +1,6 @@
+{-# LANGUAGE NoStrict #-}
+{-# LANGUAGE NoStrictData #-}
+
 {- |
 Copyright   : (c) Runtime Verification, 2021
 License     : BSD-3-Clause
@@ -34,16 +37,16 @@ import Pretty (
 import Pretty qualified
 
 data WarnUnsimplifiedPredicate = WarnUnsimplifiedPredicate
-    { limit :: !Int
-    , original :: !(Predicate RewritingVariableName)
-    , output :: !(MultiOr (MultiAnd (Predicate RewritingVariableName)))
+    { limit :: Int
+    , original :: (Predicate RewritingVariableName)
+    , output :: (MultiOr (MultiAnd (Predicate RewritingVariableName)))
     }
     deriving stock (Show)
 
 data WarnUnsimplifiedCondition = WarnUnsimplifiedCondition
-    { limit :: !Int
-    , original :: !(Condition RewritingVariableName)
-    , output :: !(Condition RewritingVariableName)
+    { limit :: Int
+    , original :: (Condition RewritingVariableName)
+    , output :: (Condition RewritingVariableName)
     }
     deriving stock (Show)
 

diff --git a/kore/src/Log.hs b/kore/src/Log.hs
@@ -1,3 +1,6 @@
+{-# LANGUAGE NoStrict #-}
+{-# LANGUAGE NoStrictData #-}
+
 {- |
 Copyright   : (c) Runtime Verification, 2018-2021
 License     : BSD-3-Clause