Embed Notice

HTML Code

<blockquote style="position: relative; padding-left: 55px;"><section><a href="https://mastodon.gamedev.place/users/lritter/statuses/114386948427816534">Leonard Ritter (lritter@mastodon.gamedev.place)'s status on Friday, 02-May-2025 07:16:16 JST</a><a href="https://mastodon.gamedev.place/@lritter" title="lritter@mastodon.gamedev.place"><img src="https://gnusocial.jp/avatar/11596-48-20220929134937.webp" width="48" height="48" alt="Leonard Ritter" style="position: absolute; left: 0; top: 0;">Leonard Ritter</a><div><a href="https://gnusocial.jp/notice/9773538" rel="in-reply-to">in reply to</a></div></section><article><p>lists done, platform ABI done. now we get to prover.cpp which is the typechecker, and at 4500 lines a behemoth, compared to other files.</p><p>i wrote down a few regexes i used for replacement here, which save me a lot busy work.</p><p><a href="https://mastodon.gamedev.place/tags/devlog" rel="tag">#devlog</a> <a href="https://mastodon.gamedev.place/tags/scopes" rel="tag">#scopes</a></p></article><footer><a rel="bookmark" href="https://gnusocial.jp/conversation/4987728#notice-9773539">In conversation</a><time datetime="2025-05-02T07:16:16+09:00" title="Friday, 02-May-2025 07:16:16 JST">about 16 days ago</time> <span>from <span><a href="https://mastodon.gamedev.place/@lritter/114386948427816534" rel="external" title="Sent from mastodon.gamedev.place via ActivityPub">mastodon.gamedev.place</a></span></span><a href="https://mastodon.gamedev.place/@lritter/114386948427816534">permalink</a><h4>Attachments</h4><ol><li><label><a rel="external" href="https://gnusocial.jp/attachment/4556769">    SCOPES_RESULT_TYPE$[^$]+\);\n$SCOPES_GET_RESULT\((.+)$\)
($1)SCOPES_GET_RESULT$(.+)$
$1SCOPES_CHECK_RESULT$(.+)$
$1([A-za-z0-9]+)\.isa&lt;([A-za-z]+)&gt;
isa&lt;$2&gt;($1)</a></label><br><a href="https://cdn.masto.host/mastodongamedevplace/media_attachments/files/114/387/298/460/525/031/original/11cc1691e82873bd.png" rel="external">https://cdn.masto.host/mastodongamedevplace/media_attachments/files/114/387/298/460/525/031/original/11cc1691e82873bd.png</a></li></ol></footer></blockquote>

Corresponding Notice

Embed this notice
Leonard Ritter (lritter@mastodon.gamedev.place)'s status on Friday, 02-May-2025 07:16:16 JST Leonard Ritter
in reply to
lists done, platform ABI done. now we get to prover.cpp which is the typechecker, and at 4500 lines a behemoth, compared to other files.
i wrote down a few regexes i used for replacement here, which save me a lot busy work.
#devlog #scopes
In conversationabout 16 days ago from mastodon.gamedev.placepermalink
Attachments
1. SCOPES_RESULT_TYPE$[^$]+\);\n $SCOPES_GET_RESULT\((.+)$\) ($1) SCOPES_GET_RESULT$(.+)$ $1 SCOPES_CHECK_RESULT$(.+)$ $1 ([A-za-z0-9]+)\.isa<([A-za-z]+)> isa<$2>($1)
  https://cdn.masto.host/mastodongamedevplace/media_attachments/files/114/387/298/460/525/031/original/11cc1691e82873bd.png

Public

Embed Notice

HTML Code

Corresponding Notice