From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-ej1-x630.google.com (mail-ej1-x630.google.com [IPv6:2a00:1450:4864:20::630]) by sourceware.org (Postfix) with ESMTPS id 898053858D37 for ; Wed, 1 Nov 2023 14:03:13 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 898053858D37 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 898053858D37 Authentication-Results: server2.sourceware.org; arc=none smtp.remote-ip=2a00:1450:4864:20::630 ARC-Seal: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1698847400; cv=none; b=gzbIehsTrJgXvDxzZubmIUFPq8xp+vlY9fKoxijr+WCX6x8WTt2aTE7qzx8H6XxT4jgWJrHLwiM3dEoA4dldulna/RWDiezNKaAkiKgriNILrBbe87Lw/lpuKHBVI6ywtXymcpJfcVWXQNzNafcSZWw1XmJyoG4kh/JVbbnEJSk= ARC-Message-Signature: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1698847400; c=relaxed/simple; bh=pInJs8EVSWIAClgWyVsMIKFX9AbxgczzbsmV9RFtz3E=; h=DKIM-Signature:MIME-Version:From:Date:Message-ID:Subject:To; b=ni26o1I8iZomr0RdBkeSvh2fv5bKEp958jOgAZ5mEShCmse6TC++OcmbDOURONpXVCVBjFc1V1cBdGewO5A5r/CLaLKNOFZ2L/zKQpI3p+5cD8+A5hncijef7nVgotq7CcvmOYXhp2wDdTu+XT43OSz/dT4NrprdPd2aMipjClE= ARC-Authentication-Results: i=1; server2.sourceware.org Received: by mail-ej1-x630.google.com with SMTP id a640c23a62f3a-9d224dca585so610637666b.1 for ; Wed, 01 Nov 2023 07:03:13 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1698847392; x=1699452192; darn=sourceware.org; h=to:subject:message-id:date:from:in-reply-to:references:mime-version :from:to:cc:subject:date:message-id:reply-to; bh=IhXooPzA31QhyfwKV6GmFwEDRtmPt0i4lRThEYLAEiI=; b=LwFjFQmrt3ukQ+QN1WRM1xQPdKgZRj+rX5gxPxL4maXol890NCb428+0ToFMUqmxm9 2atNdCsOaPHUvAdJf4RN0g5+uI4dIqpBmYXmLsxsGDAfosPwPnzIDlS2CYiDRE5Dmbus M/7mqaeU5myq5Aq5KZmemWOa83ti08/jjHRDZEpJFj9TsK81+ci7m0zb6T9OYMgXGqBD btjuTcEuiYqLBsKGh8XBpCz3J66MygD5WgkBxKZSqBr6237oo6svmyQlSsj/2kiZz87x 2zWieHgWcya6a30p/uXVB9C+JSosz+JcSgjcfuE2AG879YboJZl6E25lzWj15nDMcRyl hTnA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1698847392; x=1699452192; h=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=IhXooPzA31QhyfwKV6GmFwEDRtmPt0i4lRThEYLAEiI=; b=iBS/J833lqiZEr7oUokS8mVLK7BMRxb5oB8Q69t/q2OLu2v+Q9UlH9+2es8rop+lD4 W9DPaZNSZ0GZJqyzxeFYpDjRjVDj9pn7oTIEQgFIXuSMLo+5SFZvXWxi/JQelMGpekDo YOfNPJU1md9y46RQ+tMiZfLCK1Ir3zgMGtzG1kCzkKnrhctOhu9emvxwpMqrOrhY7ZlK G5/nFZdRrTNN3QX20EwxTqAugGYujbqt6NTE5zD3zpDto8FHoCZ7Mxx7RcjN9F5kny8I G8ShKFbHjzyOALZHU+CSk5vMQY+tCtuDafF34wBdJ/Xb1uT7C169YzvPY8ILa6r6dr2p PShQ== X-Gm-Message-State: AOJu0YwHZcegi8gjCb87UuFvbsDTbcf8lOsA1Vqd2+64B+XmgySIv0GY bTwdUfJbjXgjw6yKYlH6zHlEhFoR5gr/PUavPEbc6R32GAo= X-Google-Smtp-Source: AGHT+IGwXn4dv9tcsJG3TfaxP1e5gqTgZsbeFDPiYW5u3ggsU+aOvUXlYcsif+AbL1EIRzukk5Qnl6rXfOvGgBCTN+w= X-Received: by 2002:a17:907:96a7:b0:9c3:b3cb:29b8 with SMTP id hd39-20020a17090796a700b009c3b3cb29b8mr2235641ejc.0.1698847391250; Wed, 01 Nov 2023 07:03:11 -0700 (PDT) MIME-Version: 1.0 References: In-Reply-To: From: Damien Mattei Date: Wed, 1 Nov 2023 15:02:48 +0100 Message-ID: Subject: Re: unbound location: * To: kawa mailing list Content-Type: multipart/mixed; boundary="00000000000048d47c060917bb8a" 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: --00000000000048d47c060917bb8a Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable i post a version of my problem independent to Scheme+. in two attached files containing this kawa code code: (module-name test-define) (require 'srfi-1) (export +) (define (check-arguments pred-list args) (if (=3D (length pred-list) (length args)) (let ((pred-arg-list (map cons pred-list args))) ;;(andmap (lambda (p) ((car p) (cdr p))) ;; replace andmap with every in Guile (every (lambda (p) ((car p) (cdr p))) pred-arg-list)) #f)) (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) (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 ...)))))) ; first stage overloading ;;(define-overload-existing-operator +) ;; dummy in this implementation ; second stage overloading (overload-existing-operator + vector-append (vector? vector?)) (display +) (newline) and a simple main: (require test-define) (define rv (+ #(1 2) #(3 4 5))) (newline) (display "rv=3D") (display rv) (newline) i load it this way: kawa -Dkawa.import.path=3D".:/Users/mattei/Dropbox/git/Scheme-PLUS-for-Kawa= :./kawa" (load "/Users/mattei/Dropbox/git/Scheme-PLUS-for-Kawa/main-test-define.scm"= ) #|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/test-de= fine.scm:63:29: unbound location: + at gnu.mapping.PlainLocation.get(PlainLocation.java:22) at test-define.run(test-define.scm:63) 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) On Wed, Nov 1, 2023 at 1:50=E2=80=AFPM Damien Mattei wrote: > > 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= .scm:89:6: > warning - void-valued expression where value is needed > /Users/mattei/Library/CloudStorage/Dropbox/git/Scheme-PLUS-for-Kawa/list.= scm:15:10: > warning - no use of only-one? > /Users/mattei/Library/CloudStorage/Dropbox/git/Scheme-PLUS-for-Kawa/list.= scm:18:10: > warning - no use of pair-list? > /Users/mattei/Library/CloudStorage/Dropbox/git/Scheme-PLUS-for-Kawa/list.= scm:21:10: > warning - no use of empty? > /Users/mattei/Library/CloudStorage/Dropbox/git/Scheme-PLUS-for-Kawa/list.= scm:54:10: > warning - no use of insertNoDups > /Users/mattei/Library/CloudStorage/Dropbox/git/Scheme-PLUS-for-Kawa/list.= scm:61:10: > warning - no use of remove-duplicates > /Users/mattei/Library/CloudStorage/Dropbox/git/Scheme-PLUS-for-Kawa/list.= scm:67:10: > warning - no use of singleton-list? > /Users/mattei/Library/CloudStorage/Dropbox/git/Scheme-PLUS-for-Kawa/list.= scm:73:10: > warning - no use of create-list > /Users/mattei/Library/CloudStorage/Dropbox/git/Scheme-PLUS-for-Kawa/list.= scm:88:10: > warning - no use of uniq > /Users/mattei/Library/CloudStorage/Dropbox/git/Scheme-PLUS-for-Kawa/list.= scm:97:10: > warning - no use of remove-firsts-elements > /Users/mattei/Library/CloudStorage/Dropbox/git/Scheme-PLUS-for-Kawa/list.= scm:115:10: > warning - no use of remove-last > /Users/mattei/Library/CloudStorage/Dropbox/git/Scheme-PLUS-for-Kawa/list.= scm:157:10: > warning - no use of debut > /Users/mattei/Library/CloudStorage/Dropbox/git/Scheme-PLUS-for-Kawa/list.= scm:162:10: > warning - no use of debut-iter > /Users/mattei/Library/CloudStorage/Dropbox/git/Scheme-PLUS-for-Kawa/list.= scm:173:10: > warning - no use of not-list? > /Users/mattei/Library/CloudStorage/Dropbox/git/Scheme-PLUS-for-Kawa/list.= scm:181:10: > warning - no use of before-element > /Users/mattei/Library/CloudStorage/Dropbox/git/Scheme-PLUS-for-Kawa/list.= scm:189:10: > warning - no use of start-with-element > /Users/mattei/Library/CloudStorage/Dropbox/git/Scheme-PLUS-for-Kawa/list.= scm:198:10: > warning - no use of pair-list-elements > /Users/mattei/Library/CloudStorage/Dropbox/git/Scheme-PLUS-for-Kawa/overl= oad.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= -square-brackets.scm:332:7: > warning - void-valued expression where value is needed > /Users/mattei/Library/CloudStorage/Dropbox/git/Scheme-PLUS-for-Kawa/apply= -square-brackets.scm:337:7: > warning - void-valued expression where value is needed > /Users/mattei/Library/CloudStorage/Dropbox/git/Scheme-PLUS-for-Kawa/array= .scm: > note - skipped 0 errors, 29 warnings, 0 notes > /Users/mattei/Library/CloudStorage/Dropbox/git/Scheme-PLUS-for-Kawa/test-= define.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 addit= ion,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) (newlin= e) > (define nb-args (length args)) > ;;(display "new-funct : nb-args =3D ") (display nb-args) (n= ewline) > (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 impossibl= e, > > > 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-l= ine-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 dimensio= ns")) > > > (<+ 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 = lin)) > > > (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? num= ber?)) > > > (overload-square-brackets matrix-line-ref matrix-line-set! (matrix? n= umber?)) > > > > > > > > > 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) (ne= wline) > > > (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_ma= trix_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_Lea= rning/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 canno= t > > > 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 --00000000000048d47c060917bb8a Content-Type: application/octet-stream; name="test-define.scm" Content-Disposition: attachment; filename="test-define.scm" Content-Transfer-Encoding: base64 Content-ID: X-Attachment-Id: f_lofttmwg0 KG1vZHVsZS1uYW1lIHRlc3QtZGVmaW5lKQoKKHJlcXVpcmUgJ3NyZmktMSkKCihleHBvcnQgKykK CgooZGVmaW5lIChjaGVjay1hcmd1bWVudHMgcHJlZC1saXN0IGFyZ3MpCiAgKGlmICg9IChsZW5n dGggcHJlZC1saXN0KSAobGVuZ3RoIGFyZ3MpKQogICAgICAobGV0ICgocHJlZC1hcmctbGlzdCAo bWFwIGNvbnMgcHJlZC1saXN0IGFyZ3MpKSkKCTs7KGFuZG1hcCAobGFtYmRhIChwKSAoKGNhciBw KSAoY2RyIHApKSkKCTs7IHJlcGxhY2UgYW5kbWFwIHdpdGggZXZlcnkgaW4gR3VpbGUKCShldmVy eSAobGFtYmRhIChwKSAoKGNhciBwKSAoY2RyIHApKSkKCSAgICAgICBwcmVkLWFyZy1saXN0KSkK ICAgICAgI2YpKQoKCihkZWZpbmUgKGNyZWF0ZS1vdmVybG9hZGVkLWV4aXN0aW5nLW9wZXJhdG9y IG9yaWctZnVuY3QgZnVuY3QgcHJlZC1saXN0KSA7OyB3b3JrcyBmb3IgYXNzb2NpYXRpdmUgb3Bl cmF0b3JzCgogIChkaXNwbGF5ICJjcmVhdGUtb3ZlcmxvYWRlZC1leGlzdGluZy1vcGVyYXRvciIp CiAgKGRpc3BsYXkgIiA6IHByZWQtbGlzdCA9ICIpIChkaXNwbGF5IHByZWQtbGlzdCkgKG5ld2xp bmUpCiAgKGRlZmluZSBvbGQtZnVuY3Qgb3JpZy1mdW5jdCkKICAoZGVmaW5lIG5ldy1mdW5jdCAo bGFtYmRhIGFyZ3MgOzsgYXJncyBpcyB0aGUgbGlzdCBvZiBhcmd1bWVudHMKCQkgICAgICA7OyAo ZGlzcGxheSAibmV3LWZ1bmN0OiBuZXctZnVuY3QgPSAiKSAoZGlzcGxheSBuZXctZnVuY3QpIChu ZXdsaW5lKQoJCSAgICAgIDs7IChkaXNwbGF5ICJuZXctZnVuY3QgOiBwcmVkLWxpc3QgPSAiKSAo ZGlzcGxheSBwcmVkLWxpc3QpIChuZXdsaW5lKQoJCSAgICAgIDs7IChkaXNwbGF5ICJuZXctZnVu Y3QgOiBhcmdzID0gIikgKGRpc3BsYXkgYXJncykgKG5ld2xpbmUpCgkJICAgICAgKGRlZmluZSBu Yi1hcmdzIChsZW5ndGggYXJncykpCgkJICAgICAgOzsoZGlzcGxheSAibmV3LWZ1bmN0IDogbmIt YXJncyA9ICIpIChkaXNwbGF5IG5iLWFyZ3MpIChuZXdsaW5lKQoJCSAgICAgIChjb25kICgoY2hl Y2stYXJndW1lbnRzIHByZWQtbGlzdCBhcmdzKSA7OyhiZWdpbgoJCQkJCQkJCTs7KGRpc3BsYXkg Im5ldyBmdW5jdCA6Y2FsbGluZzoiKSAoZGlzcGxheSBmdW5jdCkgKG5ld2xpbmUpCgkJCQkJCQkJ KGFwcGx5IGZ1bmN0IGFyZ3MpKTs7KQoJCQkgICAgKCg+IG5iLWFyZ3MgMikgKG5ldy1mdW5jdCAo Y2FyIGFyZ3MpCgkJCQkJCSAgICAgIChhcHBseSBuZXctZnVuY3QgKGNkciBhcmdzKSkpKSA7OyBv cChhLGIsLi4uKSA9IG9wKGEsb3AoYiwuLi4pKQoJCQkgICAgKGVsc2UKCQkJICAgICA7OyhiZWdp bgoJCQkgICAgICAgOzsoZGlzcGxheSAibmV3IGZ1bmN0IDpjYWxsaW5nOiAiKSAoZGlzcGxheSBv bGQtZnVuY3QpIChuZXdsaW5lKQoJCQkgICAgICAgKGFwcGx5IG9sZC1mdW5jdCBhcmdzKSkpKSk7 OykKCQkJCSAgICAKICAoZGlzcGxheSAiZnVuY3Q6ICIpIChkaXNwbGF5IGZ1bmN0KSAobmV3bGlu ZSkKICAoZGlzcGxheSAib3JpZy1mdW5jdDogIikgKGRpc3BsYXkgb3JpZy1mdW5jdCkgKG5ld2xp bmUpCiAgKGRpc3BsYXkgIm9sZC1mdW5jdDogIikgKGRpc3BsYXkgb2xkLWZ1bmN0KSAobmV3bGlu ZSkKICAoZGlzcGxheSAibmV3LWZ1bmN0OiAiKSAoZGlzcGxheSBuZXctZnVuY3QpIChuZXdsaW5l KQoKICA7OyhyZXBsYWNlLW9wZXJhdG9yISBvcmlnLWZ1bmN0IG5ldy1mdW5jdCkKCiAgbmV3LWZ1 bmN0KQoKKGRlZmluZS1zeW50YXggb3ZlcmxvYWQtZXhpc3Rpbmctb3BlcmF0b3IKICAKICAoc3lu dGF4LXJ1bGVzICgpCgogICAgKChfIG9yaWctZnVuY3QgZnVuY3QgKHByZWQtYXJnMSAuLi4pKQog ICAgICAgKGRlZmluZSBvcmlnLWZ1bmN0IChjcmVhdGUtb3ZlcmxvYWRlZC1leGlzdGluZy1vcGVy YXRvciBvcmlnLWZ1bmN0IGZ1bmN0IChsaXN0IHByZWQtYXJnMSAuLi4pKSkpKSkKCgoKOyBmaXJz dCBzdGFnZSBvdmVybG9hZGluZwo7OyhkZWZpbmUtb3ZlcmxvYWQtZXhpc3Rpbmctb3BlcmF0b3Ig KykgOzsgZHVtbXkgaW4gdGhpcyBpbXBsZW1lbnRhdGlvbgoKCgo7IHNlY29uZCBzdGFnZSBvdmVy bG9hZGluZwoob3ZlcmxvYWQtZXhpc3Rpbmctb3BlcmF0b3IgKyB2ZWN0b3ItYXBwZW5kICh2ZWN0 b3I/IHZlY3Rvcj8pKQoKCihkaXNwbGF5ICspIChuZXdsaW5lKQoK --00000000000048d47c060917bb8a Content-Type: application/octet-stream; name="main-test-define.scm" Content-Disposition: attachment; filename="main-test-define.scm" Content-Transfer-Encoding: base64 Content-ID: X-Attachment-Id: f_loftts7z1 KHJlcXVpcmUgdGVzdC1kZWZpbmUpCgooZGVmaW5lIHJ2ICgrICMoMSAyKSAjKDMgNCA1KSkpCihu ZXdsaW5lKSAoZGlzcGxheSAicnY9IikgKGRpc3BsYXkgcnYpIChuZXdsaW5lKQoK --00000000000048d47c060917bb8a--