Rename UnconditionalInline.hs to Inline.hs because it includes callsi…

…te now.
IntersectMBO · Mar 24, 2023 · 0d64c1c · 0d64c1c
1 parent db3e941
commit 0d64c1c
Show file tree

Hide file tree

Showing 5 changed files with 7 additions and 7 deletions.
diff --git a/plutus-core/plutus-core.cabal b/plutus-core/plutus-core.cabal
@@ -447,7 +447,7 @@ library plutus-ir
     PlutusIR.Transform.Beta
     PlutusIR.Transform.DeadCode
     PlutusIR.Transform.Inline.CallSiteInline
-    PlutusIR.Transform.Inline.UnconditionalInline
+    PlutusIR.Transform.Inline.Inline
     PlutusIR.Transform.Inline.Utils
     PlutusIR.Transform.LetFloatIn
     PlutusIR.Transform.LetFloatOut

diff --git a/plutus-core/plutus-ir/src/PlutusIR/Compiler.hs b/plutus-core/plutus-ir/src/PlutusIR/Compiler.hs
@@ -45,7 +45,7 @@ import PlutusIR.Compiler.Types
 import PlutusIR.Error
 import PlutusIR.Transform.Beta qualified as Beta
 import PlutusIR.Transform.DeadCode qualified as DeadCode
-import PlutusIR.Transform.Inline.UnconditionalInline qualified as UInline
+import PlutusIR.Transform.Inline.Inline qualified as Inline
 import PlutusIR.Transform.LetFloatIn qualified as LetFloatIn
 import PlutusIR.Transform.LetFloatOut qualified as LetFloatOut
 import PlutusIR.Transform.LetMerge qualified as LetMerge
@@ -104,7 +104,7 @@ availablePasses =
     , Pass "inline"               (onOption coDoSimplifierInline)             (\t -> do
                                                                                   hints <- view (ccOpts . coInlineHints)
                                                                                   ver <- view ccBuiltinVer
-                                                                                  UInline.inline hints ver t
+                                                                                  Inline.inline hints ver t
                                                                               )
     ]
 

diff --git a/plutus-core/plutus-ir/src/PlutusIR/Transform/Inline/CallSiteInline.hs b/plutus-core/plutus-ir/src/PlutusIR/Transform/Inline/CallSiteInline.hs
@@ -97,7 +97,7 @@ let id = \y -> y
 are acceptable.
 
 Because a function can be called in the `body` multiple times and may not be fully applied for all
-its calls, we cannot simply keep a simple substitution map like in `UnconditionalInline`,
+its calls, we cannot simply keep a simple substitution map like in `Inline`,
 which substitute *all* occurrences of a variable.
 
 (2) How do we decide whether cost and size are acceptable?

diff --git a/...R/Transform/Inline/UnconditionalInline.hs → ...r/src/PlutusIR/Transform/Inline/Inline.hs b/...R/Transform/Inline/UnconditionalInline.hs → ...r/src/PlutusIR/Transform/Inline/Inline.hs
@@ -10,7 +10,7 @@ in the paper 'Secrets of the GHC Inliner'.
 (2) call site inlining of fully applied functions. See `Inline.CallSiteInline.hs`
 -}
 
-module PlutusIR.Transform.Inline.UnconditionalInline (inline, InlineHints (..)) where
+module PlutusIR.Transform.Inline.Inline (inline, InlineHints (..)) where
 import PlutusIR
 import PlutusIR.Analysis.Dependencies qualified as Deps
 import PlutusIR.Analysis.Usages qualified as Usages

diff --git a/plutus-core/plutus-ir/test/TransformSpec.hs b/plutus-core/plutus-ir/test/TransformSpec.hs
@@ -20,7 +20,7 @@ import PlutusIR.Test
 import PlutusIR.Transform.Beta qualified as Beta
 import PlutusIR.Transform.DeadCode qualified as DeadCode
 import PlutusIR.Transform.Inline.CallSiteInline (computeArity)
-import PlutusIR.Transform.Inline.UnconditionalInline qualified as UInline
+import PlutusIR.Transform.Inline.Inline qualified as Inline
 import PlutusIR.Transform.LetFloatIn qualified as LetFloatIn
 import PlutusIR.Transform.LetFloatOut qualified as LetFloatOut
 import PlutusIR.Transform.LetMerge qualified as LetMerge
@@ -182,7 +182,7 @@ inline :: TestNested
 inline =
     testNested "inline" $
         map
-            (goldenPir (runQuote . (UInline.inline mempty def <=< PLC.rename)) pTerm)
+            (goldenPir (runQuote . (Inline.inline mempty def <=< PLC.rename)) pTerm)
             [ "var"
             , "builtin"
             , "constant"