Skip to content

Dependency loop in tagged unions with self-referential functions #3653

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
joachimschmidt557 opened this issue Nov 11, 2019 · 1 comment
Closed
Labels
bug Observed behavior contradicts documented or intended behavior stage1 The process of building from source via WebAssembly and the C backend.
Milestone

Comments

@joachimschmidt557
Copy link
Contributor

Probably related to #2174:

A function in a tagged union returning the tagged union itself is marked as a dependency loop. Is it possible to resolve these dependency loops similar to #2174?

const TaggedUnion = union(enum) {
    First: u8,
    Second: fn (x: TaggedUnion) void, // Works
    Third: fn (x: TaggedUnion) TaggedUnion, // Doesn't work
    Fourth: fn (x: u8) TaggedUnion, // Doesn't work as well
};

pub fn main() void {
    const x = TaggedUnion.First;
}
@andrewrk andrewrk added this to the 0.6.0 milestone Nov 14, 2019
@andrewrk andrewrk added bug Observed behavior contradicts documented or intended behavior stage1 The process of building from source via WebAssembly and the C backend. labels Nov 14, 2019
@joachimschmidt557
Copy link
Contributor Author

When using pointers, everything works:

const TaggedUnion = union(enum) {
    First: u8,
    Second: fn (x: *TaggedUnion) void, // Works
    Third: fn (x: *TaggedUnion) *TaggedUnion, // Works
    Fourth: fn (x: u8) *TaggedUnion, // Works
};

pub fn main() void {
    const x = TaggedUnion.First;
}

@andrewrk andrewrk modified the milestones: 0.6.0, 0.7.0 Mar 4, 2020
@andrewrk andrewrk modified the milestones: 0.7.0, 0.8.0 Aug 13, 2020
@andrewrk andrewrk modified the milestones: 0.8.0, 0.9.0 Nov 6, 2020
@andrewrk andrewrk modified the milestones: 0.9.0, 0.10.0 May 19, 2021
Vexu added a commit to Vexu/zig that referenced this issue Dec 28, 2022
Vexu added a commit to Vexu/zig that referenced this issue Dec 28, 2022
Vexu added a commit to Vexu/zig that referenced this issue Dec 28, 2022
Vexu added a commit to Vexu/zig that referenced this issue Dec 28, 2022
Vexu added a commit to Vexu/zig that referenced this issue Dec 28, 2022
Vexu added a commit to Vexu/zig that referenced this issue Dec 29, 2022
@andrewrk andrewrk modified the milestones: 0.12.0, 0.11.0 Dec 29, 2022
TUSF pushed a commit to TUSF/zig that referenced this issue May 9, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Observed behavior contradicts documented or intended behavior stage1 The process of building from source via WebAssembly and the C backend.
Projects
None yet
Development

No branches or pull requests

2 participants