~sircmpwn/hare-dev

This thread contains a patchset. You're looking at the original emails, but you may wish to use the patch review UI. Review patch
2 2

[PATCH harelang.org] Typo: requrie -> require

Details
Message ID
<165588751487.24233.8551124314501897194-0@git.sr.ht>
DKIM signature
missing
Download raw message
Patch: +2 -2
From: Philip Munksgaard <philip@munksgaard.me>

---
 content/blog/2022-06-21-Safety-features.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/content/blog/2022-06-21-Safety-features.md b/content/blog/2022-06-21-Safety-features.md
index 077d824..fb191dd 100644
--- a/content/blog/2022-06-21-Safety-features.md
+++ b/content/blog/2022-06-21-Safety-features.md
@@ -54,7 +54,7 @@ the standard library or third-party libraries. Rather than passing a separate
"length" parameter to any function accepting a slice, it's baked into the type,
which reduces the odds for error.

Of course, there are many use-cases in low-level programming which requrie the
Of course, there are many use-cases in low-level programming which require the
use of unbounded arrays or which stores the length in a manner incompatible with
our type system. For this purpose, we offer the `[*]type` syntax for declaring
arrays of unbounded length, which are not bounds-checked. However, it's often
@@ -356,7 +356,7 @@ A non-nullable pointer type cannot contain null, unless you use a cast to force
the situation. If you tell the compiler that you know better, it will believe
you, but at your own risk. Many conversions will require multiple casts for each
dangerous step &mdash; for example, casting a rune to a pointer is possible, but
requries several casts to get there (rune → u32 → u64 → uintptr → \*whatever).
requires several casts to get there (rune → u32 → u64 → uintptr → \*whatever).
The riskier the cast, the more work it takes to do.

These features are important and necessary for many use-cases, which is why they
-- 
2.34.2

[harelang.org/patches/.build.yml] build success

builds.sr.ht <builds@sr.ht>
Details
Message ID
<CKWJ53ZJ4P2K.1KGS335THPKIU@cirno2>
In-Reply-To
<165588751487.24233.8551124314501897194-0@git.sr.ht> (view parent)
DKIM signature
missing
Download raw message
harelang.org/patches/.build.yml: SUCCESS in 18s

[Typo: requrie -> require][0] from [~munksgaard][1]

[0]: https://lists.sr.ht/~sircmpwn/hare-dev/patches/33187
[1]: philip@munksgaard.me

✓ #785376 SUCCESS harelang.org/patches/.build.yml https://builds.sr.ht/~sircmpwn/job/785376
Details
Message ID
<CKWJ69ZKKZXG.22FYV8XCAEJKZ@taiga>
In-Reply-To
<165588751487.24233.8551124314501897194-0@git.sr.ht> (view parent)
DKIM signature
pass
Download raw message
Thanks!

To git@git.sr.ht:~sircmpwn/harelang.org
   8ea1421..a740301  master -> master
Reply to thread Export thread (mbox)