Skip to content

Merging stages or open world stages. #36

@np

Description

@np

Hello,

I'm wondering if this is possible to group my rules as follows:

a : something.
stage a_rules = {
  a/rule : some -o rule.
}
b : something.
stage b_rules = {
  b/rule : some -o rule.
}

stage main = { a_rules + b_rules }

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions