Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Appearance settings

Add type-refactor label #563

Copy link
Copy link
Open
Open
Copy link
@erlend-aasland

Description

@erlend-aasland
Issue body actions

Although we discourage refactoring in general, there is sometimes a valid need for refactoring. Recent examples would be Irit's refactoring of the compiler and Mark Shannon's proposal for more readable type defs. We've historically also done (and are still doing) several test refactorings:

Currently, we use type-feature for these efforts, but it may be beneficial to be able to differentiate between (real1) features and refactorings.

Footnotes

  1. user-facing

Metadata

Metadata

Assignees

Labels

labelsIssues related to GitHub label changesIssues related to GitHub label changes

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions

    Morty Proxy This is a proxified and sanitized view of the page, visit original site.