From: Johnny Richard <johnny@johnnyrichard.com>
To: Carlos Maniero <carlos@maniero.me>
Cc: ~johnnyrichard/olang-devel@lists.sr.ht
Subject: Re: [PATCH olang v0] proposal: checker: set the eval type at the binary op expression
Date: Wed, 13 Nov 2024 01:10:52 +0100 [thread overview]
Message-ID: <w3k3dctgr56bxitwj3dh5gmprt5qxf74mqrjtyzklpcxmni4ch@gzg7dkonthpl> (raw)
In-Reply-To: <20241022033942.39374-1-carlos@maniero.me>
I don't recall if this is still on progress. Could you please refresh
my mind?
next prev parent reply other threads:[~2024-11-12 22:11 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2024-10-22 3:39 Carlos Maniero
2024-10-22 3:40 ` [olang/patches/.build.yml] build success builds.sr.ht
2024-11-13 0:10 ` Johnny Richard [this message]
2024-11-12 22:35 ` [PATCH olang v0] proposal: checker: set the eval type at the binary op expression Carlos Maniero
2024-11-13 0:45 ` Johnny Richard
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=w3k3dctgr56bxitwj3dh5gmprt5qxf74mqrjtyzklpcxmni4ch@gzg7dkonthpl \
--to=johnny@johnnyrichard.com \
--cc=carlos@maniero.me \
--cc=~johnnyrichard/olang-devel@lists.sr.ht \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
Code repositories for project(s) associated with this public inbox
https://git.johnnyrichard.com/olang.git
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox