Tweaks

IntersectMBO · Feb 20, 2022 · 669a4e3 · 669a4e3
1 parent 799d9fc
commit 669a4e3
Show file tree

Hide file tree

Showing 4 changed files with 2 additions and 7 deletions.
diff --git 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
@@ -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
@@ -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
@@ -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