8000 Block duplicate app directives (`#:`) · Issue #48842 · dotnet/sdk · GitHub
[go: up one dir, main page]
Skip to content

Block duplicate app directives (#:) #48842

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Open
jjonescz opened this issue May 7, 2025 · 0 comments
Open

Block duplicate app directives (#:) #48842

jjonescz opened this issue May 7, 2025 · 0 comments
Labels
Area-run-file Items related to the "dotnet run <file>" effort untriaged Request triage from a team member

Comments

@jjonescz
Copy link
Member
jjonescz commented May 7, 2025

From the spec:

We disallow duplicate #: directives to allow us design some deduplication mechanism in the future. Specifically, directives are considered duplicate if their type and name (case insensitive) are equal. Later with deduplication, separate "self-contained" utilities could reference overlapping sets of packages even if they end up in the same compilation. For example, properties could be concatenated via ;, more specific package versions could override less specific ones.

See also #48437 (comment).
@jjonescz jjonescz added the Area-run-file Items related to the "dotnet run <file>" effort label May 7, 2025
@dotnet-policy-service dotnet-policy-service bot added the untriaged Request triage from a team member label May 7, 2025
@jjonescz jjonescz mentioned this issue May 7, 2025
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
Area-run-file Items related to the "dotnet run <file>" effort untriaged Request triage from a team member
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@jjonescz
0