From afe6c0eba93bd4f179b8e6538758b05db77f0d53 Mon Sep 17 00:00:00 2001 From: dzaima Date: Fri, 25 Nov 2022 19:53:14 +0200 Subject: [PATCH] =?UTF-8?q?use=201=E2=80=A2internal.Info=20for=20rtverify?= =?UTF-8?q?=20fails?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- src/rtwrap.c | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/src/rtwrap.c b/src/rtwrap.c index 0f7c9901..07a1e3d6 100644 --- a/src/rtwrap.c +++ b/src/rtwrap.c @@ -56,14 +56,14 @@ B wfn_identity(B x) { #define RT_VERIFY_ARGS 1 #endif #if RT_VERIFY - B info_c1(B t, B x); + B info_c2(B t, B w, B x); #define CHK(EXP,GOT,W,X) { if (!eequal(EXP,GOT)) { \ print(f); printf(": failed RT_VERIFY\n"); fflush(stdout); \ if (RT_VERIFY_ARGS) { \ - if(!q_N(W)){printf("𝕨:"); print(W); printf(" / "); printRaw(info_c1(bi_N, inc(W))); putchar('\n'); fflush(stdout); } \ - { printf("𝕩:"); print(X); printf(" / "); printRaw(info_c1(bi_N, inc(X))); putchar('\n'); fflush(stdout); } \ - { printf("got:"); print(GOT); printf(" / "); printRaw(info_c1(bi_N, inc(GOT))); putchar('\n'); fflush(stdout); } \ - { printf("exp:"); print(EXP); printf(" / "); printRaw(info_c1(bi_N, inc(EXP))); putchar('\n'); fflush(stdout); } \ + if(!q_N(W)){printf("𝕨:"); print(W); printf(" / "); printRaw(info_c2(bi_N, m_i32(1), inc(W))); putchar('\n'); fflush(stdout); } \ + { printf("𝕩:"); print(X); printf(" / "); printRaw(info_c2(bi_N, m_i32(1), inc(X))); putchar('\n'); fflush(stdout); } \ + { printf("got:"); print(GOT); printf(" / "); printRaw(info_c2(bi_N, m_i32(1), inc(GOT))); putchar('\n'); fflush(stdout); } \ + { printf("exp:"); print(EXP); printf(" / "); printRaw(info_c2(bi_N, m_i32(1), inc(EXP))); putchar('\n'); fflush(stdout); } \ } \ vm_pstLive(); exit(1); \ }}