Chicago
From Rosie K Languet to ~sircmpwn/hare-dev
Updates the flexible literal promotion algorithm to match current harec behavior in promoting signed flexible literals to unsigned integer types. Signed-off-by: Rosie K Languet <rkl@rosiesworkshop.net> --- language/expressions.tex | 14 +++++++++----- 1 file changed, 9 insertions(+), 5 deletions(-) diff --git a/language/expressions.tex b/language/expressions.tex index 0d47f53..dcbc110 100644 --- a/language/expressions.tex +++ b/language/expressions.tex @@ -2809,11 +2809,15 @@ which shall be the result of the promotion. [message trimmed]
From Rosie Keith Languet to ~sircmpwn/hare-dev
> This patch is malformed.
Applies fine for me. *shrug* I'll resend. :)
From Rosie Keith Languet to ~sircmpwn/hare-dev
I think Assignability rules also doesn't describe the current situation vis-à-vis negative values and unsigned types... Am I missing something? January 11, 2025 at 2:18 PM, "Rosie K Languet" <rkl@rosiesworkshop.net> wrote: > > Signed-off-by: Rosie K Languet <rkl@rosiesworkshop.net> > > --- > > This updates the flexible literal promotion algorithm to match current harec > > behavior in promoting signed flexible literals to unsigned integer types. > > language/expressions.tex | 14 +++++++++-----
From Rosie K Languet to ~sircmpwn/hare-dev
Signed-off-by: Rosie K Languet <rkl@rosiesworkshop.net> --- This updates the flexible literal promotion algorithm to match current harec behavior in promoting signed flexible literals to unsigned integer types. language/expressions.tex | 14 +++++++++----- 1 file changed, 9 insertions(+), 5 deletions(-) diff --git a/language/expressions.tex b/language/expressions.tex index 0d47f53..dcbc110 100644 --- a/language/expressions.tex +++ b/language/expressions.tex @@ -2809,11 +2809,15 @@ which shall be the result of the promotion. [message trimmed]
From Rosie Keith Languet to ~sircmpwn/hare-dev
P.S. Sorry for sending to the wrong list. I'll use your public inbox for future mails.
From Rosie K Languet to ~sircmpwn/hare-dev
From: Rosie Keith Languet <rkl@rosiesworkshop.net> s/migw32/mingw32/ --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index f965fa13..5fef412a 100644 --- a/README.md +++ b/README.md @@ -62,7 +62,7 @@ You need the following: To build with EFI support: [message trimmed]
From Rosie Keith Languet to ~sircmpwn/hare-dev
Thanks for taking a look at this Drew, although I know it's now been a while. I'm bumping this thread now, in part, because ~spxtr has been asking about conformance tests on IRC. >> https://git.sr.ht/~roselandgoose/hare2c2/tree/44823c1d9e3dc7f3c5749b60e9f571014f71f99d/item/hare/check (link updated to reflect the status of the code at the time) >> I've got an error type with an identifying enum that is (hopefully) very >> easy to add to (with a code-gen'd errcode_tostr function to get the doc >> comment for each enum value). > >> I figure a test which asserts that the resulting error is (or contains) >> an error with a given enum value, that was initialized by a particular
From Rosie Keith Languet to ~sircmpwn/hare-users
Also Hi! I offer a small addition to Lorenz's comments, for you and for future hare learners. > the right move here would be to just work with the memio::stream > directly instead of taking a pointer to it :) Indeed this is the more common pattern across the ecosystem. Alternatively, you could also alloc() the stream and free() it after closing it. With Lorenz's suggestion the stream is copied from foo's stack to main's. Since the stream will not out-live main, you can safely take its address there and use it as you had: ```
From Rosie Keith Languet to ~vladh/hare-project-library
Signed-off-by: Rosie Keith Languet <rkl@rosiesworkshop.net> --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index a2cb97a..ed89d58 100644 --- a/README.md +++ b/README.md @@ -83,6 +83,7 @@ If you're interested specifically in 3D graphics, check out * [~yerinalexey/afl_harec](https://git.sr.ht/~yerinalexey/afl_harec): Hare instrumentation for [AFL](https://github.com/google/AFL) * [~yerinalexey/hare-annotate](https://git.sr.ht/~yerinalexey/hare-annotate): A library for implementing code generators * [`~roselandgoose/gen_enum_strs`](https://git.sr.ht/~roselandgoose/hare2c2/tree/main/item/cmd/gen_enum_strs): A Hare `fn $enum_to_str($enum) str` code generator [message trimmed]
From Rosie Keith Languet to ~sircmpwn/hare-rfc
Im very excited to see this proposal! > For example, it is often necessary to statically allocate > variables whose initializers cannot be evaluated at compile-time, Another case where ^this^ has been true for me is when initializing global unstable (exported but undocumented) structs. I recently wrote the following to interface with debug:: and debug::image: ``` def self: *image::image = &self_buf: *image::image; let self_buf: [size(image::image)]u8 = [0...];