I found a bug when trying to do something like (@NeedsColors {colors}, { foo, bar, baz }) = ...
and I was wondering if it should even be possible to unwrap an opaque type and also de-structure a record and a tuple at the same time?
I don't think I could have come up with a use-case like this if you had asked me to come up with an example... there's a lot going on here
It is a bit surprising that it does not work, so in that sense, I think it should work if it does not substantially increase complexity.
Yeah it should work
Thank you. :smiley:
Last updated: Jul 06 2025 at 12:14 UTC