Add Strict to nofib examples

plutus-benchmark/nofib/src/PlutusBenchmark/NoFib/Clausify.hs

@@ -3,6 +3,7 @@
 {-# LANGUAGE MultiParamTypeClasses #-}
 {-# LANGUAGE NoImplicitPrelude     #-}
 {-# LANGUAGE ScopedTypeVariables   #-}
+{-# LANGUAGE Strict                #-}
 {-# LANGUAGE TemplateHaskell       #-}
 
 {-# OPTIONS_GHC -fno-warn-name-shadowing #-}

plutus-benchmark/nofib/src/PlutusBenchmark/NoFib/Knights.hs

@@ -2,6 +2,7 @@
 {-# LANGUAGE MultiParamTypeClasses #-}
 {-# LANGUAGE NoImplicitPrelude     #-}
 {-# LANGUAGE ScopedTypeVariables   #-}
+{-# LANGUAGE Strict                #-}
 {-# LANGUAGE TemplateHaskell       #-}
 
 {-# OPTIONS_GHC -fno-warn-orphans #-}

plutus-benchmark/nofib/src/PlutusBenchmark/NoFib/Knights/ChessSetList.hs

@@ -1,6 +1,7 @@
 {-# LANGUAGE DeriveAnyClass    #-}
 {-# LANGUAGE DeriveGeneric     #-}
 {-# LANGUAGE NoImplicitPrelude #-}
+{-# LANGUAGE Strict            #-}
 -- Turning this off makes things fail, should investigate why
 {-# OPTIONS_GHC -fno-strictness #-}
 

plutus-benchmark/nofib/src/PlutusBenchmark/NoFib/Knights/KnightHeuristic.hs

@@ -1,4 +1,5 @@
 {-# LANGUAGE NoImplicitPrelude #-}
+{-# LANGUAGE Strict            #-}
 
 module PlutusBenchmark.NoFib.Knights.KnightHeuristic
    ( ChessSet,

plutus-benchmark/nofib/src/PlutusBenchmark/NoFib/Knights/Queue.hs

@@ -1,3 +1,4 @@
+{-# LANGUAGE Strict #-}
 module PlutusBenchmark.NoFib.Knights.Queue
   ( Queue, createQueue, addFront, addBack,
     addAllFront, addAllBack, inquireFront,

plutus-benchmark/nofib/src/PlutusBenchmark/NoFib/Knights/Sort.hs

@@ -1,3 +1,4 @@
+{-# LANGUAGE Strict #-}
 {-# OPTIONS_GHC -fno-warn-unused-top-binds #-}
 
 module PlutusBenchmark.NoFib.Knights.Sort

plutus-benchmark/nofib/src/PlutusBenchmark/NoFib/Knights/Utils.hs

@@ -1,4 +1,5 @@
 {-# LANGUAGE NoImplicitPrelude #-}
+{-# LANGUAGE Strict            #-}
 
 module PlutusBenchmark.NoFib.Knights.Utils where
 

plutus-benchmark/nofib/src/PlutusBenchmark/NoFib/LastPiece.hs

@@ -4,6 +4,7 @@
 {-# LANGUAGE NoImplicitPrelude     #-}
 {-# LANGUAGE OverloadedStrings     #-}
 {-# LANGUAGE ScopedTypeVariables   #-}
+{-# LANGUAGE Strict                #-}
 {-# LANGUAGE TemplateHaskell       #-}
 
 {-% Last piece puzzle, adapted from nofib/spectral/last-piece.

plutus-benchmark/nofib/src/PlutusBenchmark/NoFib/Prime.hs

@@ -11,6 +11,7 @@
 {-# LANGUAGE MultiParamTypeClasses #-}
 {-# LANGUAGE NoImplicitPrelude     #-}
 {-# LANGUAGE ScopedTypeVariables   #-}
+{-# LANGUAGE Strict                #-}
 {-# LANGUAGE TemplateHaskell       #-}
 
 {-# OPTIONS_GHC -fno-warn-identities #-}

plutus-benchmark/nofib/src/PlutusBenchmark/NoFib/Queens.hs

@@ -7,6 +7,7 @@
 {-# LANGUAGE MultiParamTypeClasses #-}
 {-# LANGUAGE NoImplicitPrelude     #-}
 {-# LANGUAGE ScopedTypeVariables   #-}
+{-# LANGUAGE Strict                #-}
 {-# LANGUAGE TemplateHaskell       #-}
 
 {-# OPTIONS_GHC -fno-warn-incomplete-patterns #-}