Skip to content
This repository was archived by the owner on Jun 1, 2026. It is now read-only.

Combine TypeCtor/ConstCtor and "ctor args" into a single TypeKind/ConstKind.#51

Merged
eddyb merged 4 commits into
mainfrom
unctor
Oct 27, 2023
Merged

Combine TypeCtor/ConstCtor and "ctor args" into a single TypeKind/ConstKind.#51
eddyb merged 4 commits into
mainfrom
unctor

Conversation

@eddyb

@eddyb eddyb commented Oct 27, 2023

Copy link
Copy Markdown
Contributor

The "constructor" idea was cute, but a mistake. At the end of the day (see #1, #50, #29), the direction to move into is simpler and/or flatter types and constants, not favoring the hierarchical ones.

@eddyb eddyb marked this pull request as ready for review October 27, 2023 16:56
@eddyb eddyb enabled auto-merge October 27, 2023 16:57
@eddyb eddyb added this pull request to the merge queue Oct 27, 2023
Merged via the queue into main with commit bccdf3f Oct 27, 2023
@eddyb eddyb deleted the unctor branch October 27, 2023 17:57
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant