effectfully

Speed `defaultCekParameters*` back up?

1

This: ```haskell defaultCekParametersA :: Typeable ann => MachineParameters CekMachineCosts DefaultFun (CekValue DefaultUni DefaultFun ann) defaultCekParametersA = noinline mkMachineParameters DefaultFunSemanticsVariantA cekCostModelVariantA ``` and other such `defaultCekParameters*` definitions are artificially slowed down...

Investigate if lambdas not annotated with types fail to compile in Plutus Tx

2

James Browning reported this issue. In an earlier plutus version I was able to compile `(\_ _ -> ())` or `(\_ _ _ -> ())` but this now produces an...

We use prisms for error handling a lot, an example: ```haskell instance AsEvaluationError UnliftingEvaluationError UnliftingError UnliftingError where _EvaluationError = coerced {-# INLINE _EvaluationError #-} -- | An 'UnliftingEvaluationError' /is/ an...

[Epic] CEK machine improvements

1

This issue is for dumping all the plans regarding optimization of the CEK machine in a largely unstructured way.

[Epic] Sort out structural vs operational evaluation errors

1

We have two kinds of evaluation errors: structural ones and operational ones. More on that [here](https://github.com/IntersectMBO/plutus/blob/b61cce8a4c0f598dacaf531a47c00bfc9ce33e72/plutus-core/plutus-core/src/PlutusCore/Evaluation/Error.hs#L30-L56). This issue is for dumping all the things that we could improve upon in...

QuviQ had a trouble using our PIR type checker with their PIR terms generator: they had to do introduce unrenaming of escaped data type variables, we couldn't figure out a...

I accidentally broke the implementation of `drop` in the standard library of Plutus Tx and no `plutus-tx` test failed, even though the simplest one would catch such a bug. We...

We have that `PlutusIR.Purity.isPure` and its semantics seems to be underspecified. You can see how it causes confusion [here](https://github.com/input-output-hk/plutus/pull/5093#discussion_r1092117897) for example. We need to properly specify the semantics of this...

`plutus-benchmark` is slower than `uplc` despite doing the same?

1

@kwxm [claims](https://github.com/IntersectMBO/plutus/pull/5755) (make sure to read the whole thread) that running benchmarks manually via the executable gives shorter evaluation times compared to `plutus-benchmark`, which is the opposite of how things...

Apparently matching on the version is only cached for the meaning of `ConsByteString` and not for the meaning of `VerifyEd25519Signature`. This is because for the former matching is done outside...