+
Skip to content

Conversation

coriolinus
Copy link
Owner

@coriolinus coriolinus commented Oct 7, 2025

This means that there's no more forgetting to set the flag on the command line; types just do the right thing.

Closes #5.

@coriolinus coriolinus force-pushed the feat/5/dynamic-backing-type branch from 0f18552 to 48840bf Compare October 7, 2025 19:18
Also we need standard floats, because NaN is easy to produce.
But that means we need to define a total ordering, which happily
turns out to be easy.
@coriolinus coriolinus force-pushed the feat/5/dynamic-backing-type branch from 48840bf to 318adeb Compare October 7, 2025 19:21
@coriolinus coriolinus marked this pull request as ready for review October 7, 2025 20:02
@coriolinus coriolinus merged commit ad89c6b into main Oct 7, 2025
3 checks passed
@coriolinus coriolinus deleted the feat/5/dynamic-backing-type branch October 7, 2025 20:04
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

Successfully merging this pull request may close these issues.

Choose backing type at evaluation time, not in the CLI

1 participant

点击 这是indexloc提供的php浏览器服务,不要输入任何密码和下载