Skip to content

Disallow dots in identifiers#1267

Merged
mosteo merged 8 commits into
alire-project:masterfrom
0rzech:disallow-crate-names-with-leading-dot
Jan 18, 2023
Merged

Disallow dots in identifiers#1267
mosteo merged 8 commits into
alire-project:masterfrom
0rzech:disallow-crate-names-with-leading-dot

Conversation

@0rzech

@0rzech 0rzech commented Dec 11, 2022

Copy link
Copy Markdown
Contributor

Fixes #1076.

@0rzech 0rzech force-pushed the disallow-crate-names-with-leading-dot branch 8 times, most recently from 124e8a6 to 815fe9a Compare December 12, 2022 01:42
@0rzech 0rzech changed the title Disallow crate names with leading dot Disallow identifiers with leading dot Dec 12, 2022
@0rzech 0rzech force-pushed the disallow-crate-names-with-leading-dot branch 3 times, most recently from b843752 to 3a99f23 Compare December 12, 2022 02:06
@0rzech
Disallow leading dot in identifiers
a6bca92 
This is to avoid `alr printenv` printing invalid
environment variable names, i.e. with leading dot.
@0rzech 0rzech force-pushed the disallow-crate-names-with-leading-dot branch from 3a99f23 to e8da696 Compare December 12, 2022 02:31
@0rzech 0rzech force-pushed the disallow-crate-names-with-leading-dot branch from e8da696 to ca5d04d Compare December 12, 2022 02:35
@0rzech 0rzech force-pushed the disallow-crate-names-with-leading-dot branch from ca5d04d to a4937b8 Compare December 12, 2022 02:35
@Fabien-Chouteau

Fabien-Chouteau commented Dec 12, 2022

Copy link
Copy Markdown
Member

@mosteo I didn't know we still allowed dots in crate names.

@mosteo

mosteo commented Dec 13, 2022

Copy link
Copy Markdown
Member

This must have slipped through the cracks; it was certainly unintended at this point.

@mosteo

mosteo commented Dec 13, 2022

Copy link
Copy Markdown
Member

So the proper patch would be to remove these extension separator remains in alire.ads, not to document it, sorry @0rzech.

I'm quite surprised this has gone unnoticed for so long.

@0rzech
Disallow dots in identifiers
891d1c1 
Dots in identifiers are allowed by mistake.
This commit forbids them completely, instead
of just disallowing dots as the first character
in crate name.
@0rzech 0rzech changed the title Disallow identifiers with leading dot Disallow dots in identifiers Dec 13, 2022
@0rzech

0rzech commented Dec 13, 2022 •
edited
Loading

Copy link
Copy Markdown
Contributor Author

@mosteo No problemo. 😉 I've removed support for dots in identifiers completely. This affects index names too. I'm not sure if we want that as well, though.

@mosteo

mosteo commented Jan 18, 2023

Copy link
Copy Markdown
Member

Thanks for the patience, @0rzech

@mosteo mosteo merged commit 191656f into alire-project:master Jan 18, 2023
@0rzech 0rzech deleted the disallow-crate-names-with-leading-dot branch January 18, 2023 22:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@mosteo mosteo mosteo approved these changes

@Fabien-Chouteau Fabien-Chouteau Fabien-Chouteau approved these changes

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

Disallow identifiers starting with dots

3 participants

@0rzech @Fabien-Chouteau @mosteo