scala/scala3

Ycheck consistency between flags

Open

#1,329 opened on Jun 23, 2016

View on GitHub
 (0 comments) (0 reactions) (0 assignees)Scala (6,247 stars) (1,159 forks)batch import
backloghelp wanteditype:enhancement

Description

Some combinations of flags make no sense, eg Lazy | Label. It would be nice to Ycheck that we don't have invalid combinations of flags.

This task is hard, because it's open-ended as we do not currently have a spec of what combinations are valid and what are not.

Contributor guide

Tech stack
scala
Domain
tooling
Issue type
feature
DifficultyEstimated implementation difficulty for a new contributor, from 1 for very small changes to 5 for expert-level work.
5
Estimated timeA rough time range for an experienced contributor to investigate, implement, test, and prepare a pull request.
over 1 week
Activity statusHow available the issue appears right now: fresh, active, stale, blocked, or waiting on maintainer input.
stale
ClarityHow clearly the issue explains the expected change, acceptance criteria, and next step.
unclear
Prerequisites
Scala compiler knowledgeYcheck frameworkFlag consistency rules
Newbie friendlinessA 1-100 score estimating how approachable this issue is for first-time contributors.
10
Research direction
Look into the Ycheck framework in the Scala 3 compiler codebase (likely in compiler/src/dotty/tools/dotc/config). Identify existing flag definitions and their combinations. Explore how other compile time checks are implemented. Since no spec of valid combinations exists, the contributor would need to propose a list of valid flag combinations and implement a validation check in the Ycheck phase.