Skip to content

Update repr-stabby.md #21

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.

Sign up for GitHub

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

Open
lovasoa wants to merge 1 commit into
base: main
Choose a base branch
from
Open

Update repr-stabby.md #21

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions repr-stabby.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,7 @@ Note that unbits can never overlap with a forbidden value.
Unit types have size 0, alignment 1, and no niches.

### Boolean
`bool` is a single byte type, where all values that aren't `0` represents `false`, `1` represents `true`, and all other values are forbidden.
`bool` is a single byte type, `0` represents `false`, `1` represents `true`, and all other values are forbidden.

### Pointers and references
Pointers are considered nullables, whereas references are non-null types (`[0; size_of_ptr]` is their only forbidden value)
Expand Down Expand Up @@ -107,4 +107,4 @@ def determinant(Ok, Err) -> (Determinant, int, int, Unbits):
# Future possibilities
At the moment, `Result<Ok, Err>` never has any forbidden values left, even if `Ok` had multiple fvs that could fit in `Err`'s unbits. This means that `Option<Option<bool>>` occupies 2 bytes, instead of 1 as it does with Rust's current layout.

Since extracting only the correct FV from FVs can be complex to implement in computation contexts such as Rust's trait-solver, the choice was made not to do it. Should this become feasible, a release process will have to be designed. If you implement `#[repr(stabby)]`, please [file an issue on `stabby`'s original repository'](https://github.com/ZettaScaleLabs/stabby/issues/new) to be notified.
Since extracting only the correct FV from FVs can be complex to implement in computation contexts such as Rust's trait-solver, the choice was made not to do it. Should this become feasible, a release process will have to be designed. If you implement `#[repr(stabby)]`, please [file an issue on `stabby`'s original repository'](https://github.com/ZettaScaleLabs/stabby/issues/new) to be notified.