Skip to content
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.

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

Index for implementation defined entities #6229

Open
AlisdairM opened this issue Apr 9, 2023 · 1 comment
Open

Index for implementation defined entities #6229

AlisdairM opened this issue Apr 9, 2023 · 1 comment

Comments

@AlisdairM
Copy link
Contributor

AlisdairM commented Apr 9, 2023

The index of implementation defined behavior is crowded with things that do not elicit behavior, such as the values or types associated with specific names. Suggest pulling out all the implementation defined entities into their own index, or perhaps two indices, one for types and another for values, to save prefixing each entry as "type of" or "value of".

Note that this is a more pronounced issue for types than values, so a single index of implementation defined entities may seem the neatest use of space.

@jensmaurer
Copy link
Member

Arguably, specific types or values also cause "behavior" of some sort.

In any case, we already have a lot of indices, and I'm not fond of having another one that doesn't cover a really different topic (such as undefined behavior).

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants