Issue Labelling System

Label Descriptions

(Colour: #fbca04)

This category represents issues that are under consideration or actively worked on.

Label	Description
A-Confirmed	Issue confirmed and needs to be fixed
A-In Progress	Issues is actively being worked on, but not completed

(Colour: #006b75)

This category represents issues where external contributions are more than welcome.

Label	Description
C-Low Hanging Fruit	Tasks which are not expected to require major effort
C-Patches Welcome	Tasks which are especially suitable for contribution

(Colour: #bebe00)

This category represents issues that are primarily procedural or non-specific to the codebase.

Label	Description
F-Discussion	Feedback focused on discussing a particular aspect of the Idris language or libraries
F-Meta	Feedback focused on meta-procedural issues such as organisation of repository or process
F-Question	Clarification regarding an unclear aspect of the language
F-Request for Comment	Feedback requested on a concrete code patch or documentation change

(Colour: #c5def5)

This category represents issues that relate to the code generation framework or one of the various code generators.

Label	Description
G-Intermediate Representation	An issue regarding compilation or translation between IRs
G-C Backend	An issue that is present when generating or compiling C code
G-ECMAScript Backend	An issue that is present when generating or compiling ECMAScript code
G-Other Backend	An issue that is present with an external code generator

(Colour: #aaaaaa)

This category represents issues that are not actively being worked on, due to e.g. lack of resources or missing information.

Label	Description
I-Abandoned	Code has not been actively worked on for a long time
I-Duplicate	Issue already exists
I-Expected Behaviour	Reported issue works as intended
I-Information Needed	There is not enough information to fix the issue
I-Not Reproducible	Issue does not appear in developer's environment
I-Potentially Fixed	Issue appears to be fixed, but not confirmed to be so by reporter
I-Won't Fix	Issue is not going to be worked on due to lack of resources or de#compatibility

(Colour: #5319e7)

This category represents different platforms which Idris supports.

Label	Description
P-BSD	Issue appears on BSD
P-Linux	Issue appears on Linux
P-OS X	Issue appears on OS X
P-Windows	Issue appears on Windows
P-Other	Issue appears on other types of systems like BSD, Android, or Embedded

(Colour: red scale)

This category partitions issues into levels of severity.

Label	Description
S-Major	A severe bug which should be fixed as soon as possible, preferrably before next release
S-Minor	A smaller bug which should be fixed when time is available
S-Cleanup	An improvement on the code base which is nice to have

(Colour: #d4c5f9)

This category describes issues that concern usability of language front-end, documentation or libraries.

Label	Description
U-Documentation	Missing or unclear documentation
U-Library design	Design issue in a part of the provided libraries
U-Pretty Printer	Prettied text is not as intended or could be more readable
U-Unhelpful Error Message	Shown error message is wrong or lacks necessary information, which makes it hard to fix the underlying error

(Colour: #444444)

This category concerns language extensions or experimental features.

Label	Description
X-Elaborator Reflection	Issues with the Elaborator Reflection
X-Type Providers	Issues with Type Providers
X-Experimental	Issues with Experimental Features

(Colour: #0e8a16)

This category describes suggestions for non-essential improvements to the language.

Label	Description
Feature Request	Request for a feature that provides additional convenience or expressiveness
Optimization	Request for improvement of performance or memory usage for a part of the system