From 669a4e39a7180eec607f90a6c05a77513b3f1d1f Mon Sep 17 00:00:00 2001
From: effectfully <effectfully@gmail.com>
Date: Sun, 20 Feb 2022 16:40:08 +0300
Subject: [PATCH] Tweaks

---
 plutus-core/plutus-core/src/PlutusCore/Builtin/Meaning.hs      | 2 --
 plutus-core/plutus-core/src/PlutusCore/Builtin/Runtime.hs      | 2 --
 plutus-core/plutus-core/src/PlutusCore/Default/Builtins.hs     | 3 ++-
 .../src/UntypedPlutusCore/Evaluation/Machine/Cek/Default.hs    | 2 --
 4 files changed, 2 insertions(+), 7 deletions(-)

diff --git a/plutus-core/plutus-core/src/PlutusCore/Builtin/Meaning.hs b/plutus-core/plutus-core/src/PlutusCore/Builtin/Meaning.hs
index fc261fa2c7c..b64736cb4ea 100644
--- a/plutus-core/plutus-core/src/PlutusCore/Builtin/Meaning.hs
+++ b/plutus-core/plutus-core/src/PlutusCore/Builtin/Meaning.hs
@@ -115,8 +115,6 @@ Where all lower-case names are Haskell type variables). We'll call functions hav
 The end result is that the user only has to specify the type of the denotation of a built-in
 function and the 'TypeScheme' of the built-in function will be derived automatically. And in the
 monomorphic and simply-polymorphic cases no types need to be specified at all.
-
-The 'INLINE' pragmas are required for this stuff to be
 -}
 
 type family GetArgs a :: [GHC.Type] where
diff --git a/plutus-core/plutus-core/src/PlutusCore/Builtin/Runtime.hs b/plutus-core/plutus-core/src/PlutusCore/Builtin/Runtime.hs
index 36ba12e30b4..68e9f8bc1c9 100644
--- a/plutus-core/plutus-core/src/PlutusCore/Builtin/Runtime.hs
+++ b/plutus-core/plutus-core/src/PlutusCore/Builtin/Runtime.hs
@@ -1,5 +1,3 @@
-{-# LANGUAGE BangPatterns          #-}
-
 {-# LANGUAGE DataKinds             #-}
 {-# LANGUAGE DefaultSignatures     #-}
 {-# LANGUAGE GADTs                 #-}
diff --git a/plutus-core/plutus-core/src/PlutusCore/Default/Builtins.hs b/plutus-core/plutus-core/src/PlutusCore/Default/Builtins.hs
index 8542e3f1a5c..785dca8eb67 100644
--- a/plutus-core/plutus-core/src/PlutusCore/Default/Builtins.hs
+++ b/plutus-core/plutus-core/src/PlutusCore/Default/Builtins.hs
@@ -790,7 +790,8 @@ instance uni ~ DefaultUni => ToBuiltinMeaning uni DefaultFun where
         makeBuiltinMeaning
             (\() -> [] @(Data,Data))
             (runCostingFunOneArgument . paramMkNilPairData)
-    {-# INLINEABLE toBuiltinMeaning #-}
+    -- Keeping the unfolding, so that this function can be inlined in 'toBuiltinsRuntime'.
+    {-# INLINABLE toBuiltinMeaning #-}
 
 -- It's set deliberately to give us "extra room" in the binary format to add things without running
 -- out of space for tags (expanding the space would change the binary format for people who're
diff --git a/plutus-core/untyped-plutus-core/src/UntypedPlutusCore/Evaluation/Machine/Cek/Default.hs b/plutus-core/untyped-plutus-core/src/UntypedPlutusCore/Evaluation/Machine/Cek/Default.hs
index 6db9c612e35..7998cc3259a 100644
--- a/plutus-core/untyped-plutus-core/src/UntypedPlutusCore/Evaluation/Machine/Cek/Default.hs
+++ b/plutus-core/untyped-plutus-core/src/UntypedPlutusCore/Evaluation/Machine/Cek/Default.hs
@@ -4,8 +4,6 @@
 {-# OPTIONS_GHC -fno-warn-orphans #-}
 {-# OPTIONS_GHC -O2 #-}
 
-{-# OPTIONS_GHC -ddump-simpl -ddump-to-file -dsuppress-all -fforce-recomp -dumpdir /tmp/dumps #-}
-
 module UntypedPlutusCore.Evaluation.Machine.Cek.Default () where
 
 import UntypedPlutusCore.Evaluation.Machine.Cek.Internal