From c86e9d2c0a2d7800a3cb49443d962463f88175d1 Mon Sep 17 00:00:00 2001 From: Jost Berthold Date: Thu, 30 Jun 2022 11:43:40 +1000 Subject: [PATCH] make all logging data types non-strict (#3125) --- kore/src/Kore/Log/DebugAppliedRewriteRules.hs | 3 +++ kore/src/Kore/Log/DebugAttemptedRewriteRules.hs | 3 +++ kore/src/Kore/Log/DebugBeginClaim.hs | 3 +++ kore/src/Kore/Log/DebugCreatedSubstitution.hs | 3 +++ kore/src/Kore/Log/DebugEvaluateCondition.hs | 3 +++ kore/src/Kore/Log/DebugProven.hs | 3 +++ kore/src/Kore/Log/DebugRetrySolverQuery.hs | 3 +++ kore/src/Kore/Log/DebugSolver.hs | 3 +++ kore/src/Kore/Log/DebugSubstitutionSimplifier.hs | 3 +++ kore/src/Kore/Log/DebugTransition.hs | 3 +++ kore/src/Kore/Log/DebugUnification.hs | 7 +++++-- kore/src/Kore/Log/DebugUnifyBottom.hs | 3 +++ kore/src/Kore/Log/ErrorBottomTotalFunction.hs | 3 +++ kore/src/Kore/Log/ErrorDecidePredicateUnknown.hs | 3 +++ kore/src/Kore/Log/ErrorEquationRightFunction.hs | 3 +++ kore/src/Kore/Log/ErrorEquationsSameMatch.hs | 3 +++ kore/src/Kore/Log/ErrorException.hs | 3 +++ kore/src/Kore/Log/ErrorOutOfDate.hs | 3 +++ kore/src/Kore/Log/ErrorParse.hs | 3 +++ kore/src/Kore/Log/ErrorRewriteLoop.hs | 3 +++ kore/src/Kore/Log/ErrorRewritesInstantiation.hs | 3 +++ kore/src/Kore/Log/ErrorVerify.hs | 3 +++ kore/src/Kore/Log/InfoAttemptUnification.hs | 3 +++ kore/src/Kore/Log/InfoExecBreadth.hs | 3 +++ kore/src/Kore/Log/InfoExecDepth.hs | 3 +++ kore/src/Kore/Log/InfoProofDepth.hs | 3 +++ kore/src/Kore/Log/InfoReachability.hs | 3 +++ kore/src/Kore/Log/WarnBoundedModelChecker.hs | 3 +++ kore/src/Kore/Log/WarnClaimRHSIsBottom.hs | 3 +++ kore/src/Kore/Log/WarnDepthLimitExceeded.hs | 3 +++ .../src/Kore/Log/WarnFunctionWithoutEvaluators.hs | 3 +++ kore/src/Kore/Log/WarnIfLowProductivity.hs | 3 +++ kore/src/Kore/Log/WarnNotImplemented.hs | 3 +++ kore/src/Kore/Log/WarnRestartSolver.hs | 3 +++ kore/src/Kore/Log/WarnStuckClaimState.hs | 7 +++++-- kore/src/Kore/Log/WarnSymbolSMTRepresentation.hs | 3 +++ kore/src/Kore/Log/WarnTrivialClaim.hs | 3 +++ kore/src/Kore/Log/WarnUnsimplified.hs | 15 +++++++++------ kore/src/Log.hs | 3 +++ 39 files changed, 127 insertions(+), 10 deletions(-) diff --git a/kore/src/Kore/Log/DebugAppliedRewriteRules.hs b/kore/src/Kore/Log/DebugAppliedRewriteRules.hs index 4bbae0cac6..980f523dd1 100644 --- 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 index e0b3384bb2..281c95025f 100644 --- 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 index 821fe583c0..2017621b2e 100644 --- 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 index f2dfaeef9e..e35335ae96 100644 --- 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 index 2756ee4048..83a8271b14 100644 --- 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 index 9170676ac9..b6562eb872 100644 --- 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 index 54097e9c89..ad10093a8b 100644 --- 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 index 6bbce60646..003375d122 100644 --- 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 index d264d0939c..f69daf2fc0 100644 --- 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 index e43919dada..6071212aae 100644 --- 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 index 7095cd8d9b..9ad88108ea 100644 --- 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 index b3aa1978a1..237ac1ca75 100644 --- 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 index a0db05cb5f..d38156ffa9 100644 --- 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 index eda7742474..d1c938c25f 100644 --- 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 index 10a0b534b1..277103cfa6 100644 --- 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 index 46ab6b3241..308ba69545 100644 --- 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 index 3a3a7725d9..fc0a57f96d 100644 --- 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 index 6d567ad29c..abb7447fcb 100644 --- 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 index f4c992d968..ae4e37f30e 100644 --- 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 index 17392d58b9..9d2fc1480f 100644 --- 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 index e2bfa9b2d1..08cb4beed0 100644 --- 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 index ee9536c4df..69a704f8ba 100644 --- 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 index f5cfe69e06..ee8f3ff0cb 100644 --- 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 index 2c4e2ec327..37bcbc7808 100644 --- 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 index 9c1e8987c1..34593367af 100644 --- 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 index 36df974826..aea19302ab 100644 --- 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 index 657e54235b..fd6606f5af 100644 --- 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 index 36abf577fc..ea166aced4 100644 --- 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 index 3a6f2b6fb9..8b86401c71 100644 --- 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 index ae6ea8c3fd..8b74104c5f 100644 --- 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 index 9bbfbd72e4..ab96ceb720 100644 --- 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 index b9d55bd5f1..9261726126 100644 --- 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 index 2871c20124..4699880cb5 100644 --- 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 index 9b3c1363c7..7f5e2d9e20 100644 --- 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 index c27414cbb6..31b0a8d50b 100644 --- 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 index 842859a0b3..8afdd41700 100644 --- 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 index edac79bd1a..bf8cf100ad 100644 --- 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 index dad4486a33..8f3a65e440 100644 --- 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 index f17498e115..5ab938ec9e 100644 --- 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