effectfully
effectfully
#5486 once merged will add `caseList` and `caseData` built-in functions. `casePair` is likely going to be less beneficial than either of `caseList` and `caseData`, because it'll only replace two builtin...
@kwxm asks for a feature: > It might be useful to be able to turn off the indentation completely. I find that largish textual programs quickly become too large and...
Currently the inliner relies on global uniqueness, but doesn’t perform renaming itself. No renaming => no marking => the inliner starts in the initial state of `Quote`, i.e. counting from...
This issue is for discussing design and implementation of various debuggers for UPLC. We have our own debugger in this repo and plenty of issues associated with it, so this...
In #5961 we learned that we used to compile singly recursive functions incorrectly due to accidental laziness in the `fix` combinator. What about `fixBy` though? Do we have the same...
The added test fails with ``` test Plugin Data 9.6 families stakingCredential: FAIL Exception: Error: Error from the PIR compiler: Error from the PLC compiler: Free type variable at Ann...
This is an umbrella issue for all things related to PIR generators.
With #5711 we get built-in types that are either [on par](https://github.com/IntersectMBO/plutus/pull/5486#issuecomment-1808544340) with SOPs or are even [faster](https://github.com/IntersectMBO/plutus/pull/5704). Filtering out irrelevant info for the latter set of benchmarks we get (where...
This is technically a regression performance-wise, but we may already be charging for it (depends on how budgeting calibration works), so let's see, maybe it's not detectable regardless.
This replicates the existing builtins so that there are 10x of them now. This is just to check whether it results in any evaluation slowdown.