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 19:32:33 +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="12595"; 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 19:33:18 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 1qQtFG-00034W-EU for guile-user@m.gmane-mx.org; Tue, 01 Aug 2023 19:33:18 +0200 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1qQtEo-0005Mm-Mj; Tue, 01 Aug 2023 13:32:50 -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 1qQtEm-0005MY-Ai for guile-user@gnu.org; Tue, 01 Aug 2023 13:32:48 -0400 Original-Received: from mail-ed1-x52b.google.com ([2a00:1450:4864:20::52b]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1qQtEk-0008Ln-Bw for guile-user@gnu.org; Tue, 01 Aug 2023 13:32:48 -0400 Original-Received: by mail-ed1-x52b.google.com with SMTP id 4fb4d7f45d1cf-51cff235226so117043a12.0 for ; Tue, 01 Aug 2023 10:32:46 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20221208; t=1690911164; x=1691515964; 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=FJW1ZVEhW2U98eNR/XaUBkyZGoaL2lLwLpeJLjQI78w=; b=gAmY0+GzI/DhZUvlcthmvGgc0zMsteW4aV4mtFdLOhpuJGDdO0gY/eUkuFsLcplmPD nX1RowX0S4rsbvotsSjH/Sk/u8OgUbfobTA6eJMOyxVxJWvq6PiEa64uiNbBuuETv9ep dcmra5Xo3G31gzk3sb6dSxTzcXAKZoTAT+ueXH4GEVqJRQZ5ZTQmH4iGjMsNyuJ1AZu0 +jFkC3hmgXJEiAkfZ0mR4MKfUEdrr1pDU3/5evpdA5ox2+ePuyHfPa2agymFDv8rq/NN DsXEjGH2avDQkZS8ZbbR/kRngX/AFIAwic2BUYqSPOo11XUIKFFtT7Sl8+R2AXL2ijmi ZQAg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20221208; t=1690911164; x=1691515964; 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=FJW1ZVEhW2U98eNR/XaUBkyZGoaL2lLwLpeJLjQI78w=; b=FHYkltyGVyNTiahudTWt3+rp77KS5bZOVDf6nJ+vSDwwIQwXuLnkj1BE8vIAswLxX+ P4+Aa1Wd4rqNbN/NAe07k8Xsa2DSUFjWmaCt7t0d/KJ8yz1/C4fp18K3DVOGG/Cgrfmt MxdwpedjYVGbxLke88ijkJCCO6LOWLjMS3XxQoJs1G6w/eZ/FTb/RP9hExd7A55jGPdC Kb+7AQpfFI6QHgqpNSgQLIWtJWkcxht4EW2R8LnsAbnU31kjE4WVsqptAqm3ZLmIJ1UY uGGZlvAserG4R/J77v/1JmIXiNnIlq66LmtuFos97795sYQ2AUk/VPdfmiV/b1ZvZF7n k0LQ== X-Gm-Message-State: ABy/qLa0gW5zeopKoZhN/emFmrXNRNoqOIv0g5yJhMLLzBkQ7l5b46K+ ++UjsAcxbFWPP13b/2H3gtJ3Qs4Di592JwxnEK9V00YDNJw= X-Google-Smtp-Source: APBJJlFv/56w1bhGuS+TXWwWOSJqf1TMV/63L0qJdM3a31ouY2nfmcPR6nUcjBrn6FtGatCZaIpLXJDinMrwuP1q1uo= X-Received: by 2002:aa7:dace:0:b0:522:d801:7d07 with SMTP id x14-20020aa7dace000000b00522d8017d07mr4263875eds.10.1690911164210; Tue, 01 Aug 2023 10:32:44 -0700 (PDT) In-Reply-To: Received-SPF: pass client-ip=2a00:1450:4864:20::52b; envelope-from=damien.mattei@gmail.com; helo=mail-ed1-x52b.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:19119 Archived-At: it works now on the mac os system too: EXACT $1 =3D #t scheme@(guile-user)> ,q (base) mattei@macbook-pro-touch-bar library-FunctProg % uname -a Darwin macbook-pro-touch-bar.home 22.5.0 Darwin Kernel Version 22.5.0: Thu Jun 8 22:22:19 PDT 2023; root:xnu-8796.121.3~7/RELEASE_ARM64_T8103 arm64 it seems the cleaning of old .o files solved the problem On Tue, Aug 1, 2023 at 4:28=E2=80=AFPM Damien Mattei wrote: > > 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-gu= ile+.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/guil= e/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/guil= e/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 `forfunc= t' > ;;; 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 `forfunc= t' > ;;; 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/Dr= opbox/git/library-FunctProg/start-=CE=BB=CE=BF=CE=B3=CE=B9=CE=BA=CE=B9-guil= e+.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=A9cr= it : > > > 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 backtrac= e > > to find which one failed. > > > > ~/repos/guile $ rg "\(match" -g '*.scm' -g '!gc-benchmarks' | wc -l > > 1620 > > > >