Stream: contributing

Topic: Tag unions open-by-default-in-output


view this post on Zulip Luke Boswell (Nov 24 2023 at 22:59):

I'm opening this thread because I think it would be really useful if someone is able to contribute to this issue for AoC. I think it would help newcomers to have a nicer experience with handling errors when writing programs using basic-cli or basic-webserver.

Here is the previous zulip discussion, and this is the GH Issue for it.

Ayaz Hafiz said:

it's because Task.Task is an opaque type, and not all tag unions can be open-by-default-in-output position under an opaque type (but type parameters like the tags here should be). I'll file an issue, but in the meantime you can work around this by saying [ZeroArgsGiven]_ and [ReadFileErr Str]_.

I asked Ayaz and he mentioned that this should be straightforward to fix. I'm hoping we can discuss it here and someone might volunteer to fix it.

view this post on Zulip Anton (Nov 25 2023 at 09:39):

It would be a good start to know in which file or functions changes would need to be made


Last updated: Jul 05 2025 at 12:14 UTC