Disable the beta step to reduce the number of type inlinings.

IntersectMBO · Sep 15, 2021 · f20c6bd · f20c6bd
1 parent 6101e31
commit f20c6bd
Showing 1 changed file with 7 additions and 6 deletions.
diff --git a/plutus-core/plutus-ir/src/PlutusIR/Transform/Beta.hs b/plutus-core/plutus-ir/src/PlutusIR/Transform/Beta.hs
@@ -27,12 +27,13 @@ betaStep = \case
             bindings = binding :| []
         in
             Let a NonRec bindings body
-    TyInst a (TyAbs _ tyname kind body) typ ->
-        let tyVarDecl = TyVarDecl a tyname kind
-            tyBinding = TypeBind a tyVarDecl typ
-            bindings  = tyBinding :| []
-        in
-            Let a NonRec bindings body
+    -- This case is disabled as it introduces a lot of type inlining (determined from profiling)
+    -- TyInst a (TyAbs _ tyname kind body) typ ->
+    --     let tyVarDecl = TyVarDecl a tyname kind
+    --         tyBinding = TypeBind a tyVarDecl typ
+    --         bindings  = tyBinding :| []
+    --     in
+    --         Let a NonRec bindings body
     t -> t
 
 {-|