From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-ed1-x52a.google.com (mail-ed1-x52a.google.com [IPv6:2a00:1450:4864:20::52a]) by sourceware.org (Postfix) with ESMTPS id 2ED663858C2B for ; Wed, 1 Nov 2023 12:50:25 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 2ED663858C2B Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=gmail.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=gmail.com ARC-Filter: OpenARC Filter v1.0.0 sourceware.org 2ED663858C2B Authentication-Results: server2.sourceware.org; arc=none smtp.remote-ip=2a00:1450:4864:20::52a ARC-Seal: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1698843028; cv=none; b=lrgagf1GiEuqT39UBn7lJ7kzD9qXynaeFc6L9WlGuflOdCwOjeZcdhEKlleEKV4a7MUhMWhQ4VWF29zCwuBFAnygu+cRzuvkAU7IFTl4Xo5LifxwwaOQ4SdupcHH3JDoTVxCOZzPPlm3H0tEeV+UYkBOOyXFnVoHrLgXxWPdnm0= ARC-Message-Signature: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1698843028; c=relaxed/simple; bh=d/tq9cnWChD2XSvaCkqOedb08fDIWMa7rJiT7Ea8hZ0=; h=DKIM-Signature:MIME-Version:From:Date:Message-ID:Subject:To; b=UdqHfJhCGtZdcnDG7gsoYstias0709bPZR/dB14unsl/1asFhB0YTEhsWkZHncaDILy1By+FEnHsi3TGXsL3tJoSko9STDFRtGdtDvs/238gFzTzbS0O9rglcvoJPHmceWMqV2ZKA6mJzRWHIc/qtW+nLTu7WM+2HchBLz53Z0o= ARC-Authentication-Results: i=1; server2.sourceware.org Received: by mail-ed1-x52a.google.com with SMTP id 4fb4d7f45d1cf-54366784377so3182921a12.3 for ; Wed, 01 Nov 2023 05:50:25 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1698843022; x=1699447822; darn=sourceware.org; h=content-transfer-encoding:to:subject:message-id:date:from :in-reply-to:references:mime-version:from:to:cc:subject:date :message-id:reply-to; bh=MoHbeScATpcXf5kXKme0DyVVct/VASJ+StCt49XuNQ8=; b=Ripcc3tp40ztzQ3czU+EDjMXEfsavpoLJGPybChqWz34Gg9wA/laYLfSJ2Be6OcpiL HQOBK+BOKUMd9V/EEhij+Pst/oMlriu+FUvAjpB/MGaceo6NTEEaV6pDinaBEC4kMQUy P7/0MGb6BjEKdO+MawuGA2MLWdLVh5B/3sF1dYBv2pycBx750pleGSqsUQmpsM/rcNWA i3So5AG6WN6X6qFoqD0mzLhD1f8KcVk4PWvzG8rXQU11npwFzkc5kYcr7e0E3VOTeBXK sD/GkIujukA6CxZXabzmVV+9pkyUEwF2HX6kDknLh0Bh7eo9Jkklv0pfX54Mv7daa1jN iIPg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1698843022; x=1699447822; h=content-transfer-encoding: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=MoHbeScATpcXf5kXKme0DyVVct/VASJ+StCt49XuNQ8=; b=K6zgO4YYdi2f/tOR/YDPJ9AvRlWOueY1xYxGjrcFo7zW8o8BqPKBznohdXcRUSGh6W eungJ/IeRMpT9KiomNlc5S7AbDfFaKteziq1AkZBqKsAsRUS/M+BWSlEFnQUGvh+qT53 7XmYK5jKZW5AaNwxaRN2q2TtQHgx9bHoS9SDh4mme47P+t8UIk1O5V5UeB7H85yOsMF2 d7K2n+tvA99Ob+/qPjCvKXg+XimJrIbo3G3CD3t+iC9CPpSxtUhuFp/MRIYWWpaUz4wy TClTz/fKxlUTAjSxCW8ntI+n5cXu3Y8JOml3iQqLZDV0zCDPvRDCqGUbA/ac260/Yb2v 5www== X-Gm-Message-State: AOJu0YxvSF5jYcF06yDi5XI3m3b91VmhTX6IpCXFFCVSJRRQ0/IgTJmP ZOloA4VGRzWG59hIPk3lfOEBPfDOCLb4OhjhY4jvGZMoWzE= X-Google-Smtp-Source: AGHT+IFNjRZUpuZZ6F+cs8YzH5pnurhNB+65ZOvDMLUxESUxDbor7j1WJFuQKMQGW/AywNYPfV7TagkDqN4HYfgu51E= X-Received: by 2002:a17:907:9414:b0:9b2:8df4:c692 with SMTP id dk20-20020a170907941400b009b28df4c692mr1963338ejc.27.1698843022024; Wed, 01 Nov 2023 05:50:22 -0700 (PDT) MIME-Version: 1.0 References: In-Reply-To: From: Damien Mattei Date: Wed, 1 Nov 2023 13:50:03 +0100 Message-ID: Subject: Re: unbound location: * To: kawa mailing list Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Spam-Status: No, score=-0.5 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,FREEMAIL_FROM,RCVD_IN_DNSWL_NONE,SPF_HELO_NONE,SPF_PASS,TXREP,T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org List-Id: a simpler example that lead to the same error: (module-name test-define) (require Scheme+) (export +) ; first stage overloading (define-overload-existing-operator +) ; second stage overloading (overload-existing-operator + vector-append (vector? vector?)) (display +) (newline) a main file: (require test-define) (define rv (+ #(1 2) #(3 4 5))) (newline) (display "rv=3D") (display rv) (newline) result: #|kawa:1|# (load "/Users/mattei/Dropbox/git/Scheme-PLUS-for-Kawa/main-test-define.scm") /Users/mattei/Library/CloudStorage/Dropbox/git/Scheme-PLUS-for-Kawa/array.s= cm:89:6: warning - void-valued expression where value is needed /Users/mattei/Library/CloudStorage/Dropbox/git/Scheme-PLUS-for-Kawa/list.sc= m:15:10: warning - no use of only-one? /Users/mattei/Library/CloudStorage/Dropbox/git/Scheme-PLUS-for-Kawa/list.sc= m:18:10: warning - no use of pair-list? /Users/mattei/Library/CloudStorage/Dropbox/git/Scheme-PLUS-for-Kawa/list.sc= m:21:10: warning - no use of empty? /Users/mattei/Library/CloudStorage/Dropbox/git/Scheme-PLUS-for-Kawa/list.sc= m:54:10: warning - no use of insertNoDups /Users/mattei/Library/CloudStorage/Dropbox/git/Scheme-PLUS-for-Kawa/list.sc= m:61:10: warning - no use of remove-duplicates /Users/mattei/Library/CloudStorage/Dropbox/git/Scheme-PLUS-for-Kawa/list.sc= m:67:10: warning - no use of singleton-list? /Users/mattei/Library/CloudStorage/Dropbox/git/Scheme-PLUS-for-Kawa/list.sc= m:73:10: warning - no use of create-list /Users/mattei/Library/CloudStorage/Dropbox/git/Scheme-PLUS-for-Kawa/list.sc= m:88:10: warning - no use of uniq /Users/mattei/Library/CloudStorage/Dropbox/git/Scheme-PLUS-for-Kawa/list.sc= m:97:10: warning - no use of remove-firsts-elements /Users/mattei/Library/CloudStorage/Dropbox/git/Scheme-PLUS-for-Kawa/list.sc= m:115:10: warning - no use of remove-last /Users/mattei/Library/CloudStorage/Dropbox/git/Scheme-PLUS-for-Kawa/list.sc= m:157:10: warning - no use of debut /Users/mattei/Library/CloudStorage/Dropbox/git/Scheme-PLUS-for-Kawa/list.sc= m:162:10: warning - no use of debut-iter /Users/mattei/Library/CloudStorage/Dropbox/git/Scheme-PLUS-for-Kawa/list.sc= m:173:10: warning - no use of not-list? /Users/mattei/Library/CloudStorage/Dropbox/git/Scheme-PLUS-for-Kawa/list.sc= m:181:10: warning - no use of before-element /Users/mattei/Library/CloudStorage/Dropbox/git/Scheme-PLUS-for-Kawa/list.sc= m:189:10: warning - no use of start-with-element /Users/mattei/Library/CloudStorage/Dropbox/git/Scheme-PLUS-for-Kawa/list.sc= m:198:10: warning - no use of pair-list-elements /Users/mattei/Library/CloudStorage/Dropbox/git/Scheme-PLUS-for-Kawa/overloa= d.scm:399:10: warning - no use of find-getter-and-setter-for-overloaded-square-brackets /Users/mattei/Library/CloudStorage/Dropbox/git/Scheme-PLUS-for-Kawa/apply-s= quare-brackets.scm:332:7: warning - void-valued expression where value is needed /Users/mattei/Library/CloudStorage/Dropbox/git/Scheme-PLUS-for-Kawa/apply-s= quare-brackets.scm:337:7: warning - void-valued expression where value is needed /Users/mattei/Library/CloudStorage/Dropbox/git/Scheme-PLUS-for-Kawa/array.s= cm: note - skipped 0 errors, 29 warnings, 0 notes /Users/mattei/Library/CloudStorage/Dropbox/git/Scheme-PLUS-for-Kawa/test-de= fine.scm:13:29: unbound location: + at gnu.mapping.PlainLocation.get(PlainLocation.java:22) at test-define.run(test-define.scm:13) at gnu.expr.ModuleBody.run(ModuleBody.java:51) at gnu.expr.ModuleBody.run(ModuleBody.java:35) at atInteractiveLevel-2.run(main-test-define.scm:1) at gnu.expr.ModuleExp.evalModule2(ModuleExp.java:290) at gnu.expr.ModuleExp.evalModule(ModuleExp.java:211) at kawa.Shell.run(Shell.java:289) at kawa.Shell.runFile(Shell.java:551) at kawa.standard.load.apply2(load.java:67) at kawa.standard.load.apply1(load.java:27) at gnu.mapping.Procedure1or2.applyToObject(Procedure1or2.java:64) at gnu.mapping.Procedure.applyToConsumerDefault(Procedure.java:75) at gnu.mapping.CallContext.runUntilDone(CallContext.java:586) at gnu.expr.ModuleExp.evalModule2(ModuleExp.java:343) at gnu.expr.ModuleExp.evalModule(ModuleExp.java:211) at kawa.Shell.run(Shell.java:289) at kawa.Shell.run(Shell.java:196) at kawa.Shell.run(Shell.java:183) at kawa.repl.processArgs(repl.java:724) at kawa.repl.main(repl.java:830) why + is unbound? in the worse case i should still have the default additio= n,no? seems something is crashing in this code without any element to debug: (define (create-overloaded-existing-operator orig-funct funct pred-list) ;; works for associative operators (display "create-overloaded-existing-operator") (display " : pred-list =3D ") (display pred-list) (newline) (define old-funct orig-funct) (define new-funct (lambda args ;; args is the list of arguments ;; (display "new-funct: new-funct =3D ") (display new-funct) (newline) ;; (display "new-funct : pred-list =3D ") (display pred-list) (newline) ;; (display "new-funct : args =3D ") (display args) (newline) (define nb-args (length args)) ;;(display "new-funct : nb-args =3D ") (display nb-args) (new= line) (cond ((check-arguments pred-list args) ;;(begin ;;(display "new funct :calling:") (display funct) (newline) (apply funct args));;) ((> nb-args 2) (new-funct (car args) (apply new-funct (cdr args)))) ;; op(a,b,...) =3D op(a,op(b,...)) (else ;;(begin ;;(display "new funct :calling: ") (display old-funct) (newline) (apply old-funct args)))));;) (display "funct: ") (display funct) (newline) (display "orig-funct: ") (display orig-funct) (newline) (display "old-funct: ") (display old-funct) (newline) (display "new-funct: ") (display new-funct) (newline) (replace-operator! orig-funct new-funct) new-funct) On Wed, Nov 1, 2023 at 1:22=E2=80=AFPM Damien Mattei wrote: > > here is a counter example: > > ;; test-define.scm > > (module-name test-define) > > (export *) > > (display *) (newline) > > (define * +) > > (display *) (newline) > > ;; main-test-define.scm > > (require test-define) > > (define rv (* 2 3)) > (display rv) (newline) > > #|kawa:1|# (load > "/Users/mattei/Dropbox/git/Scheme-PLUS-for-Kawa/main-test-define.scm") > # > # > 5 > > but i do not quite understand , first display shoud have display # > but no it displays # > > > On Wed, Nov 1, 2023 at 9:39=E2=80=AFAM Damien Mattei wrote: > > > > hello, > > > > i created a module this way: > > > > (module-name "matrix") > > > > (export multiply-matrix-matrix > > multiply-matrix-vector > > matrix > > matrix-v > > create-matrix-by-function > > dim-matrix > > matrix-ref > > matrix-set! > > matrix-line-ref > > matrix-line-set! > > vector->matrix-column > > matrix-column->vector > > *) > > > > (require Scheme+) > > > > > > ;; (matrix #(1 2 3)) > > ;; matrix@4612b856 > > > > > > (define-simple-class matrix () > > > > (v :: vector) > > > > ((*init* (vParam :: vector)) > > (set! v vParam)) > > > > ) > > > > (display "multiply : * =3D") (display *) (newline) > > > > > > ;; (define M (create-matrix-by-function (lambda (i j) (+ i j)) 2 3)) > > (define (create-matrix-by-function fct lin col) > > (matrix (create-vector-2d fct lin col))) > > > > > > ;; return the line and column values of dimension > > ;; (dim-matrix M) > > ;; 2 3 > > (define (dim-matrix M) > > > > (when (not (matrix? M)) > > (error "argument is not of type matrix")) > > > > {v <+ (matrix-v M)} > > {lin <+ (vector-length v)} > > {col <+ (vector-length {v[0]})} > > (values lin col)) > > > > ;; #|kawa:85|# (define M1 (create-matrix-by-function (lambda (i j) (+ > > i j)) 2 3)) > > ;; #|kawa:86|# (define M2 (create-matrix-by-function (lambda (i j) (+ > > i j)) 3 2)) > > ;; #|kawa:87|# (multiply-matrix-matrix M1 M2) > > ;; matrix@3fc1abf > > ;; #|kawa:88|# (define M1*M2 (multiply-matrix-matrix M1 M2)) > > ;; #|kawa:89|# M1*M2 > > ;; matrix@3bf5911d > > ;; #|kawa:90|# (matrix-v M1*M2) > > ;; #(#(5 8) #(8 14)) > > ;; #|kawa:91|# (matrix-v M1) > > ;; #(#(0 1 2) #(1 2 3)) > > ;; #|kawa:92|# (matrix-v M2) > > ;; #(#(0 1) #(1 2) #(2 3)) > > (define (multiply-matrix-matrix M1 M2) > > > > {(n1 p1) <+ (dim-matrix M1)} > > {(n2 p2) <+ (dim-matrix M2)} > > > > (when {p1 =E2=89=A0 n2} (error "matrix.* : matrix product impossible, > > incompatible dimensions")) > > > > {v1 <+ (matrix-v M1)} > > {v2 <+ (matrix-v M2)} > > > > (define (res i j) > > {sum <+ 0} > > (for ({k <+ 0} {k < p1} {k <- k + 1}) > > {sum <- sum + v1[i][k] * v2[k][j]}) > > (display "sum=3D")(display sum) (newline) > > sum) > > > > {v <+ (create-vector-2d res n1 p2)} > > > > (matrix v)) > > > > > > > > (overload-existing-operator * multiply-matrix-matrix (matrix? matrix?)) > > > > > > > > .... > > > > i cut off the whole code, the code used to works with 'include' , now > > that i try with modules i stuck on this error at the line > > (overload-existing-operator * multiply-matrix-matrix (matrix? matrix?)) > > > > note that matrix+.scm is converted externally in matrix.scm : > > > > (module-name "matrix") > > (export multiply-matrix-matrix multiply-matrix-vector matrix matrix-v > > create-matrix-by-function dim-matrix matrix-ref matrix-set! matrix-lin= e-ref > > matrix-line-set! vector->matrix-column matrix-column->vector *) > > (require Scheme+) > > (define-simple-class matrix () (v :: vector) > > ((*init* (vParam :: vector)) (set! v vParam))) > > (display "multiply : * =3D") > > (display *) > > (newline) > > (define (create-matrix-by-function fct lin col) > > (matrix (create-vector-2d fct lin col))) > > (define (dim-matrix M) > > (when (not (matrix? M)) (error "argument is not of type matrix")) > > (<+ v (matrix-v M)) (<+ lin (vector-length v)) > > (<+ col (vector-length (bracket-apply v 0))) (values lin col)) > > (define (multiply-matrix-matrix M1 M2) (<+ (n1 p1) (dim-matrix M1)) > > (<+ (n2 p2) (dim-matrix M2)) > > (when (|=E2=89=A0| p1 n2) > > (error "matrix.* : matrix product impossible, incompatible dimensions= ")) > > (<+ v1 (matrix-v M1)) (<+ v2 (matrix-v M2)) > > (define (res i j) (<+ sum 0) > > (for ((<+ k 0) (< k p1) ($nfx$ k <- k + 1)) > > ($nfx$ sum <- sum + (bracket-apply (bracket-apply v1 i) k) * > > (bracket-apply (bracket-apply v2 k) j))) > > (display "sum=3D") (display sum) (newline) sum) > > (<+ v (create-vector-2d res n1 p2)) (matrix v)) > > (overload-existing-operator * multiply-matrix-matrix (matrix? matrix?)) > > (define (matrix-v M) (slot-ref M (quote v))) > > (define (vector->matrix-column v) > > (matrix (vector-map (lambda (x) (make-vector 1 x)) v))) > > (define (matrix-column->vector Mc) (<+ v (matrix-v Mc)) > > (vector-map (lambda (v2) (bracket-apply v2 0)) v)) > > (define (multiply-matrix-vector M v) (<+ Mc (vector->matrix-column v)) > > (matrix-column->vector (multiply-matrix-matrix M Mc))) > > (define (matrix-ref M lin col) (<+ v (matrix-v M)) > > (bracket-apply (bracket-apply v lin) col)) > > (define (matrix-set! M lin col x) (<+ v (matrix-v M)) > > (<- (bracket-apply (bracket-apply v lin) col) x)) > > (define (matrix-line-ref M lin) (<+ v (matrix-v M)) (bracket-apply v li= n)) > > (define (matrix-line-set! M lin vect-line) (<+ v (matrix-v M)) > > (<- (bracket-apply v lin) vect-line)) > > (overload-square-brackets matrix-ref matrix-set! (matrix? number? numbe= r?)) > > (overload-square-brackets matrix-line-ref matrix-line-set! (matrix? num= ber?)) > > > > > > overload-existing-operator redefine the * operator , so basically it > > needs the original one to not loose the * between numbers > > the code is: > > > > (define-syntax overload-existing-operator > > > > (syntax-rules () > > > > ((_ orig-funct funct (pred-arg1 ...)) > > (define orig-funct (create-overloaded-existing-operator > > orig-funct funct (list pred-arg1 ...)))))) > > > > (define (create-overloaded-existing-operator orig-funct funct > > pred-list) ;; works for associative operators > > > > (display "create-overloaded-existing-operator") > > (display " : pred-list =3D ") (display pred-list) (newline) > > (define old-funct orig-funct) > > (define new-funct (lambda args ;; args is the list of arguments > > ;; (display "new-funct: new-funct =3D ") (display > > new-funct) (newline) > > ;; (display "new-funct : pred-list =3D ") (display > > pred-list) (newline) > > ;; (display "new-funct : args =3D ") (display args) (newl= ine) > > (define nb-args (length args)) > > ;;(display "new-funct : nb-args =3D ") (display nb-args) = (newline) > > (cond ((check-arguments pred-list args) ;;(begin > > ;;(display "new funct :calling:") > > (display funct) (newline) > > (apply funct args));;) > > ((> nb-args 2) (new-funct (car args) > > (apply new-funct (cdr args)))) ;; > > op(a,b,...) =3D op(a,op(b,...)) > > (else > > ;;(begin > > ;;(display "new funct :calling: ") (display > > old-funct) (newline) > > (apply old-funct args)))));;) > > > > (display "funct: ") (display funct) (newline) > > (display "orig-funct: ") (display orig-funct) (newline) > > (display "old-funct: ") (display old-funct) (newline) > > (display "new-funct: ") (display new-funct) (newline) > > > > (replace-operator! orig-funct new-funct) > > > > new-funct) > > > > this weird code return the new-funct which is the overloaded * , at > > the line (overload-existing-operator * multiply-matrix-matrix > > (matrix? matrix?)) > > > > i got this error: > > Exception in thread "main" java.lang.ExceptionInInitializerError > > at atInteractiveLevel-8.run(exo_retropropagationNhidden_layers_matr= ix_v2_by_vectors4kawa+.scm:43) > > at gnu.expr.ModuleExp.evalModule2(ModuleExp.java:290) > > at gnu.expr.ModuleExp.evalModule(ModuleExp.java:211) > > at kawa.Shell.run(Shell.java:289) > > at kawa.Shell.runFile(Shell.java:551) > > at kawa.standard.load.apply2(load.java:67) > > at kawa.standard.load.apply1(load.java:27) > > at gnu.mapping.Procedure1or2.applyToObject(Procedure1or2.java:64) > > at gnu.mapping.Procedure.applyToConsumerDefault(Procedure.java:75) > > at gnu.mapping.CallContext.runUntilDone(CallContext.java:586) > > at gnu.expr.ModuleExp.evalModule2(ModuleExp.java:343) > > at gnu.expr.ModuleExp.evalModule(ModuleExp.java:211) > > at kawa.Shell.run(Shell.java:289) > > at kawa.Shell.run(Shell.java:196) > > at kawa.Shell.run(Shell.java:183) > > at kawa.repl.processArgs(repl.java:724) > > at kawa.repl.main(repl.java:830) > > Caused by: /Users/mattei/Library/CloudStorage/Dropbox/git/AI_Deep_Learn= ing/kawa/matrix.scm:9:10: > > unbound location: * > > at gnu.mapping.PlainLocation.get(PlainLocation.java:22) > > at matrix.(matrix.scm:9) > > ... 17 more > > > > ok * seems not bound to any procedure > > > > when i display it for debug i got: > > > > multiply : * =3D% > > > > note that % is in reversed colors (white on black background) i cannot > > copy/paste it.... > > > > all the code is called from a main file: > > > > (require matrix) > > (require array) > > > > (require Scheme+) > > > > it seems in a module * is not bound to anything, i had a same problem > > in Racket where i need to import racket/base, is there such a need in > > Kawa? ,i can find anything related in the doc. > > > > regards, > > damien