From f93d9df525195b22eedd8020a103a3494643c53e Mon Sep 17 00:00:00 2001 From: effectfully Date: Tue, 10 May 2022 17:47:45 +0200 Subject: [PATCH] Fixups --- plutus-core/plutus-core/src/PlutusCore/Builtin/KnownType.hs | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/plutus-core/plutus-core/src/PlutusCore/Builtin/KnownType.hs b/plutus-core/plutus-core/src/PlutusCore/Builtin/KnownType.hs index 21eab085c97..15fa17103d4 100644 --- a/plutus-core/plutus-core/src/PlutusCore/Builtin/KnownType.hs +++ b/plutus-core/plutus-core/src/PlutusCore/Builtin/KnownType.hs @@ -212,8 +212,6 @@ withLogs logs1 = \case {-# INLINE withLogs #-} instance Functor MakeKnownM where - -- Written out explicitly, because for some inexplicable reason GHC fails to inline - -- @fmapWithLogs mempty@ despite the pragma. fmap _ (MakeKnownFailure logs err) = MakeKnownFailure logs err fmap f (MakeKnownSuccess x) = MakeKnownSuccess (f x) fmap f (MakeKnownSuccessWithLogs logs x) = MakeKnownSuccessWithLogs logs (f x) @@ -300,7 +298,7 @@ class uni ~ UniOf val => MakeKnownIn uni val a where -- avoid space leaks. Note that the value is only forced to WHNF, so care must be taken to -- ensure that every value of a type from the universe gets forced to NF whenever it's forced to -- WHNF. - makeKnown x = pure . fromConstant . someValue $! x + makeKnown = pure . fromConstant . someValue {-# INLINE makeKnown #-} type MakeKnown val = MakeKnownIn (UniOf val) val