From d3da59599b9e652fdcb464eb815ddf3bfa9fc781 Mon Sep 17 00:00:00 2001 From: Ophir LOJKINE Date: Sun, 4 Jun 2023 04:45:09 +0200 Subject: [PATCH] Update repr-stabby.md fix typo --- repr-stabby.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/repr-stabby.md b/repr-stabby.md index 0f5edd2..6f80d3a 100644 --- a/repr-stabby.md +++ b/repr-stabby.md @@ -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) @@ -107,4 +107,4 @@ def determinant(Ok, Err) -> (Determinant, int, int, Unbits): # Future possibilities At the moment, `Result` never has any forbidden values left, even if `Ok` had multiple fvs that could fit in `Err`'s unbits. This means that `Option>` 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. \ No newline at end of file +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.