Embed Notice

HTML Code

<blockquote style="position: relative; padding-left: 55px;"><section><a href="https://mastodon.gamedev.place/users/lritter/statuses/114377218497025584">Leonard Ritter (lritter@mastodon.gamedev.place)'s status on Friday, 02-May-2025 07:16:19 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://mastodon.gamedev.place/@lritter/114376580071464751" rel="in-reply-to">in reply to</a></div></section><article><p>wrote some great sugar for the boundary so there's virtually no sweat translating exceptions.</p><p>first pic is old way, second pic is new way</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-9773536">In conversation</a><time datetime="2025-05-02T07:16:19+09:00" title="Friday, 02-May-2025 07:16:19 JST">about 16 days ago</time> <span>from <span><a href="https://gnusocial.jp/notice/9773536" rel="external" title="Sent from gnusocial.jp via ActivityPub">gnusocial.jp</a></span></span><a href="https://gnusocial.jp/notice/9773536">permalink</a><h4>Attachments</h4><ol><li><label><a rel="external" href="https://gnusocial.jp/attachment/4556767">sc_value_raises_t sc_typify_template(sc_value_t f, int numtypes, const sc_type_t *typeargs) {
    using namespace scopes;
    SCOPES_C_RESULT_TYPE(Value);
    auto tf = SCOPES_C_GET_RESULT(extract_template_constant(f));
    if (is_inline(tf)) {
        SCOPES_C_ERROR(CannotTypeInline);
    }
    Types types;
    for (int i = 0; i &lt; numtypes; ++i) {
        types.push_back(typeargs[i]);
    }
    SCOPES_C_RETURN(prove({}, tf, types));
}</a></label><br><a href="https://cdn.masto.host/mastodongamedevplace/media_attachments/files/114/377/211/390/296/002/original/db024bb34932d467.png" rel="external">https://cdn.masto.host/mastodongamedevplace/media_attachments/files/114/377/211/390/296/002/original/db024bb34932d467.png</a></li><li><label><a rel="external" href="https://gnusocial.jp/attachment/4556768">sc_value_raises_t sc_typify_template(sc_value_t f, int numtypes, const sc_type_t *typeargs) {
    using namespace scopes;
    C_WRAP {
        auto tf = extract_template_constant(f);
        if (is_inline(tf)) {
            SCOPES_ERROR(CannotTypeInline);
        }
        Types types;
        for (int i = 0; i &lt; numtypes; ++i) {
            types.push_back(typeargs[i]);
        }
        return prove({}, tf, types);
    };
}</a></label><br><a href="https://cdn.masto.host/mastodongamedevplace/media_attachments/files/114/377/217/916/252/051/original/8645806b58ab807a.png" rel="external">https://cdn.masto.host/mastodongamedevplace/media_attachments/files/114/377/217/916/252/051/original/8645806b58ab807a.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:19 JST Leonard Ritter
in reply to
wrote some great sugar for the boundary so there's virtually no sweat translating exceptions.
first pic is old way, second pic is new way
#devlog #scopes
In conversationabout 16 days ago from gnusocial.jppermalink
Attachments
1. sc_value_raises_t sc_typify_template(sc_value_t f, int numtypes, const sc_type_t *typeargs) { using namespace scopes; SCOPES_C_RESULT_TYPE(Value); auto tf = SCOPES_C_GET_RESULT(extract_template_constant(f)); if (is_inline(tf)) { SCOPES_C_ERROR(CannotTypeInline); } Types types; for (int i = 0; i < numtypes; ++i) { types.push_back(typeargs[i]); } SCOPES_C_RETURN(prove({}, tf, types)); }
  https://cdn.masto.host/mastodongamedevplace/media_attachments/files/114/377/211/390/296/002/original/db024bb34932d467.png
2. sc_value_raises_t sc_typify_template(sc_value_t f, int numtypes, const sc_type_t *typeargs) { using namespace scopes; C_WRAP { auto tf = extract_template_constant(f); if (is_inline(tf)) { SCOPES_ERROR(CannotTypeInline); } Types types; for (int i = 0; i < numtypes; ++i) { types.push_back(typeargs[i]); } return prove({}, tf, types); }; }
  https://cdn.masto.host/mastodongamedevplace/media_attachments/files/114/377/217/916/252/051/original/8645806b58ab807a.png

Public

Embed Notice

HTML Code

Corresponding Notice