18 labels
-
1 - scopelanguage
Backwards-compatible changes to the surface language, such as adding new features. -
1 - scopelanguage change
Breaking changes to a documented part of the surface language. These should be documented and specifically called out in the changelog. -
1 - scopeperformance
Semantics-preserving performance work. -
1 - scopetask
Changes that are not apparent to the user, e.g. developer documentation and refactors, which do not need to be documented. -
A: dead-code
Dead code elimination and --save-metas. -
A: errors
Reporting of error and warning messages. -
A: highlighting
Highlighting during interaction & literate compilation -
A: imports
Handling of imports and interface file de/serialization. -
A: infra
Iinfrastructure (e.g. CI, developer documentation, the build system, or the repository itself) -
A: instance
Instance declarations, arguments, and resolution -
A: lhs
LHS checking, coverage checking, and clause compilation -
A: modules
Declaration and instantiation of parametrised modules. -
A: parallel
Parallel typechecking. -
A: positivity
Positivity checking -
A: printing
Pretty-printing, display forms, and the wording of diagnostic messages -
A: records
Record declarations, record expressions and copattern matching -
A: scoping
Scope checking (ConcreteToAbstract) -
A: termination
Termination checking -
Organization level labels that can be used with all repositories under this organization
-
0 - typebug
Issues describing an incorrect behaviour in the project, typos in the documentation, etc. -
0 - typediscussion
An issue raised to gather opinions on a proposed change, or a suggested language change. -
0 - typequestion
An issue raised to ask a question. -
9 - statusduplicate
This issue or pull request already exists. -
9 - statusinfo needed
More information is needed from the submitter to decide how to proceed with the issue report. -
9 - statusinvalid
The issue report or pull request does not describe an actual bug, or does otherwise does not meet the contributing guidelines. -
good first issue
Interested in contributing? Get started here. -
upstream
Related to an upstream repository, already reported there