Skip to content

Withdraw RFC 53: Compile-Time Expressions#227

Merged
SeanTAllen merged 1 commit into
mainfrom
withdraw-rfc-53-compile-time-expressions
May 13, 2026
Merged

Withdraw RFC 53: Compile-Time Expressions#227
SeanTAllen merged 1 commit into
mainfrom
withdraw-rfc-53-compile-time-expressions

Conversation

@SeanTAllen

Copy link
Copy Markdown
Member

RFC 53 was accepted in 2018 and never implemented. Reading it now, it leaves several core questions about the feature open: capability semantics, behavior of error inside compile-time expressions, floating point host/target semantics, and which subset of the language is actually permitted. These are not edge cases. They define what the feature does.

The idea is worth pursuing. A future RFC on this topic should pin these questions down and come with a working implementation that can be evaluated alongside the design.

If accepted, the follow-on actions are to add a withdrawal note to the top of text/0053-compile-time-expression.md and close ponyc#2591 with a pointer back to this RFC.

RFC 53 was accepted in 2018 and never implemented. The text leaves
several core questions about the feature open. We would happily accept
a fuller proposal accompanied by a working implementation.
@ponylang-main ponylang-main added status - new The RFC is new and ready for discussion. discuss during sync Should be discussed during an upcoming sync and removed status - new The RFC is new and ready for discussion. labels Apr 30, 2026
@SeanTAllen SeanTAllen added the status - new The RFC is new and ready for discussion. label Apr 30, 2026
@jemc jemc added the status - final comment period The RFC is finalized. Waiting for final comments. label May 6, 2026
@SeanTAllen

Copy link
Copy Markdown
Member Author

Approved.

@SeanTAllen
SeanTAllen merged commit f3f104b into main May 13, 2026
10 checks passed
@SeanTAllen
SeanTAllen deleted the withdraw-rfc-53-compile-time-expressions branch May 13, 2026 22:14
@ponylang-main ponylang-main removed the discuss during sync Should be discussed during an upcoming sync label May 13, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

status - final comment period The RFC is finalized. Waiting for final comments. status - new The RFC is new and ready for discussion.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants