~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 hare-specification] Remove str -> *const char assignability rule

Details
Message ID
<20230205053346.2356-1-sebastian@sebsite.pw>
DKIM signature
pass
Download raw message
Patch: +0 -1
Signed-off-by: Sebastian <sebastian@sebsite.pw>
---
 language/expressions.tex | 1 -
 1 file changed, 1 deletion(-)

diff --git a/language/expressions.tex b/language/expressions.tex
index d4f4839..1983055 100644
--- a/language/expressions.tex
+++ b/language/expressions.tex
@@ -1936,7 +1936,6 @@ Type aliases & Any type assignable to the secondary type \\
\terminal{void} & Any type \\
\terminal{*} \terminal{void} & Any non-nullable pointer type \\
\terminal{nullable} \terminal{*} \terminal{void} & Any pointer type \\
\terminal{*} \terminal{const} \terminal{char} & \terminal{str} \\
\end{tabular}

The implementation shall perform any necessary conversion from the source type
-- 
2.38.1

[hare-specification/patches/.build.yml] build success

builds.sr.ht <builds@sr.ht>
Details
Message ID
<CQADVQCZCSMI.3DBBXTBWJRXMT@cirno2>
In-Reply-To
<20230205053346.2356-1-sebastian@sebsite.pw> (view parent)
DKIM signature
missing
Download raw message
hare-specification/patches/.build.yml: SUCCESS in 3m38s

[Remove str -> *const char assignability rule][0] from [Sebastian][1]

[0]: https://lists.sr.ht/~sircmpwn/hare-dev/patches/38752
[1]: sebastian@sebsite.pw

✓ #934753 SUCCESS hare-specification/patches/.build.yml https://builds.sr.ht/~sircmpwn/job/934753
Details
Message ID
<CQATAWCDKJIM.YZTEF2QCV6AK@monch>
In-Reply-To
<20230205053346.2356-1-sebastian@sebsite.pw> (view parent)
DKIM signature
pass
Download raw message
Thanks!

To git@git.sr.ht:~sircmpwn/hare-specification
   4c00dc4..799275a  master -> master
Reply to thread Export thread (mbox)