Remove 'oneShot' from 'toBuiltinMeaning'

IntersectMBO · Jan 8, 2022 · 90dded2 · 90dded2
1 parent 0712da7
commit 90dded2
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 3 deletions.
diff --git a/plutus-core/plutus-core/src/PlutusCore/Default/Builtins.hs b/plutus-core/plutus-core/src/PlutusCore/Default/Builtins.hs
@@ -35,7 +35,6 @@ import Data.Text.Encoding (decodeUtf8', encodeUtf8)
 import Flat hiding (from, to)
 import Flat.Decoder
 import Flat.Encoder as Flat
-import GHC.Exts (oneShot)
 
 -- See Note [Pattern matching on built-in types].
 -- TODO: should we have the commonest builtins at the front to have more compact encoding?
@@ -140,7 +139,7 @@ instance uni ~ DefaultUni => ToBuiltinMeaning uni DefaultFun where
     toBuiltinMeaning
         :: forall term. HasConstantIn uni term
         => DefaultFun -> BuiltinMeaning term BuiltinCostModel
-    toBuiltinMeaning = oneShot $ \case
+    toBuiltinMeaning = \case
         AddInteger ->
             makeBuiltinMeaning
                 ((+) @Integer)

diff --git a/plutus-core/untyped-plutus-core/src/UntypedPlutusCore/Evaluation/Machine/Cek/Internal.hs b/plutus-core/untyped-plutus-core/src/UntypedPlutusCore/Evaluation/Machine/Cek/Internal.hs
@@ -78,7 +78,6 @@ import Data.Semigroup (stimes)
 import Data.Text (Text)
 import Data.Word64Array.Word8
 import Prettyprinter
-import Universe
 
 {- Note [Compilation peculiarities]
 READ THIS BEFORE TOUCHING ANYTHING IN THIS FILE