Luke Boswell (Oct 16 2023 at 10:31): Luke Boswell (Oct 16 2023 at 10:31):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?
Luke Boswell (Oct 16 2023 at 10:33):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
Anton (Oct 16 2023 at 10:46):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.
Ayaz Hafiz (Oct 16 2023 at 11:15):Yeah it should work
Luke Boswell (Oct 16 2023 at 11:30):Thank you. :smiley:
Last updated: Jul 26 2025 at 12:14 UTC