-
Notifications
You must be signed in to change notification settings - Fork 12
No labels!
There aren’t any labels for this repository quite yet.
27 labels
BLOCKED
BLOCKED
We can't or shouldn't work on this yet, for reasons explained in the ticket and/or comments.
complexity 2: significant
complexity 2: significant
This is non-trivial, but still not a major undertaking
complexity 3: major effort
complexity 3: major effort
This requires some commitment to pull off properly.
complexity 4: scary
complexity 4: scary
This is daunting, even for those of us most familiar with the codebase.
discard: not actionable
discard: not actionable
This is not suitable, actionable content for an issue ticket.
discard: won't do this
discard: won't do this
This will not be done, unless later comments change our minds.
kind: feature: library
kind: feature: library
Adding a new library or a new feature in an existing library
kind: feature: tooling
kind: feature: tooling
Adding new tooling or a new feature in existing tooling
kind: hole: invalid code
kind: hole: invalid code
This code should not compile, but the compiler fails to give a nice error message explaining it.
kind: hole: valid code
kind: hole: valid code
This code should compile, but the compiler fails to handle it.
kind: refine: compiler
kind: refine: compiler
We need to spruce up something about the way we compile.