Stream: beginners

Topic: Unwrap and Destructure Opaque


view this post on Zulip 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?

view this post on Zulip 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

view this post on Zulip 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.

view this post on Zulip Ayaz Hafiz (Oct 16 2023 at 11:15):

Yeah it should work

view this post on Zulip Luke Boswell (Oct 16 2023 at 11:30):

Thank you. :smiley:


Last updated: Jul 06 2025 at 12:14 UTC