effectfully

Results 463 comments of effectfully

Thank you a ton for this PR, you're doing God's work.

There are two different things here: 1. whether the default config should prescribe to print the uniques 2. whether the golden test machinery should print them by default I very...

> I see now your point and I think also have ran into this before. But when does this exactly happen? Is it when there are free variables in the...

> now have additional redundant parentheses which appears to be what makes the line count so large. I promised to take a look at it and got caught up with...

@Unisay you've changed the behavior of `prettyPirReadable` in `PlutusIR.Core.Instance.Pretty.Readable` by turning `botPrettyConfigReadable` into `topPrettyConfigReadable`. So making it ```haskell -- | Pretty-print something with the @PrettyConfigReadable@ config. prettyPirReadable :: PrettyPir a...

This issue says that it was triaged, but there's no indication of _how_ it was triaged. Is it considered low priority? Are we waiting for more info or is this...

@michele-nuzzi > it would be useful to provide the expected results of the builtins. Provide through what means? We have the conformance [tests](https://github.com/IntersectMBO/plutus/tree/381172295c0b0a8f17450b8377ee5905f03d294b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics) (were linked above by Kenneth). They are...

That does look like an improvement: ![image](https://github.com/user-attachments/assets/0e0adc69-d809-43bc-8114-b1f86a1312bc)