effectfully

Redundant scope checking

5

We [perform](https://github.com/IntersectMBO/plutus/blob/2544c0c953f41d6827f645cd1733a33572184c6d/plutus-ledger-api/src/PlutusLedgerApi/Common/Eval.hs#L114) scope checking before evaluating a program on the chain to ensure that the program is well-scoped and doesn't contain free variables. If scope checking fails, then this is...

[Textual] Parse constants with parens

2

This makes the parse recognize constants with extra parens in them as requested in #7383. I don't feel like we want to make any of those extra parens mandatory, but...

This shows how to generalize `evaluateTerm` so that it works with any `fun`. @kwxm It's not a complete PR, let me know if you want me to make it complete...

Fix `isEssentiallyWorkFree`

1

`UntypedPlutusCore.Transform.FloatDelay.isEssentiallyWorkFree` doesn't make any sense: ```haskell isEssentiallyWorkFree :: Term name uni fun a -> Bool isEssentiallyWorkFree = \case LamAbs{} -> True Constant{} -> True Delay{} -> True Constr{} -> True...

`costIsAcceptable` in both PIR and UPLC thinks that any `Constr` node containing a single element is fine as long as the cost of the latter is acceptable: ```haskell costIsAcceptable ::...

Look at this: ```haskell returnCek (FrameCases env cs ctx) e = case e of (VConstr i _) | fromIntegral @_ @Integer i > fromIntegral @Int @Integer maxBound -> throwErrorDischarged (StructuralError...

In `PlutusIR.Compiler.Types` we have ```haskell data DatatypeStyle = ScottEncoding | SumsOfProducts | BuiltinCasing -- ^ A temporary data type style used to make a couple of V3 ledger-api-test tests pass...