Skip to content

Recursion doesn't play nicely with unions #115

Open
@teh

Description

@teh

I tried modelling a tree with recursive entries, but if try to model this:

type TreeEntryQ = Union "TreeEntryQ" '[FileQ, RecTreeQ, SymlinkQ]

I get:

    • Invalid TypeIndex. Must be Object but got: RecTreeQ

because RecTreeQ is a newtype

Metadata

Metadata

Assignees

No one assigned

    Labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions