Skip to content
This repository was archived by the owner on May 24, 2025. It is now read-only.

Editorial: add note about casting to f16 - #14

Merged
bakkot merged 1 commit into
mainfrom
note-for-impls
Dec 5, 2024
Merged

bakkot merged 1 commit into
mainfrom
note-for-impls

Conversation

@bakkot

@bakkot bakkot commented Nov 27, 2024

Copy link
Copy Markdown
Member

Fixes #13 (I think); cc @phoddie.

I'd welcome improvements to the wording here. Alternatively I could just link to Firefox's thoroughly commented implementation.

@phoddie

phoddie commented Nov 27, 2024

Copy link
Copy Markdown

Thank you! The proposed text addresses my concern.

The Firefox implementation is incredibly helpful. Still, I think the specification should explain the issues independent of a particular implementation. I defer to the editor team on whether it is appropriate to include a link to the Firefox code.

@bakkot

bakkot commented Dec 5, 2024

Copy link
Copy Markdown
Member Author

Going to go ahead and land this now; we can always bikeshed the wording in stage 4 if anyone wants to suggest something different.

@bakkot
bakkot merged commit 2e69968 into main Dec 5, 2024
@bakkot
bakkot deleted the note-for-impls branch December 5, 2024 05:15
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.

spec text guidance for implementors

2 participants