effectfully
effectfully
@michaelpj any idea on how to move this forward? Should we get Jared or someone else involved? Should someone come up with a list of assumptions one is allowed to...
I believe we need an objective on coming up with a process to figure out 1. what kinds of things are there to stay (see also the discussion in #4509)...
> It appears that every Value on chain (i.e., in a UTXO, mint result, etc.) has an Ada field (whether there are Ada or not). Yes, see #5039 for more...
> Is it possible for any other asset classes to be present in a Value on chain with quantity 0? The answer is "no". From what I was able to...
I'm annoyed by the problem and want to keep the issue open until we come to the conclusion that we don't care.
> I'm annoyed by the problem and want to keep the issue open until we come to the conclusion that we don't care. I now have a task on writing...
@Renegatto thank you very much for the report. I'm not seeing a bug here. > But manually `Value` can be constructed in such way that it fails semigroup assosciativy: >...
@michaelpj has something changed since the issue was opened? Does `-fexpose-all-unfoldings` now help us alleviate the problem? Is there anything we could do here?
> I don't know of a way to improve the current situation. My best ideas all involve substantial rework of the entire system :( I see. So this is something...
Such requests should go through the CIP route, hence I'm closing the issue.