Issue labels

Issue labels

Area of development (blue)

• syntax: Anything that would alter Kailua syntaxes

• types: Anythings that would alter Kailua type system

• documentation: End-user documentation

• ide: IDE support (currently VS Code only)

• report: Error reporting

• lua: Anything relates to the host language itself

Bug category (red)

• bug: Bugs with no better categorization

• unsound: Unsoundness bug

Severity (green)

The default severity is highest with "bug" labels and undecided without them, unless overriden with the following:

• on-hold: Desired but blocked by other issues

• wishlist: Pure enhancement

Eventual state (gray)

• duplicate: Duplicate of existing issues

• invalid: Not really a bug

• wont-fix: Might be considered as a bug to some, but it's intentional

Other reporter labels (magenta)

• question: This is a question rather than a genuine issue

Other developer labels (yellow)

• meta: A grand plan for doing something else