From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Damien Mattei Newsgroups: gmane.lisp.guile.user Subject: Re: match error Date: Tue, 1 Aug 2023 16:28:04 +0200 Message-ID: References: <4c56647a595dbe5aa0afc249b5667f527328de9b.camel@abou-samra.fr> <8f9a19fdf114c535610588a090ab97d361210fe0.camel@abou-samra.fr> Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="9847"; mail-complaints-to="usenet@ciao.gmane.io" Cc: guile-user To: Jean Abou Samra Original-X-From: guile-user-bounces+guile-user=m.gmane-mx.org@gnu.org Tue Aug 01 16:29:00 2023 Return-path: Envelope-to: guile-user@m.gmane-mx.org Original-Received: from lists.gnu.org ([209.51.188.17]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1qQqMu-0002MQ-Ec for guile-user@m.gmane-mx.org; Tue, 01 Aug 2023 16:29:00 +0200 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1qQqMG-0000Bb-Jo; Tue, 01 Aug 2023 10:28:20 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1qQqME-0000BK-TV for guile-user@gnu.org; Tue, 01 Aug 2023 10:28:18 -0400 Original-Received: from mail-ed1-x533.google.com ([2a00:1450:4864:20::533]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1qQqMD-0007Kk-6s for guile-user@gnu.org; Tue, 01 Aug 2023 10:28:18 -0400 Original-Received: by mail-ed1-x533.google.com with SMTP id 4fb4d7f45d1cf-51e2a6a3768so7907539a12.0 for ; Tue, 01 Aug 2023 07:28:16 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20221208; t=1690900095; x=1691504895; h=content-transfer-encoding:cc:to:subject:message-id:date:from :in-reply-to:references:mime-version:from:to:cc:subject:date :message-id:reply-to; bh=SzOkJjxRU2aNgOy//788H+V7J9L87Mh3hAt/RVtc3pI=; b=OaPpbL6066/PQ/rgYSAzorOxxjFuoGLPAoYyD73EtqarzXzspjcsxMOsDbi1r4k1u1 H7TBpvrtzWGBX6M1N2M2RU4ibderwGil3x+tYGNq++rSVwXNoQ4orHNXcBHCbdWWzt8+ 6yT85lfFlHxzWFy4kKmxWT7FUzY356MjITIX4d3eC3VyDc6uwvW+fIbo9TO4dclShBmE FdZI1KGiD7pDbnAxJpeBjBKFUTCehH1cRCJu1al8/lcaj8sqJ3zqDlBoRwynY0mpLxxN gIzODkEAHNtNu4bW5r7AzunsUy7xtZYt+3szyunY+J7m2voSMZJHP334U0AFSiPAVtcD X1Tg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20221208; t=1690900095; x=1691504895; h=content-transfer-encoding:cc:to:subject:message-id:date:from :in-reply-to:references:mime-version:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=SzOkJjxRU2aNgOy//788H+V7J9L87Mh3hAt/RVtc3pI=; b=fUYMEjCGfvbJhEtbCo1wgBm8CrkA7dsfHmKelJa/rmELveRjOo9/dwsxKXoTkuobkD HegDXgZTtrnCTRI4Tyfx5jTG1aEivs1RYFayrPE0bGvimKaBeDCftuEJqBZoJsxW4Bn3 CkZrHbJ7YvQjPPjR9LMZeVa70J+k73xz7ZKOxWA9wFqEif3p5EcePVsGr9bwJ+i2e28Z GHzuEbiNGlxglwUIx1/B8w3jX4PkT+Bk4L6m4fPX6X6P9YuprN3mdt/FRxwPgkMbcnKT 33nRcfC5E2Tdl5z57whgOLK9iedRO5a64MXfSH37BMA3VdOkm7e6jWfaivVjOCznmKXL CR1w== X-Gm-Message-State: ABy/qLb6idkj4Ne87IPOYllMggsQDz0hiZqaLg5vNcJw/BuOSQKtJa6i +r1JlKAE1HDe1RwHob09j08aPGVaPqe6+6x+gy64v8P9Ayg= X-Google-Smtp-Source: APBJJlGz0fRTTC4HVVkTEnl+Y5B0O8O9KwD/ToPTW86Hyoc4xmF+jgsKkkhU2tBX0cYoinFF2AlZW+hMEtuAqNBzUUY= X-Received: by 2002:aa7:c64d:0:b0:522:aa7d:3a9e with SMTP id z13-20020aa7c64d000000b00522aa7d3a9emr2579787edr.39.1690900095420; Tue, 01 Aug 2023 07:28:15 -0700 (PDT) In-Reply-To: <8f9a19fdf114c535610588a090ab97d361210fe0.camel@abou-samra.fr> Received-SPF: pass client-ip=2a00:1450:4864:20::533; envelope-from=damien.mattei@gmail.com; helo=mail-ed1-x533.google.com X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: guile-user@gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: General Guile related discussions List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guile-user-bounces+guile-user=m.gmane-mx.org@gnu.org Original-Sender: guile-user-bounces+guile-user=m.gmane-mx.org@gnu.org Xref: news.gmane.io gmane.lisp.guile.user:19118 Archived-At: i will test that , for now i'm testing under Linux on another system (previous one was Mac OS) and the same code works : GNU Guile 3.0.1 Copyright (C) 1995-2020 Free Software Foundation, Inc. Guile comes with ABSOLUTELY NO WARRANTY; for details type `,show w'. This program is free software, and you are welcome to redistribute it under certain conditions; type `,show c' for details. Enter `,help' for help. scheme@(guile-user)> (load "start-=CE=BB=CE=BF=CE=B3=CE=B9=CE=BA=CE=B9-guil= e+.scm") ;;; note: auto-compilation is enabled, set GUILE_AUTO_COMPILE=3D0 ;;; or pass the --no-auto-compile argument to disable. ;;; compiling /home/mattei/Dropbox/git/library-FunctProg/start-=CE=BB=CE=BF= =CE=B3=CE=B9=CE=BA=CE=B9-guile+.scm ;;; compiling /usr/share/guile/site/3.0/Scheme+.scm ;;; compiling /usr/share/guile/site/3.0/growable-vector.scm ;;; compiled /home/mattei/.cache/guile/ccache/3.0-LE-8-4.2/usr/share/guile/= site/3.0/growable-vector.scm.go ;;; assignment.scm:903:12: warning: macro `when' used before definition ;;; assignment.scm:935:2: warning: macro `when' used before definition ;;; assignment.scm:941:6: warning: macro `when' used before definition ;;; assignment.scm:947:6: warning: macro `when' used before definition ;;; compiled /home/mattei/.cache/guile/ccache/3.0-LE-8-4.2/usr/share/guile/= site/3.0/Scheme+.scm.go ;;; guile/logiki+.scm:3661:28: warning: possibly unbound variable `string->pointer' ;;; guile/logiki+.scm:3661:2: warning: possibly unbound variable `forfunct' ;;; guile/logiki+.scm:3641:26: warning: possibly unbound variable `string->pointer' ;;; guile/logiki+.scm:3641:2: warning: possibly unbound variable `openmp' ;;; guile/logiki+.scm:3765:6: warning: possibly unbound variable `openmp' ;;; guile/logiki+.scm:3765:25: warning: possibly unbound variable `string->pointer' ;;; guile/logiki+.scm:3869:6: warning: possibly unbound variable `openmp' ;;; guile/logiki+.scm:3869:25: warning: possibly unbound variable `string->pointer' ;;; guile/logiki+.scm:3965:32: warning: possibly unbound variable `parallel-vector-map' ;;; guile/logiki+.scm:4059:6: warning: possibly unbound variable `forfunct' ;;; guile/logiki+.scm:4059:27: warning: possibly unbound variable `string->pointer' ;;; compiled /home/mattei/.cache/guile/ccache/3.0-LE-8-4.2/home/mattei/Drop= box/git/library-FunctProg/start-=CE=BB=CE=BF=CE=B3=CE=B9=CE=BA=CE=B9-guile+= .scm.go scheme@(guile-user)> (logic-test) test 1 ((=C2=ACa =E2=88=A7 b =E2=88=A7 d) =E2=88=A8 (=C2=ACb =E2=88=A7 =C2=ACc) = =E2=88=A8 (c =E2=88=A7 =C2=ACd)) EXACT test 2 ((=C2=ACa =E2=88=A7 b =E2=88=A7 d) =E2=88=A8 (=C2=ACb =E2=88=A7 =C2=ACc) = =E2=88=A8 (c =E2=88=A7 =C2=ACd)) EXACT test 3 ((A =E2=88=A7 B) =E2=88=A8 (A =E2=88=A7 C) =E2=88=A8 (B =E2=88=A7 C)) EXACT test 4 ((B0 =E2=88=A7 B1) =E2=88=A8 (B0 =E2=88=A7 C1) =E2=88=A8 (B1 =E2=88=A7 C1)) EXACT test 5 (or (and B2 B3) (and B2 B4) (and B3 (not B12))) EXACT test 6 (or (and (not a) (not b) (not c) (not d)) (and (not a) (not b) (not c) d) (and (not a) (not b) c (not d)) (and (not a) b (not c) d) (and (not a) b c (not d)) (and (not a) b c d) (and a (not b) (not c) (not d)) (and a (not b) (not c) d) (and a (not b) c (not d)) (and c (not d))) =3D ((=C2=ACa =E2=88=A8 =C2=ACb =E2=88=A8 c) =E2=88=A7 (=C2=ACa =E2=88=A8 =C2= =ACb =E2=88=A8 =C2=ACd) =E2=88=A7 (=C2=ACa =E2=88=A8 =C2=ACc =E2=88=A8 =C2= =ACd) =E2=88=A7 (b =E2=88=A8 =C2=ACc =E2=88=A8 =C2=ACd) =E2=88=A7 (=C2=ACb =E2=88=A8 c =E2=88=A8 d)) EXACT test 7 (or (and (and A B) (not (and C (or (and A (not B)) (and (not A) B))))) (and (not (and A B)) (and C (or (and A (not B)) (and (not A) B))))) =3D (or (and A B C) (and A B (not C)) (and A (not B) C) (and (not A) B C)) EXACT test 8 (or (and B=E2=82=82 B=E2=82=83) (and B=E2=82=82 B=E2=82=84) (and B=E2=82=83= (not B=E2=82=81=E2=82=82))) EXACT #t with the same code shared between system via Dropbox later i removed a debug info and the compilation was sticked on: (load "start-=CE=BB=CE=BF=CE=B3=CE=B9=CE=BA=CE=B9-guile+.scm") so i did in a terminal : mattei@pc-mattei:~$ zd .cache/guile/ccache/ total 16 drwxr-xr-x 4 mattei mattei 4096 juin 8 2021 . drwxr-xr-x 3 mattei mattei 4096 mars 4 2020 .. drwxr-xr-x 4 mattei mattei 4096 juil. 23 2020 2.2-LE-8-3.A drwxrwxr-x 4 mattei mattei 4096 nov. 19 2021 3.0-LE-8-4.2 (base) mattei@pc-mattei:~$ rm -rf .cache/guile/ccache/* and it compiles well no problem on the PC linux till now,for info the call of the macro in previous message is from this instruction: {iepi[{x + 1} 0] =E2=86=90 vct-prime-implicants[x]} it assign the RHS a two dimension array (vector of vector) iepi[{x + 1} 0] with the LHS (left hand s-expression) vct-prime-implicants[x] which the value of a one dimension vector i will test again on the MacOS laptop , i remembered i had cleaned the cache too ,so it is very strange... if it still fail i will activate your debug info i never used but problem does not seems to come only from my code. On Tue, Aug 1, 2023 at 1:46=E2=80=AFPM Jean Abou Samra = wrote: > > Le mardi 01 ao=C3=BBt 2023 =C3=A0 12:46 +0200, Damien Mattei a =C3=A9crit= : > > probably ,as you say , 'match' is used in other place but i 'grep-ed' > > all the directory and can not find where, i'm only using match this 2 > > months i even do not know it exists before... i almost sure i never > > use it in other place in the code,so i'm still not understand.... > > > I don't think we're on the same page. I'm saying that match is also > used a lot internally in Guile's own code, so you should get a backtrace > to find which one failed. > > ~/repos/guile $ rg "\(match" -g '*.scm' -g '!gc-benchmarks' | wc -l > 1620 > >