Kore.Syntax: make fields strict, add language strict (#2504)

* Kore.Syntax: make fields strict

* Format with fourmolu

Co-authored-by: ana-pantilie <[email protected]>
Co-authored-by: Thomas Tuegel <[email protected]>
Co-authored-by: rv-jenkins <[email protected]>

Author: 3 people

kore/src/Kore/Syntax/And.hs

@@ -1,3 +1,5 @@
+{-# LANGUAGE Strict #-}
+
 {- |
 Copyright   : (c) Runtime Verification, 2019
 License     : NCSA
@@ -26,8 +28,8 @@ This represents the 'andFirst ∧ andSecond' Matching Logic construct.
 -}
 data And sort child = And
     { andSort :: !sort
-    , andFirst :: child
-    , andSecond :: child
+    , andFirst :: !child
+    , andSecond :: !child
     }
     deriving (Eq, Ord, Show)
     deriving (Functor, Foldable, Traversable)

kore/src/Kore/Syntax/Application.hs

@@ -1,3 +1,5 @@
+{-# LANGUAGE Strict #-}
+
 {- |
 Copyright   : (c) Runtime Verification, 2018
 License     : NCSA
@@ -62,7 +64,7 @@ This represents the @σ(φ1, ..., φn)@ symbol patterns in Matching Logic.
 -}
 data Application head child = Application
     { applicationSymbolOrAlias :: !head
-    , applicationChildren :: [child]
+    , applicationChildren :: ![child]
     }
     deriving (Eq, Ord, Show)
     deriving (Functor, Foldable, Traversable)

kore/src/Kore/Syntax/Bottom.hs

@@ -1,3 +1,5 @@
+{-# LANGUAGE Strict #-}
+
 {- |
 Copyright   : (c) Runtime Verification, 2019
 License     : NCSA

kore/src/Kore/Syntax/Ceil.hs

@@ -1,3 +1,5 @@
+{-# LANGUAGE Strict #-}
+
 {- |
 Copyright   : (c) Runtime Verification, 2019
 License     : NCSA
@@ -29,7 +31,7 @@ This represents the ⌈ceilPattern⌉ Matching Logic construct.
 data Ceil sort child = Ceil
     { ceilOperandSort :: !sort
     , ceilResultSort :: !sort
-    , ceilChild :: child
+    , ceilChild :: !child
     }
     deriving (Eq, Ord, Show)
     deriving (Functor, Foldable, Traversable)

kore/src/Kore/Syntax/DomainValue.hs

@@ -1,3 +1,5 @@
+{-# LANGUAGE Strict #-}
+
 {- |
 Copyright   : (c) Runtime Verification, 2019
 License     : NCSA

kore/src/Kore/Syntax/Equals.hs

@@ -1,3 +1,5 @@
+{-# LANGUAGE Strict #-}
+
 {- |
 Copyright   : (c) Runtime Verification, 2019
 License     : NCSA
@@ -30,8 +32,8 @@ Section 9.1.4 (Patterns).
 data Equals sort child = Equals
     { equalsOperandSort :: !sort
     , equalsResultSort :: !sort
-    , equalsFirst :: child
-    , equalsSecond :: child
+    , equalsFirst :: !child
+    , equalsSecond :: !child
     }
     deriving (Eq, Ord, Show)
     deriving (Functor, Foldable, Traversable)

kore/src/Kore/Syntax/Exists.hs

@@ -1,3 +1,5 @@
+{-# LANGUAGE Strict #-}
+
 {- |
 Copyright   : (c) Runtime Verification, 2019
 License     : NCSA
@@ -26,7 +28,7 @@ Section 9.1.4 (Patterns).
 data Exists sort variable child = Exists
     { existsSort :: !sort
     , existsVariable :: !(ElementVariable variable)
-    , existsChild :: child
+    , existsChild :: !child
     }
     deriving (Eq, Ord, Show)
     deriving (Functor, Foldable, Traversable)

kore/src/Kore/Syntax/Floor.hs

@@ -1,3 +1,5 @@
+{-# LANGUAGE Strict #-}
+
 {- |
 Copyright   : (c) Runtime Verification, 2019
 License     : NCSA
@@ -27,7 +29,7 @@ Section 9.1.4 (Patterns).
 data Floor sort child = Floor
     { floorOperandSort :: !sort
     , floorResultSort :: !sort
-    , floorChild :: child
+    , floorChild :: !child
     }
     deriving (Eq, Ord, Show)
     deriving (Functor, Foldable, Traversable)

kore/src/Kore/Syntax/Forall.hs

@@ -1,3 +1,5 @@
+{-# LANGUAGE Strict #-}
+
 {- |
 Copyright   : (c) Runtime Verification, 2019
 License     : NCSA
@@ -26,7 +28,7 @@ Section 9.1.4 (Patterns).
 data Forall sort variable child = Forall
     { forallSort :: !sort
     , forallVariable :: !(ElementVariable variable)
-    , forallChild :: child
+    , forallChild :: !child
     }
     deriving (Eq, Ord, Show)
     deriving (Functor, Foldable, Traversable)

kore/src/Kore/Syntax/Id.hs

@@ -1,3 +1,5 @@
+{-# LANGUAGE Strict #-}
+
 {- |
 Copyright   : (c) Runtime Verification, 2018
 License     : NCSA
@@ -115,7 +117,7 @@ data AstLocation
     | AstLocationImplicit
     | AstLocationGeneratedVariable
     | AstLocationTest
-    | AstLocationFile FileLocation
+    | AstLocationFile !FileLocation
     | -- | This should not be used and should be eliminated in further releases
       AstLocationUnknown
     deriving (Eq, Ord, Show)
@@ -149,9 +151,9 @@ prettyPrintAstLocation AstLocationUnknown = "<unknown location>"
 
 -- | 'FileLocation' represents a position in a source file.
 data FileLocation = FileLocation
-    { fileName :: FilePath
-    , line :: Int
-    , column :: Int
+    { fileName :: !FilePath
+    , line :: !Int
+    , column :: !Int
     }
     deriving (Eq, Ord, Show)
     deriving (GHC.Generic)

kore/src/Kore/Syntax/Iff.hs

@@ -1,3 +1,5 @@
+{-# LANGUAGE Strict #-}
+
 {- |
 Copyright   : (c) Runtime Verification, 2019
 License     : NCSA
@@ -24,8 +26,8 @@ Section 9.1.4 (Patterns).
 -}
 data Iff sort child = Iff
     { iffSort :: !sort
-    , iffFirst :: child
-    , iffSecond :: child
+    , iffFirst :: !child
+    , iffSecond :: !child
     }
     deriving (Eq, Ord, Show)
     deriving (Functor, Foldable, Traversable)

kore/src/Kore/Syntax/Implies.hs

@@ -1,3 +1,5 @@
+{-# LANGUAGE Strict #-}
+
 {- |
 Copyright   : (c) Runtime Verification, 2019
 License     : NCSA
@@ -24,8 +26,8 @@ Section 9.1.4 (Patterns).
 -}
 data Implies sort child = Implies
     { impliesSort :: !sort
-    , impliesFirst :: child
-    , impliesSecond :: child
+    , impliesFirst :: !child
+    , impliesSecond :: !child
     }
     deriving (Eq, Ord, Show)
     deriving (Functor, Foldable, Traversable)

kore/src/Kore/Syntax/In.hs

@@ -1,3 +1,5 @@
+{-# LANGUAGE Strict #-}
+
 {- |
 Copyright   : (c) Runtime Verification, 2019
 License     : NCSA
@@ -27,8 +29,8 @@ Section 9.1.4 (Patterns).
 data In sort child = In
     { inOperandSort :: !sort
     , inResultSort :: !sort
-    , inContainedChild :: child
-    , inContainingChild :: child
+    , inContainedChild :: !child
+    , inContainingChild :: !child
     }
     deriving (Eq, Ord, Show)
     deriving (Functor, Foldable, Traversable)

kore/src/Kore/Syntax/Inhabitant.hs

@@ -1,3 +1,5 @@
+{-# LANGUAGE Strict #-}
+
 {- |
 Copyright   : (c) Runtime Verification, 2019
 License     : NCSA

kore/src/Kore/Syntax/Mu.hs

@@ -1,3 +1,5 @@
+{-# LANGUAGE Strict #-}
+
 {- |
 Copyright   : (c) Runtime Verification, 2019
 License     : NCSA
@@ -24,7 +26,7 @@ The sort of the variable is the same as the sort of the result.
 -}
 data Mu variable child = Mu
     { muVariable :: !(SetVariable variable)
-    , muChild :: child
+    , muChild :: !child
     }
     deriving (Eq, Ord, Show)
     deriving (Functor, Foldable, Traversable)

kore/src/Kore/Syntax/Next.hs

@@ -1,3 +1,5 @@
+{-# LANGUAGE Strict #-}
+
 {- |
 Copyright   : (c) Runtime Verification, 2019
 License     : NCSA
@@ -23,7 +25,7 @@ syntactic category from the Semantics of K, Section 9.1.4 (Patterns).
 -}
 data Next sort child = Next
     { nextSort :: !sort
-    , nextChild :: child
+    , nextChild :: !child
     }
     deriving (Eq, Ord, Show)
     deriving (Functor, Foldable, Traversable)

kore/src/Kore/Syntax/Not.hs

@@ -1,3 +1,5 @@
+{-# LANGUAGE Strict #-}
+
 {- |
 Copyright   : (c) Runtime Verification, 2019
 License     : NCSA
@@ -25,7 +27,7 @@ Section 9.1.4 (Patterns).
 -}
 data Not sort child = Not
     { notSort :: !sort
-    , notChild :: child
+    , notChild :: !child
     }
     deriving (Eq, Ord, Show)
     deriving (Functor, Foldable, Traversable)

kore/src/Kore/Syntax/Nu.hs

@@ -1,3 +1,5 @@
+{-# LANGUAGE Strict #-}
+
 {- |
 Copyright   : (c) Runtime Verification, 2019
 License     : NCSA
@@ -24,7 +26,7 @@ The sort of the variable is the same as the sort of the result.
 -}
 data Nu variable child = Nu
     { nuVariable :: !(SetVariable variable)
-    , nuChild :: child
+    , nuChild :: !child
     }
     deriving (Eq, Ord, Show)
     deriving (Functor, Foldable, Traversable)

kore/src/Kore/Syntax/Or.hs

@@ -1,3 +1,5 @@
+{-# LANGUAGE Strict #-}
+
 {- |
 Copyright   : (c) Runtime Verification, 2019
 License     : NCSA
@@ -27,8 +29,8 @@ Section 9.1.4 (Patterns).
 -}
 data Or sort child = Or
     { orSort :: !sort
-    , orFirst :: child
-    , orSecond :: child
+    , orFirst :: !child
+    , orSecond :: !child
     }
     deriving (Eq, Ord, Show)
     deriving (Functor, Foldable, Traversable)

kore/src/Kore/Syntax/Rewrites.hs

@@ -1,3 +1,5 @@
+{-# LANGUAGE Strict #-}
+
 {- |
 Copyright   : (c) Runtime Verification, 2019
 License     : NCSA
@@ -23,8 +25,8 @@ syntactic category from the Semantics of K, Section 9.1.4 (Patterns).
 -}
 data Rewrites sort child = Rewrites
     { rewritesSort :: !sort
-    , rewritesFirst :: child
-    , rewritesSecond :: child
+    , rewritesFirst :: !child
+    , rewritesSecond :: !child
     }
     deriving (Eq, Ord, Show)
     deriving (Functor, Foldable, Traversable)

kore/src/Kore/Syntax/StringLiteral.hs

@@ -1,3 +1,5 @@
+{-# LANGUAGE Strict #-}
+
 {- |
 Copyright   : (c) Runtime Verification, 2019
 License     : NCSA

kore/src/Kore/Syntax/Top.hs

@@ -1,3 +1,5 @@
+{-# LANGUAGE Strict #-}
+
 {- |
 Copyright   : (c) Runtime Verification, 2019
 License     : NCSA

kore/src/Kore/Syntax/Variable.hs

@@ -1,4 +1,5 @@
 {-# LANGUAGE EmptyDataDeriving #-}
+{-# LANGUAGE Strict #-}
 
 {- |
 Copyright   : (c) Runtime Verification, 2019
@@ -398,9 +399,9 @@ function in each field of @f@ to the value in the corresponding field of @a@.
 -}
 data AdjSomeVariableName a = AdjSomeVariableName
     { -- | compare to: 'SomeVariableNameElement'
-      adjSomeVariableNameElement :: ElementVariableName a
+      adjSomeVariableNameElement :: !(ElementVariableName a)
     , -- | compare to: 'SomeVariableNameSet'
-      adjSomeVariableNameSet :: SetVariableName a
+      adjSomeVariableNameSet :: !(SetVariableName a)
     }
     deriving (Functor)
     deriving (GHC.Generic1)