From 55d2180e628031f012327dc2f664bfcd278f14c0 Mon Sep 17 00:00:00 2001
From: Brian W Bush <brian.bush@iohk.io>
Date: Tue, 20 Sep 2022 14:12:35 -0600
Subject: [PATCH] SCP-3522 Reduced validator sizes.

---
 .../src/Language/Marlowe/Runtime/Core/ScriptRegistry.hs       | 4 ++--
 marlowe/src/Language/Marlowe/Scripts.hs                       | 1 -
 marlowe/test/Spec/Marlowe/Marlowe.hs                          | 4 ++--
 3 files changed, 4 insertions(+), 5 deletions(-)

diff --git a/marlowe-runtime/src/Language/Marlowe/Runtime/Core/ScriptRegistry.hs b/marlowe-runtime/src/Language/Marlowe/Runtime/Core/ScriptRegistry.hs
index a10b2e9d56..31a0df8126 100644
--- a/marlowe-runtime/src/Language/Marlowe/Runtime/Core/ScriptRegistry.hs
+++ b/marlowe-runtime/src/Language/Marlowe/Runtime/Core/ScriptRegistry.hs
@@ -26,8 +26,8 @@ data MarloweScripts = MarloweScripts
 -- been published).
 currentV1Scripts :: MarloweScripts
 currentV1Scripts = MarloweScripts
-  "44377808ec69200314c2601b096f9009734ae4f741888f67ad61d941"
-  "6db99855e93e8fda9e917692bc746c9f6db73e9e9234a3abeeea971c"
+  "e3d45305a82b6817e120a29cfc1b6cd7c1535b6640e49a99dc267e57"
+  "49076eab20243dc9462511fb98a9cfb719f86e9692288139b7c91df3"
 
 -- | The set of known script hash sets for Marlowe V1.
 v1Scripts :: Set MarloweScripts
diff --git a/marlowe/src/Language/Marlowe/Scripts.hs b/marlowe/src/Language/Marlowe/Scripts.hs
index ca20d62e73..5db5c20178 100644
--- a/marlowe/src/Language/Marlowe/Scripts.hs
+++ b/marlowe/src/Language/Marlowe/Scripts.hs
@@ -118,7 +118,6 @@ closeInterval _ = Nothing
 
 
 {-# INLINABLE mkMarloweValidator #-}
-{-# OPTIONS_GHC -Wno-deferred-out-of-scope-variables #-}
 mkMarloweValidator
     :: ValidatorHash
     -> MarloweData
diff --git a/marlowe/test/Spec/Marlowe/Marlowe.hs b/marlowe/test/Spec/Marlowe/Marlowe.hs
index 52ee250657..8b7f618ff1 100644
--- a/marlowe/test/Spec/Marlowe/Marlowe.hs
+++ b/marlowe/test/Spec/Marlowe/Marlowe.hs
@@ -147,14 +147,14 @@ marloweValidatorSize :: IO ()
 marloweValidatorSize = do
     let validator = Scripts.validatorScript marloweValidator
     let vsize = SBS.length . SBS.toShort . LB.toStrict $ Serialise.serialise validator
-    assertBool ("smallTypedValidator is too large " <> show vsize) (vsize < 15180)
+    assertBool ("smallTypedValidator is too large " <> show vsize) (vsize < 15040)
 
 -- | Test that the untyped validator is not too large.
 smallMarloweValidatorSize :: IO ()
 smallMarloweValidatorSize = do
     let validator = Scripts.validatorScript smallMarloweValidator
     let vsize = SBS.length . SBS.toShort . LB.toStrict $ Serialise.serialise validator
-    assertBool ("smallUntypedValidator is too large " <> show vsize) (vsize < 12675)
+    assertBool ("smallUntypedValidator is too large " <> show vsize) (vsize < 12515)
 
 
 -- | Test `extractNonMerkleizedContractRoles`.